The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🦀Rust Borrowing
Flag this post
Project goals update — October 2025
blog.rust-lang.org·4d
🦀Rust Borrowing
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·21h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
On Cloudfare and Unwrap
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Flag this post
ShowHN: RepoScout – A multi-platform Git repo search tool in Rust
news.ycombinator.com·23h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·17h
🔌Interface Evolution
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
The Rust Learning Paradox: Why Beginners Learn Faster
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·14h·
Discuss: smalldatum.blogspot.com
🔗Static Linking
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·7h
🌀Brotli Internals
Flag this post
Trying Out C++26 Executors
mropert.github.io·11h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
PyPitfall: Dependency Chaos and Software Supply Chain Vulnerabilities in Python
nocomplexity.substack.com·18h·
Discuss: Substack
🔗Dependency Resolution
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·14h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Rust Isn't the Future of Systems Programming – It's Just the Hype Cycle
freedium-mirror.cfd·2h·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post