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 worldhttps://github.com/spawnmason/randar-explanation
GitHub
GitHub - spawnmason/randar-explanation: "Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internalβ¦
"Randar" is 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 bac...
π€―4π±2π1πΏ1
Homeomorphic embedding for online termination of symbolic methods
https://dl.acm.org/doi/10.5555/860256.860274
https://dl.acm.org/doi/10.5555/860256.860274
π₯1π€―1
Staged Compilation with Two-Level Type Theory
https://www.inf.elte.hu/dstore/document/2582/tkp_2023_01_18_prez_Kov%C3%A1cs_A.pdf
https://www.inf.elte.hu/dstore/document/2582/tkp_2023_01_18_prez_Kov%C3%A1cs_A.pdf
π1
Distillation: extracting the essence of programs
https://www.semanticscholar.org/paper/Distillation%3A-extracting-the-essence-of-programs-Hamilton/08871ba7e80525327ba4404ea41ccaf6aa18187d
https://www.semanticscholar.org/paper/Distillation%3A-extracting-the-essence-of-programs-Hamilton/08871ba7e80525327ba4404ea41ccaf6aa18187d
π1π₯1
A 100x speedup with unsafe Python
https://yosefk.com/blog/a-100x-speedup-with-unsafe-python.html
https://yosefk.com/blog/a-100x-speedup-with-unsafe-python.html
Results of the Grand C++ Error Explosion Competition
https://www.tumblr.com/tgceec/74534916370/results-of-the-grand-c-error-explosion
https://www.tumblr.com/tgceec/74534916370/results-of-the-grand-c-error-explosion
Tumblr
Post by @tgceec
π¬ 0 π 171 β€οΈ 200 Β· Results of the Grand C++ Error Explosion Competition Β· After much deliberation, the winners of the Grand C++ Error Explosion Competition are finally selected. There are two difβ¦
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
https://dl.acm.org/doi/pdf/10.1145/3549822
https://dl.acm.org/doi/pdf/10.1145/3549822
Implementing term rewriting by jungle evaluation
https://www.rairo-ita.org/articles/ita/pdf/1991/05/ita1991250504451.pdf
https://www.rairo-ita.org/articles/ita/pdf/1991/05/ita1991250504451.pdf
Introduction to Homotopy Type Theory
https://arxiv.org/abs/2212.11082
https://arxiv.org/abs/2212.11082
arXiv.org
Introduction to Homotopy Type Theory
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and...
π₯2
Taming Code Explosion in Supercompilation
https://www.diva-portal.org/smash/get/diva2:1013417/FULLTEXT01.pdf
https://www.diva-portal.org/smash/get/diva2:1013417/FULLTEXT01.pdf
π2
Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second)
https://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf
https://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf
π1
Optimizing Clickhouse: The Tactics That Worked for Us
https://www.highlight.io/blog/lw5-clickhouse-performance-optimization
https://www.highlight.io/blog/lw5-clickhouse-performance-optimization
Highlight
Optimizing Clickhouse: The Tactics That Worked for Us
highlight.io is the open source monitoring platform that gives you the visibility you need.
π1
Exploring GNU extensions in the Linux kernel
https://maskray.me/blog/2024-05-12-exploring-gnu-extensions-in-linux-kernel
https://maskray.me/blog/2024-05-12-exploring-gnu-extensions-in-linux-kernel
MaskRay
Exploring GNU extensions in the Linux kernel
The Linux kernel is written in C, but it also leverages extensions provided by GCC. In 2022, it moved from GCC/Clang -std=gnu89 to -std=gnu11. This article explores my notes on how these GNU extension
π1