What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
💫Effect Systems
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·1h·
Discuss: Hacker News
🦉Swift Interpreters
A Lens on the Sharp Left Turn: Optimization Slack
lesswrong.com·9h
🚂Error Propagation
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·23h·
Discuss: Hacker News
🔗Lexical Scoping
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·19h·
Discuss: Lobsters, Hacker News
🌲Tree-sitter
Interview with Aaron Patterson [audio]
podcast.drbragg.dev·2h·
Discuss: Hacker News
🔧Nickel
Greyscale-box test-driven development
blog.ploeh.dk·23h
🧪Compiler Testing
A formal proof of C∞ISRT
bsky.app·2d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Go + React: Best approach for type-safe API calls with codegen?
reddit.com·7h·
Discuss: r/golang
🔧API Design
Caffeinated Commits- Day 4
dev.to·47m·
Discuss: DEV
🔮Type Inference Visualization
The three game-changing features of JDK 25
infoworld.com·9h
⚡Interpreter Optimization
PHP: A fractal of bad design (2012)
eev.ee·3h·
Discuss: Hacker News
🔄Bootstrapping
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
Be Careful When Assigning ArenaAllocators (2024)
openmymind.net·17h·
Discuss: Lobsters, Hacker News
🏗️Custom Allocators
Economics of Tech Debt
gorkempacaci.com·6h·
Discuss: r/programming
📊Code Metrics
Directed Notifications for Claude Code Async Programming
joshbeckman.org·1h·
Discuss: Hacker News
💻Terminal UIs
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·1d
💬Smalltalk VMs
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
How to Debug Chez Scheme Programs (2002)
scheme.com·20h·
Discuss: Hacker News
💬Error Message Design
The Case for Compact AI – Communications of the ACM
dl.acm.org·10h·
Discuss: Hacker News
🌱Minimal ML