✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

LLM-Generated Rules Engines for LLM Explainability
brain.co·15h·
Discuss: Hacker News
🤖AI
The Capability-Tractability Tradeoff (2023)
buttondown.com·7h·
Discuss: Hacker News
🔌Embedded
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🔌Embedded
Gauss, an Agent for Autoformalization
math.inc·1d·
Discuss: Hacker News, Hacker News, Hacker News
🤝Using AI for programming
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
Death to Type Classes
jappie.me·15h·
Discuss: Hacker News
🔌Embedded
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
🔌Embedded
Defeating Nondeterminism in LLM Inference
simonwillison.net·1d
🔌Embedded
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·11h·
Discuss: Substack
🤖AI
MiniRust
github.com·3h·
Discuss: Hacker News
🔌Embedded
Lobsters Interview with Susam
lobste.rs·12h·
Discuss: Lobsters
🤝Using AI for programming
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔌Embedded
Qwen3-Next-80B-A3B - a big step up may be the best open source reasoning model so far
reddit.com·23h·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·1d·
Discuss: Hacker News
🤖AI
Quantum Algorithm Zoo
quantumalgorithmzoo.org·2d·
Discuss: Hacker News
🔌Embedded
A Positive Lambda: '+[]{}'
stackoverflow.com·22h·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·3d·
Discuss: Lobsters, Hacker News
🔌Embedded
Choosing Rust for LLM-generated code
runmat.org·9h·
Discuss: Hacker News
🤝Using AI for programming
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·1d·
Discuss: Hacker News
🗃️Local databases
Writing effective tools for LLM agents–using LLM agents
anthropic.com·1d·
Discuss: Hacker News
🤖AI