matmat's Top FindsLoading...
CLI tool that translates plain English into Linux commands
reddit.com·6h·
Discuss: r/linux
📝Shell Parsing
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
How JPEG Works: The Subtle Beauty and Art of Imperfection
techspot.com·1d
🖼️JPEG XL
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
👑Isabelle
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·1h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
This Week in Security: ID Breaches, Code Smell, and Poetic Flows
hackaday.com·8h
🔓Hacking
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·22h·
Discuss: Hacker News
📦Git LFS
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
Item Patterns and Struct Await
noratrieb.dev·16h·
Discuss: Hacker News
🦀Rust Macros
Beyond Indexes: How Open Table Formats Optimize Query Performance
jack-vanlightly.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🚀Query Optimization
The Absolute Minimum Every Developer Must Know About Unicode and Character Sets
joelonsoftware.com·2d·
Discuss: Hacker News
🔤Character Encoding
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·12h·
Discuss: Substack
🔲Cellular Automata
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·2h·
Discuss: Hacker News
🛡️Error Boundaries
People rescuing forgotten knowledge trapped on old floppy disks
bbc.com·9h·
Discuss: Hacker News
📼Cassette Archaeology
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·22h·
Discuss: Hacker News
🌊Stream Processing
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler