Warren's Abstract Machine: A Tutorial Reconstruction
(news.ycombinator.com)
1.
2.
Abstract Machines for Logic Programs
(news.ycombinator.com)
3.
How to use storytelling to fit inline assembly into Rust
(news.ycombinator.com)