Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		blog.yossarian.net Understanding static single assignment forms
\|	\|	benhoyt.com Mugo, a toy compiler for a subset of Go that can compile itself Mugo is a single-pass compiler for a tiny subset of the Go programming language - just enough to compile itself.	4.0 parsecs Travel
\|	\|
\|	\|	healeycodes.com A Custom WebAssembly Compiler - Andrew Healey Making my programming language 4000x quicker, and adding a static type checker.	3.4 parsecs Travel
\|	\|
\|	\|	elmanto.github.io LLVM Passes for Security: A Brief Introduction (Part 1/4) \| elmanto.github.io [AI summary] This article introduces the basics of writing LLVM passes for security purposes, covering LLVM architecture, IR, and examples of security-related applications such as pointer analysis, address sanitization, and fuzzing.	2.6 parsecs Travel
\|	\|
\|	\|	model-checking.github.io Nondeterministic variables - The Kani Rust Verifier Documentation for the Kani Rust Verifier	14.1 parsecs Travel
\|