No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.com·6h
📚Automata Learning
Your Unit Tests Suck
medium.com·5h·
Discuss: Hacker News
🧪Property-Based Testing
List of 87 Programming Ideas for Beginners
inventwithpython.com·1h·
Discuss: r/programming
🧮Lambda Calculus
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
✅Model Checking
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Hacker News, r/programming, r/rust
✓Automated Theorem Proving
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
The Case for Compact AI – Communications of the ACM
dl.acm.org·14h·
Discuss: Hacker News
📚Automata Learning
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·1d·
Discuss: Hacker News
🐫OCaml
Cuprum 2929: a fun educational game for kids and adults
vaslabs.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
How to implement the Outbox pattern in Go and Postgres
medium.com·7h·
Discuss: Lobsters
📊Runtime Verification
Show HN: Building an open-source agentic terminal
davehudson.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·5h·
Discuss: Hacker News
🐫Embedded OCaml
Be Engineering Insights: Adventures in Graphics Drivers
haiku-os.org·9h·
Discuss: Hacker News
🔧Unikernel Development
Cycles in Marsaglia’s mental RNG
johndcook.com·8h·
Discuss: Hacker News
🧠Automated Reasoning
The Rise of Tool Users
minimal-reflections.pages.dev·10h·
Discuss: Hacker News
📐Denotational Semantics
You can't test if quantum uses complex numbers
algassert.com·1d·
Discuss: Hacker News
🧩Separation Logic
Machine Learning in punch card COBOL from the ‘60s? Of course we can!
blog.stackademic.com·3h·
Discuss: r/programming
🐫Embedded OCaml
Puzzle Games Online – Free Brain Training and Fun Puzzle Challenges
puzzlegames.cc·2d·
Discuss: Hacker News
✓Automated Theorem Proving
How Coding Agents Actually Work: Inside Opencode
cefboud.com·21h·
Discuss: r/programming
🤖Program Synthesis