Category Theory Illustrated
https://abuseofnotation.github.io/category-theory-illustrated/05_logic/
https://abuseofnotation.github.io/category-theory-illustrated/05_logic/
🙏3
A deep dive into Linux’s new mseal syscall
https://blog.trailofbits.com/2024/10/25/a-deep-dive-into-linuxs-new-mseal-syscall/
https://blog.trailofbits.com/2024/10/25/a-deep-dive-into-linuxs-new-mseal-syscall/
The Trail of Bits Blog
A deep dive into Linux’s new mseal syscall
If you love exploit mitigations, you may have heard of a new system call named mseal landing into the Linux kernel’s 6.10 release, providing a protection called “memory sealing.” Beyond notes from the authors, very little information about this mitigation…
👍2
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