The Most Common Bad Argument In These Parts
lesswrong.com·3h
⚖️Inference Rules
Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Languages
Gleam Programming Language Tour
tour.gleam.run·10h·
Discuss: Hacker News
✨Gleam
Vexing Exceptions
ericlippert.com·1d·
Discuss: Hacker News
🛡️Error Handling
simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.com·1d·
Discuss: r/programming
🎮Language Ergonomics
My Top 5 Favourite Features in Python 3.14
blog.codingconfessions.com·10h
🐍CPython Internals
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
ReasonScape Evaluation: AI21 Jamba Reasoning vs Qwen3 4B vs Qwen3 4B 2507
reddit.com·2d·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
Memgoose – An In-Memory Mongoose Impersonator
github.com·10h·
Discuss: Hacker News
📡Protocol Buffers
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·11h·
Discuss: r/programming
📦Monorepos
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
💬Interactive REPLs
jlrs 0.22: Julia version autodetection, async closure support, and more!
reddit.com·3h·
Discuss: r/rust
🦀MIR Optimization
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
🧮Combinator Calculus
The Custom Conveyor: Building Your Own Iterators
dev.to·15h·
Discuss: DEV
🪢Rope Data Structures
neverthrow - tutorial (with a bit of "byethrow")
dev.to·2d·
Discuss: DEV
🛡️Error Handling
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·4d
⚡functional programming
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·2d
🌈Gradual Languages
Monument Engine: Jx
monument.ai·4h·
Discuss: Lobsters
⚡Interpreter Optimization
Vibing a Non-Trivial Ghostty Feature
simonwillison.net·2h
🌈Gradual Languages
How Sam Darnold, Seattle Seahawks have shocked NFL this season: Watch
nytimes.com·4h
📋Row Typing