Rust Module System Explained
https://aloso.github.io/2021/03/28/module-system.html
https://aloso.github.io/2021/03/28/module-system.html
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
https://github.com/google/jax
https://github.com/google/jax
GitHub
GitHub - jax-ml/jax: Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more - jax-ml/jax
Functional Programming Jargon in Rust
https://github.com/JasonShin/fp-core.rs#functional-programming-jargon-in-rust
https://github.com/JasonShin/fp-core.rs#functional-programming-jargon-in-rust
GitHub
GitHub - JasonShin/fp-core.rs: A library for functional programming in Rust
A library for functional programming in Rust. Contribute to JasonShin/fp-core.rs development by creating an account on GitHub.
Book: Category Theory for Programmers
https://github.com/hmemcpy/milewski-ctfp-pdf
https://github.com/hmemcpy/milewski-ctfp-pdf
GitHub
GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source - hmemcpy/milewski-ctfp-pdf
❤1
Fantasy Land: Specification for interoperability of common algebraic structures in JavaScript
https://github.com/fantasyland/fantasy-land
https://github.com/fantasyland/fantasy-land
GitHub
GitHub - fantasyland/fantasy-land: Specification for interoperability of common algebraic structures in JavaScript
Specification for interoperability of common algebraic structures in JavaScript - fantasyland/fantasy-land
👍1
On Transpilers (from C to Zig/Rust/Go)
https://zserge.com/posts/transpilers/
https://zserge.com/posts/transpilers/
Zserge
On Transpilers
Exploring various transpilers from C to "better C" and how they can help replacing C in existing project.
👍2
Using Firecracker and Go to run short-lived, untrusted code execution jobs
https://stanislas.blog/2021/08/firecracker/
https://stanislas.blog/2021/08/firecracker/
Stan's blog
Using Firecracker and Go to run short-lived, untrusted code execution jobs
A concrete use-case of Firecracker with code snippets
👍2
MiniRust: A precise specification for "Rust lite / MIR plus"
https://github.com/RalfJung/minirust
https://github.com/RalfJung/minirust
GitHub
GitHub - minirust/minirust: A precise specification for "Rust lite / MIR plus"
A precise specification for "Rust lite / MIR plus" - minirust/minirust
👍1
No Silver Bullet (1986)
https://worrydream.com/refs/Brooks-NoSilverBullet.pdf
https://worrydream.com/refs/Brooks-NoSilverBullet.pdf
Eclipse OMR: Cross platform components for building reliable, high performance language runtimes
https://github.com/eclipse/omr
https://github.com/eclipse/omr
GitHub
GitHub - eclipse-omr/omr: Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes - eclipse-omr/omr
OpenBinder: A system-level component architecture, designed to provide a richer high-level abstraction on top of traditional modern operating system services
https://www.angryredplanet.com/~hackbod/openbinder/docs/html/
https://www.angryredplanet.com/~hackbod/openbinder/docs/html/
Initial steps towards assessing the usability of a verification tool (AutoProof)
https://arxiv.org/abs/1704.05008
https://arxiv.org/abs/1704.05008
OptiTrust: towards bug-free, optimized computer code
https://www.inria.fr/en/optitrust-towards-bug-free-optimized-computer-code
https://www.inria.fr/en/optitrust-towards-bug-free-optimized-computer-code
www.inria.fr
OptiTrust: towards bug-free, optimized computer code
Numerical simulation codes are used to predict the weather every day, design aircraft and even understand the intimate laws of physics. In these very complex codes, achieving high performance without introducing bugs is a real challenge... One that has been…
Verified Functional Algorithms (Isabelle)
https://functional-algorithms-verified.org/
https://functional-algorithms-verified.org/
🤯1
System Design Course
https://github.com/karanpratapsingh/system-design
https://github.com/karanpratapsingh/system-design
GitHub
GitHub - karanpratapsingh/system-design: Learn how to design systems at scale and prepare for system design interviews
Learn how to design systems at scale and prepare for system design interviews - karanpratapsingh/system-design
👍1
Hooking (Detouring) Go from Rust
https://metalbear.co/blog/hooking-go-from-rust-hitchhikers-guide-to-the-go-laxy/
https://metalbear.co/blog/hooking-go-from-rust-hitchhikers-guide-to-the-go-laxy/
MetalBear 🐻
Hooking Go from Rust - Hitchhiker’s Guide to the Go-laxy
How did we hook Go functions from Rust to work with mirrord? A quick dive into the Go Runtime and switching from the Go stack to the system stack.
Passing callbacks and pointers to Cgo (and avoid them to be GCed)
https://eli.thegreenplace.net/2019/passing-callbacks-and-pointers-to-cgo/
https://eli.thegreenplace.net/2019/passing-callbacks-and-pointers-to-cgo/
C Closures as a Library (Linux x86-64)
https://nullprogram.com/blog/2017/01/08/
https://nullprogram.com/blog/2017/01/08/
A Basic Just-In-Time Compiler (written in C for Win32/POSIX)
https://nullprogram.com/blog/2015/03/19/
https://nullprogram.com/blog/2015/03/19/