Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 792
Subscribers
+224 hours
+97 days
+4430 days
Posts Archive
1 792
Complete Bidirectional Typing for the Calculus of Inductive Constructions
https://arxiv.org/pdf/2102.06513.pdf
1 792
macOS Containers: Containerize macOS apps and run them natively with Docker (Alpha)
https://macoscontainers.org/1 792
Writing a Debugger From Scratch (Rust)
https://www.timdbg.com/posts/writing-a-debugger-from-scratch-part-1/
1 792
Faster Integer Parsing
https://kholdstare.github.io/technical/2020/05/26/faster-integer-parsing.html
1 792
Address Sanitizer Internals
https://blog.gistre.epita.fr/posts/benjamin.peter-2022-10-28-address_sanitizer_internals/
1 792
GCC Preparing To Introduce "-fhardened" Security Hardening Option
https://www.phoronix.com/news/GCC-fhardened-Hardening-Option
1 792
How Hard is it to Adapt a Memory Allocator to CHERI?
https://tratt.net/laurie/blog/2023/how_hard_is_it_to_adapt_a_memory_allocator_to_cheri.html
1 792
How FoundationDB works and why it works
https://blog.the-pans.com/notes-on-the-foundationdb-paper
1 792
A not-so-quick introduction to the C++ allocator model
https://quuxplusone.github.io/blog/2023/06/02/not-so-quick-pmr/
