The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
✅Type Checking
Flag this post
Bytecode Compilers and Interpreters (2019)
bernsteinbear.com·3d·
Discuss: Hacker News
📜Bytecode Interpreters
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
Building a High-Performance Live Network Sniffer in Rust (Without Kernel Drivers)
dev.to·11h·
Discuss: DEV
⚙️TOML Parsers
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·13h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
Flag this post
An overview of memory management in Go (2021)
medium.com·13h·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🐪OCaml
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·22h
⚖️Inference Rules
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📖Literate Programming
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·6h·
Discuss: r/C_Programming
∫Mathematical DSLs
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·20h·
Discuss: Substack
🎭Program Synthesis
Flag this post
A WebAssembly Interpreter
wasmgroundup.com·2d·
Discuss: Hacker News
🌐WASM Runtimes
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
🔮Type Inference Visualization
Flag this post
Trying Out C++26 Executors
mropert.github.io·11h·
Discuss: Lobsters, Hacker News
🔮Speculative Execution
Flag this post
September 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🗺️Region Inference
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🎭Delimited Continuations
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·14h·
Discuss: smalldatum.blogspot.com
🗃️Query Compilation
Flag this post