Programming Deadlock – Telegram
Programming Deadlock
1.52K subscribers
3 photos
110 files
1.24K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
MicroQuickJS: a Javanoscript engine targetted at embedded systems. It compiles and runs Javanoscript programs with as low as 10 kB of RAM. The whole engine requires about 100 kB of ROM (ARM Thumb-2 code) including the C library. The speed is comparable to QuickJS.
https://github.com/bellard/mquickjs
💊103😡2🔥1
3👏3👍1
2007.00167.pdf
168.2 KB
The Integers as a Higher Inductive Type (Agda)
https://arxiv.org/abs/2007.00167
🙏3💊2
Dive into Systems (Book)
https://diveintosystems.org/book/
10
CCured_Type-Safe_Retrofitting.pdf
614.5 KB
CCured: Type-Safe Retrofitting of
Legacy Software
👍1
🤯4🥴1
Linux Kernel bugs hide for 2 years on average. Some hide for 20.
https://pebblebed.com/blog/kernel-bugs
👾51