Lessons learned from a successful Rust rewrite
https://gaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html
https://gaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html
On Deciding Typing in Bidirectional Martin-Löf Type Theory
https://types2024.itu.dk/slides/S3/TYPES2023-Lennon-Bertrand-Krishnaswami.pdf
https://types2024.itu.dk/slides/S3/TYPES2023-Lennon-Bertrand-Krishnaswami.pdf
Proof of the geometric Langlands conjecture
https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
Prismatic Category Theory
https://golem.ph.utexas.edu/category/2024/08/prismatic_category_theory.html
https://golem.ph.utexas.edu/category/2024/08/prismatic_category_theory.html
marking-popl24.pdf
1.4 MB
Total Type Error Localization and Recovery with Holes
Symbol Versions in NetBSD Libraries
https://wiki.netbsd.org/symbol_versions/
https://wiki.netbsd.org/symbol_versions/
Chad Strings - The Chad way to handle strings in C.
https://github.com/skullchap/chadstr
https://github.com/skullchap/chadstr
GitHub
GitHub - skullchap/chadstr: Chad Strings - The Chad way to handle strings in C.
Chad Strings - The Chad way to handle strings in C. - skullchap/chadstr
n2464.pdf
285.1 KB
Zero-size Reallocations are Undefined Behavior
Lesser known tricks, quirks and features of C
https://jorenar.com/blog/less-known-c
https://jorenar.com/blog/less-known-c
Jorenar
Lesser known tricks, quirks and features of C
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
https://www.intel.com/content/www/us/en/developer/articles/technical/webassembly-interpreter-design-wasm-micro-runtime.html
Intel
A Fast WebAssembly Interpreter design in WASM-Micro-Runtime
In this paper, we introduced wasm-micro-runtime(abbreviated WAMR) fast-interpreter, in which several optimization methods are applied including fast bytecode dispatching.
Hyperlight: Virtual machine-based security for functions at scalehttps://opensource.microsoft.com/blog/2024/11/07/introducing-hyperlight-virtual-machine-based-security-for-functions-at-scale/
Microsoft Open Source Blog
Introducing Hyperlight: Virtual machine-based security for functions at scale - Microsoft Open Source Blog
The Microsoft Azure Core Upstream team is excited to announce the Hyperlight project, an open-source Rust library you can use to create very small VMs for embedded functions. Learn more.
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/215465.215469
https://dl.acm.org/doi/pdf/10.1145/215465.215469
Against Best Practices
https://www.arp242.net/best-practices.html
https://www.arp242.net/best-practices.html
www.arp242.net
Against best practices
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
https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html?m=1
Googleblog
Retrofitting spatial safety to hundreds of millions of lines of C++
Posted by Alex Rebert and Max Shavrick, Security Foundations, and Kinuko Yasuda, Core Developer Attackers regularly exploit spatial mem...
Practical Normalization by Evaluation for EDSLs
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
A Type System for Recursive Modules
https://dl.acm.org/doi/pdf/10.1145/1291220.1291196
https://dl.acm.org/doi/pdf/10.1145/1291220.1291196