Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 791
订阅者
+124 小时
+107 天
+4330 天
帖子存档
1 792
500'000€ Prize for Compressing Human Knowledge
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
1 792
Practical Normalization by Evaluation for EDSLs
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
1 792
Retrofitting spatial safety to hundreds of millions of lines of C++
https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html?m=1
1 792
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/215465.215469
1 792
Hyperlight: Virtual machine-based security for functions at scale
https://opensource.microsoft.com/blog/2024/11/07/introducing-hyperlight-virtual-machine-based-security-for-functions-at-scale/1 792
A Fast WebAssembly Interpreter design in WASM-Micro-Runtime
https://www.intel.com/content/www/us/en/developer/articles/technical/webassembly-interpreter-design-wasm-micro-runtime.html
1 792
Prismatic Category Theory
https://golem.ph.utexas.edu/category/2024/08/prismatic_category_theory.html
1 792
On Deciding Typing in Bidirectional Martin-Löf Type Theory
https://types2024.itu.dk/slides/S3/TYPES2023-Lennon-Bertrand-Krishnaswami.pdf
