现已上线！2025 年 Telegram 研究 — 年度关键洞察 
Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 684
订阅者
+324 小时
+87 天
+3630 天
帖子存档
1 684
Superlinear Speedup by Program Transformation
http://meta2012.pereslavl.ru/papers/2012_Jones_Hamilton__Superlinear_Speedup_by_Program_Transformation__slides.pdf
1 684
Writing Truly Memory Safe JIT Compilers
https://medium.com/graalvm/writing-truly-memory-safe-jit-compilers-f79ad44558dd
1 684
Recursive types for free!
Philip Wadler
https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
1 684
Boehm-Berarducci Encoding
https://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html
1 684
Everything About The Fast Inverse Square Root Algorithm (Quake 3)
https://github.com/francisrstokes/githublog/blob/main/2024%2F5%2F29%2Ffast-inverse-sqrt.md
1 684
Distributed Snapshots: Chandy-Lamport protocol
https://blog.fponzi.me/2024-05-30-distributed-snapshots.html1 684
Circle Language: C++ with Memory Safety (super-set)
https://www.circle-lang.org/site/intro/1 684
MSP101 - Monadic programs as container morphisms
https://www.youtube.com/watch?v=ft8LYjB22fc
1 684
Quantum entropy source on an InP photonic
integrated circuit for random number generation
1 684
Ultra-fast quantum randomness
generation by accelerated phase
diffusion in a pulsed laser diode
1 684
Artificial Intelligence Prepares for 2001
https://ai.stanford.edu/~nilsson/OnlinePubs-Nils/General%20Essays/AIMag04-04-002.pdf
1 684
The CompCert C Compiler: A formally verified compiler for C
https://compcert.org/compcert-C.html1 684
Staged compilation with dependent types
https://github.com/AndrasKovacs/staged
