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/
TypeChef is a research project with the goal of analyzing #ifdef variability in C code with the goal of finding variability-induced bugs in large-scale real-world systems, such as the Linux kernel with several thousand features (or configuration options).
https://github.com/ckaestne/TypeChef
https://github.com/ckaestne/TypeChef
GitHub
GitHub - ckaestne/TypeChef: Type checking ifdef variability
Type checking ifdef variability. Contribute to ckaestne/TypeChef development by creating an account on GitHub.
Python behind the scenes #1: how the CPython VM works
https://tenthousandmeters.com/blog/python-behind-the-scenes-1-how-the-cpython-vm-works/
https://tenthousandmeters.com/blog/python-behind-the-scenes-1-how-the-cpython-vm-works/
Tenthousandmeters
Python behind the scenes #1: how the CPython VM works
Have you ever wondered what python does when you run one of your programs? $ python script.py This article opens a series which seeks to answer...
❤1
Python behind the scenes #2: how the CPython compiler works
https://tenthousandmeters.com/blog/python-behind-the-scenes-2-how-the-cpython-compiler-works/
https://tenthousandmeters.com/blog/python-behind-the-scenes-2-how-the-cpython-compiler-works/
Tenthousandmeters
Python behind the scenes #2: how the CPython compiler works
In the first post of the series we've looked at the CPython VM. We've learned that it works by executing a series of instructions called bytecode....
Python behind the scenes #3: stepping through the CPython source code
https://tenthousandmeters.com/blog/python-behind-the-scenes-3-stepping-through-the-cpython-source-code/
https://tenthousandmeters.com/blog/python-behind-the-scenes-3-stepping-through-the-cpython-source-code/
Tenthousandmeters
Python behind the scenes #3: stepping through the CPython source code
In the first and the second parts of this series we explored the ideas behind the execution and the compilation of a Python program. We'll...
Python behind the scenes #4: how Python bytecode is executed
https://tenthousandmeters.com/blog/python-behind-the-scenes-4-how-python-bytecode-is-executed/
https://tenthousandmeters.com/blog/python-behind-the-scenes-4-how-python-bytecode-is-executed/
Tenthousandmeters
Python behind the scenes #4: how Python bytecode is executed
We started this series with an overview of the CPython VM. We learned that to run a Python program, CPython first compiles it to bytecode, and we...
Python behind the scenes #5: how variables are implemented in CPython
https://tenthousandmeters.com/blog/python-behind-the-scenes-5-how-variables-are-implemented-in-cpython/
https://tenthousandmeters.com/blog/python-behind-the-scenes-5-how-variables-are-implemented-in-cpython/
Tenthousandmeters
Python behind the scenes #5: how variables are implemented in CPython
Consider a simple assignment statement in Python: a = b The meaning of this statement may seem trivial. What we do here is take the value of the...