Issue 489
haskellweekly.news·5d·
Discuss: Hacker News
👑Dependent Haskell
What is Multi-Party Computation?
privacyguides.org·1d
🎯Ring Buffers
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·18h
🧪Testing Compilers
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·5h·
Discuss: Hacker News
🦉Swift Interpreters
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
💫Effect Systems
A Lens on the Sharp Left Turn: Optimization Slack
lesswrong.com·14h
🚂Error Propagation
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·23h·
Discuss: Lobsters, Hacker News, r/programming
🌲Tree-sitter
Interview with Aaron Patterson [audio]
podcast.drbragg.dev·7h·
Discuss: Hacker News
🔧Nickel
Greyscale-box test-driven development
blog.ploeh.dk·1d
🧪Compiler Testing
A formal proof of C∞ISRT
bsky.app·2d·
Discuss: r/LessCredibleDefence
♾️Codata Types
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
Go + React: Best approach for type-safe API calls with codegen?
reddit.com·12h·
Discuss: r/golang
🔧API Design
The three game-changing features of JDK 25
infoworld.com·13h
⚡Interpreter Optimization
Caffeinated Commits- Day 4
dev.to·5h·
Discuss: DEV
🔮Type Inference Visualization
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
PHP: A fractal of bad design (2012)
eev.ee·8h·
Discuss: Hacker News
🔄Bootstrapping
System Instruction Fixed Point
funcall.blogspot.com·3h·
Discuss: www.blogger.com
💬Interactive REPLs
Be Careful When Assigning ArenaAllocators (2024)
openmymind.net·22h·
Discuss: Lobsters, Hacker News, r/programming
🏗️Custom Allocators
Economics of Tech Debt
gorkempacaci.com·10h·
Discuss: r/programming
📊Code Metrics
Chapter 4: LLM Providers
cline.ghost.io·4h
🥾Bootstrapping Strategies