Breaking Verifiable Abstractions
alperenkeles.com·1d·
Discuss: Hacker News, r/programming
🔍Formal Verification
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·13h·
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
Anti-patterns and patterns for achieving secure generation of code via AI
ghuntley.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Detail about Linkity Link
bradbarrish.com·3h·
Discuss: Hacker News
📡Network Protocol Design
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·12h·
Discuss: Hacker News
🐫Embedded OCaml
Writing in Djot
pdx.su·2d·
Discuss: Hacker News
🧩Parser Combinators
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·1d·
Discuss: Substack, r/programming
⚙️Operating System Design
Understanding LLMs: Insights from Mechanistic Interpretability
lesswrong.com·3d
📚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·9h·
Discuss: Hacker News
🐫Embedded OCaml
Dependent types I › Universes, or types of types
jonmsterling.com·6d·
Discuss: Hacker News
➡️Category Theory
AI gave me honest sounding reason to explain why it didn't analyze logs
news.ycombinator.com·1h·
Discuss: Hacker News
🧩Parser Combinators
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Scott Kim's Inversions: Dream and Level
nkanaev.com·8h·
Discuss: Hacker News
🐫OCaml
The Grammar According to West
dwest.web.illinois.edu·6d·
Discuss: Hacker News
➡️Category Theory
Think in Games: Learning to Reason in Games via Reinforcement Learning with Large Language Models
arxiv.org·1d
🎮Verification Games
Your LLM-assisted scientific breakthrough probably isn't real
lesswrong.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving