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 868
Structural abstract interpretation, A formal study using Coq
https://inria.hal.science/inria-00329572v2/
1 868
Profiling Python and Ruby using eBPF
https://www.polarsignals.com/blog/posts/2023/10/04/profiling-python-and-ruby-with-ebpf
1 868
500'000€ Prize for Compressing Human Knowledge
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
1 868
Practical Normalization by Evaluation for EDSLs
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
1 868
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 868
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/215465.215469
1 868
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 868
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
