Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 869
订阅者
+124 小时
+77 天
+3730 天
帖子存档
1 869
Optimizing Clickhouse: The Tactics That Worked for Us
https://www.highlight.io/blog/lw5-clickhouse-performance-optimization
1 869
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 869
Taming Code Explosion in Supercompilation
https://www.diva-portal.org/smash/get/diva2:1013417/FULLTEXT01.pdf
1 869
Implementing term rewriting by jungle evaluation
https://www.rairo-ita.org/articles/ita/pdf/1991/05/ita1991250504451.pdf
1 869
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
https://dl.acm.org/doi/pdf/10.1145/3549822
1 869
Results of the Grand C++ Error Explosion Competition
https://www.tumblr.com/tgceec/74534916370/results-of-the-grand-c-error-explosion
1 869
A 100x speedup with unsafe Python
https://yosefk.com/blog/a-100x-speedup-with-unsafe-python.html
1 869
Distillation: extracting the essence of programs
https://www.semanticscholar.org/paper/Distillation%3A-extracting-the-essence-of-programs-Hamilton/08871ba7e80525327ba4404ea41ccaf6aa18187d
1 869
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
1 869
Homeomorphic embedding for online termination of symbolic methods
https://dl.acm.org/doi/10.5555/860256.860274
1 869
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-explanation1 869
Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language
https://hirrolot.github.io/posts/announcing-beatrice.html
