You Are in a Box
jyn.dev·2d·
Discuss: Lobsters, Hacker News
🐚Nordic Shell
Dual numbers
funcall.blogspot.com·11h·
Discuss: www.blogger.com
📐Interval Arithmetic
Enough unix to get by
thoughtbot.com·3d
📝Shell Parsing
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·22h
🔧RISC-V Assembler
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Intent, Not Tools, Defines the Discipline
brettshavers.com·6h
🕳️Information Leakage
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·8h·
Discuss: Hacker News
✨Algebraic Effects
Signed and stealing: uncovering new insights on Odyssey infostealer
jamf.com·13h
🔓Password Cracking
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
How to reason from first principles
caseyhandmer.wordpress.com·8h
🎯Proof Tactics
A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Python `apply()` vs. `apply_async()`: Which Should You Use?
thenewstack.io·11h
🌊Stream Processing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Parsing Protobuf Like Never Before
mcyoung.xyz·21h
🔧Binary Parsers
Async BOFs – “Wake Me Up, Before You Go Go”
outflank.nl·16h
🔍eBPF
Software is Never Done: Embracing Constant Evolution and Change will Result in a Better System
itnext.io·12h
🔄Language Evolution
A PhD's Apology
cappadokes.github.io·15h·
Discuss: Hacker News
🧮Theoretical Computer Science
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
Zig Interface Revisited
williamw520.github.io·11h·
Discuss: Hacker News
🧩WASM Components