uk
Feedback

Не попадись на ботовода! Telemetrio знаходить і позначає такі канали мітками 👉 Хочеш бачити мітку, оформляй підписку

Programming Deadlock

Programming Deadlock

Відкрити в Telegram

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

Показати більше
Buy Ad
1 876
Підписники
+124 години
+137 днів
+4030 днів
Архів дописів
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

Instant Neural Graphics Primitives with a Multiresolution Hash Encoding https://nvlabs.github.io/instant-ngp/

Bounded Flexible Arrays in C: How to modernize C arrays for greater memory safety (a case-study in refactoring the Linux kernel and a look to the future) https://people.kernel.org/kees/bounded-flexible-arrays-in-c

Wasm Language Runtimes: provides popular language runtimes (Ruby, Python, …) precompiled to WebAssembly that are tested for compatibility and kept up to date when new versions of upstream languages are released https://github.com/vmware-labs/webassembly-language-runtimes/

CRDTs: Consistency without concurrency control https://hal.inria.fr/inria-00397981/en/