Testing the not-so-happy path
jorgeortiz.dev·8h·
Discuss: r/rust
🧪Property-Based Testing
Impossible rational triangles
johndcook.com·4h·
Discuss: Hacker News
🧮Lambda Calculus
Quantifying Label-Induced Bias in Large Language Model Self- and Cross-Evaluations
arxiv.org·1d
🧩Parser Combinators
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Your LLM-assisted scientific breakthrough probably isn't real
lesswrong.com·48m
✓Automated Theorem Proving
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Taxonomy of Procrastination
dynomight.net·2h·
Discuss: Hacker News
➡️Category Theory
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·1d·
Discuss: Hacker News
🎮Verification Games
How to Test
matklad.github.io·1d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Richard Pryor Stole a Lot of Half Cents and Bought a Ferrari
news.alvaroduran.com·7h·
Discuss: Hacker News
💎Refinement Types
A quantum equivalent to Bayes' rule
lesswrong.com·2d
🧮Lambda Calculus
Context Engineering: A Primer
okigu.com·1d·
Discuss: Hacker News
🔍Formal Verification
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·6h·
Discuss: Hacker News
🐫Embedded OCaml
Writing in Djot
pdx.su·1d·
Discuss: Hacker News
🧩Parser Combinators
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·1d·
Discuss: Substack
⚙️Operating System Design
Understanding LLMs: Insights from Mechanistic Interpretability
lesswrong.com·2d
📚Automata Learning
Use Bayes rule to mechanically solve probability riddles
cloud.disroot.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The gen on function perilogues (2010)
jdebp.uk·3h·
Discuss: Hacker News
🐫Embedded OCaml
Dependent types I › Universes, or types of types
jonmsterling.com·6d·
Discuss: Hacker News
➡️Category Theory
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols