Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 876
订阅者
+624 小时
+127 天
+4030 天
帖子存档
1 876
Supercompilation: Ideas and Methods
https://themonadreader.files.wordpress.com/2014/04/super-final.pdf
1 876
cppfront: A TypeScript for C++
https://herbsutter.com/2023/08/13/my-c-now-2023-talk-is-online-a-typescript-for-c/1 876
Lambdascope
Another optimal implementation of the lambda-calculus
https://web.archive.org/web/20170706084403/http://www.phil.uu.nl/~oostrom/publication/pdf/lambdascope.pdf
1 876
An Algorithm for Optimal Lambda Calculus Reduction
https://dl.acm.org/doi/pdf/10.1145/96709.96711
1 876
Solving the mystery behind Abstract Algorithm’s magical optimizations
https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07
1 876
CLOS: Integrating Object-Oriented and Functional Programming
https://dreamsongs.com/Files/clos-cacm.pdf
1 876
Introduction to Information Geometry
https://www.robots.ox.ac.uk/~lsgs/posts/2019-09-27-info-geom.html
1 876
Abelian sandpiles in three or more dimensions can be used to simulate a Turing machine and are therefore Turing complete
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model
1 876
All about Sanitizer Interceptors
https://maskray.me/blog/2023-01-08-all-about-sanitizer-interceptors
