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
🙏3🗿3
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
👍1🤔1
Proof of the geometric Langlands conjecture
https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
👍1
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
🔥1
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
🗿5😎4🤔2
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
❤2🥴2
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.
❤3
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.
👍2
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
👍1
Against Best Practices
https://www.arp242.net/best-practices.html
https://www.arp242.net/best-practices.html
www.arp242.net
Against best practices
💯6👍1