matmat's Top FindsLoading...
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
My Home Lab setup and what to do next with blackfriday??
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
Scientists Teleport Information Between Distant Photons for the First Time
scitechdaily.com·8h
⚛️Quantum Tape
Flag this post
One approach to a curated information diet
gabrielweinberg.com·9h·
Discuss: Hacker News
📡RSS
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.pro·1d·
Discuss: Hacker News
🛡️eBPF Programs
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Cyber Humanities for Heritage Security
cacm.acm.org·1d
🎭Cultural Informatics
Flag this post
A Paper Caper: The Hole Data
hackaday.com·1d
🧪Cassette Hacks
Flag this post
Rust Isn't the Future of Systems Programming – It's Just the Hype Cycle
freedium-mirror.cfd·1h·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·13h
🕸️WebAssembly
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
How To Build a Graph-Based Recommendation Engine Using EDG and Neo4j
towardsdatascience.com·1d
🕸️Neo4j
Flag this post
It’s Not Always DNS: Exploring How Name Resolution Works
cefboud.com·1d·
Discuss: r/programming
🌐DNS Security
Flag this post
A Reverse Engineer's Anatomy of the macOS Boot Chain and Security Architecture
stack.int.mov·8h·
Discuss: Hacker News
🔌Operating system internals
Flag this post
Atari Gamestation Go review: 200+ Atari classics in your hands, supported by a unique selection of physical controls
tomshardware.com·16h
🕹️Retro Gaming
Flag this post
Fran Sans Font
emilysneddon.com·7h·
Discuss: Hacker News
📟Terminal Typography
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.com·13h·
Circuit Archaeology
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post