Programming Deadlock
1.48K subscribers
3 photos
104 files
1.19K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
GWP-ASan: is a sampled allocator framework that assists in finding use-after-free and heap-buffer-overflow bugs in production environments
https://llvm.org/docs/GwpAsan.html
Goodbye to the C++ Implementation of Zig
https://ziglang.org/news/goodbye-cpp/
🤔7💯43
blink is a cross-platform virtual machine for running statically-compiled x86-64-linux programs on different operating systems and hardware architectures. It's designed to do the same thing as the qemu-x86_64 command, except rather than being a 4mb binary, blink only has a ~166kb footprint.
https://github.com/jart/blink
👍2
Deflect: Rust native reflection using DWARF debug info.
https://jack.wrenn.fyi/blog/deflect/
Alive2: Bounded Translation Validation for LLVM
https://www.cs.utah.edu/~regehr/alive2-pldi21.pdf
Dynamic_Circular_Work_Queue.pdf
130.3 KB
Work Stealing: Dynamic Circular Work Queue
👍3🤔1
Interesting things about Lua Interpreter (2020)
https://thesephist.com/posts/lua