uz
Feedback
Programming Deadlock

Programming Deadlock

Kanalga Telegram’da o‘tish

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

Ko'proq ko'rsatish
1 687
Obunachilar
Ma'lumot yo'q24 soatlar
+67 kunlar
+3330 kunlar
Postlar arxiv
Online book on Distributed Systems http://book.mixu.net/distsys/

Tree-sitter: a parser generator tool and an incremental parsing library https://tree-sitter.github.io/tree-sitter/

Conan 2.0 (C/C++ Package Manager) Released https://blog.conan.io//2023/02/22/Conan-2.0.html

Datatype99: Safe, intuitive algebraic data types with exhaustive pattern matching & compile-time introspection facilities. No external tools required, pure C99. https://github.com/Hirrolot/Datatype99

Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecbook/

Few lesser known tricks, quirks and features of C https://blog.joren.ga/less-known-c

The Joy of Abstraction book club: Introduction about Category Theory https://topos.site/joa-bookclub/

A Gentle Introduction to Assembly Language Programming (ARM64 ISA) https://github.com/pkivolowitz/asm_book

Why doesn’t Windows use the 64-bit virtual address space below 0x00000000`7ffe0000? https://devblogs.microsoft.com/oldnewthing/20221216-00/?p=107598

bdwgc: A garbage collector for C and C++ https://www.hboehm.info/gc/

Higher-order Virtual Machine: HVM is a pure functional runtime that is lazy, non-garbage-collected and massively parallel. It is also beta-optimal, meaning that, for higher-order computations, it can, in some cases, be up to exponentially faster than alternatives, including Haskell's GHC. https://github.com/HigherOrderCO/HVM

v86: x86 virtualization in your browser, recompiling x86 to wasm on the fly https://github.com/copy/v86

Miri: An experimental interpreter for Rust's mid-level intermediate representation (MIR). It can run binaries and test suites of cargo projects and detect certain classes of undefined behavior https://github.com/rust-lang/miri

How to Sanitize your Rust code https://github.com/japaric/rust-san

Programming Deadlock - Telegram kanali @programming_deadlock statistikasi va tahlili