Programming Deadlock – Telegram
Programming Deadlock
1.51K subscribers
3 photos
109 files
1.23K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Randar: an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that to locate other players currently loaded into the world
https://github.com/spawnmason/randar-explanation
🤯4😱2😍1🗿1
Homeomorphic embedding for online termination of symbolic methods
https://dl.acm.org/doi/10.5555/860256.860274
🔥1🤯1
The Next 700 Program Transformers
https://arxiv.org/pdf/2108.11347
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
https://dl.acm.org/doi/pdf/10.1145/3549822
Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second)
http://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf
👍1
Abstract Interpretation as a Programming Language
https://arxiv.org/pdf/1309.5133v1
👍1