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
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
How Memory Safety Approaches Speed Up and Slow Down Development Velocity
https://verdagon.dev/blog/when-to-use-memory-safe-part-2
The perils of pinning: Using Rust for Kernel development
https://lwn.net/Articles/907876/
🥴21