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
OpenBinder: A system-level component architecture, designed to provide a richer high-level abstraction on top of traditional modern operating system services
https://www.angryredplanet.com/~hackbod/openbinder/docs/html/
Initial steps towards assessing the usability of a verification tool (AutoProof)
https://arxiv.org/abs/1704.05008
Verified Functional Algorithms (Isabelle)
https://functional-algorithms-verified.org/
🤯1
Passing callbacks and pointers to Cgo (and avoid them to be GCed)
https://eli.thegreenplace.net/2019/passing-callbacks-and-pointers-to-cgo/
C Closures as a Library (Linux x86-64)
https://nullprogram.com/blog/2017/01/08/
A Basic Just-In-Time Compiler (written in C for Win32/POSIX)
https://nullprogram.com/blog/2015/03/19/
TypeChef is a research project with the goal of analyzing #ifdef variability in C code with the goal of finding variability-induced bugs in large-scale real-world systems, such as the Linux kernel with several thousand features (or configuration options).
https://github.com/ckaestne/TypeChef