Claude Can (Sometimes) Prove It
galois.com·5d·
Discuss: Lobsters, Hacker News, Hacker News
✓Automated Theorem Proving
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·5d
✓Automated Theorem Proving
Metacrisis as a Framework for AI Governance
lesswrong.com·8h
🩹Self-Healing Systems
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Prompt Strategies for Terraform Test Generation
masterpoint.io·3h·
Discuss: Hacker News
🤖Program Synthesis
Everything you know is wrong
lawrencecpaulson.github.io·2d·
Discuss: Hacker News
🤖Program Synthesis
The low-cost path to AI Mastery
antonyarkov.substack.com·17h·
Discuss: Substack
✓Automated Theorem Proving
Tutorial Introduction to Guile
gnu.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Token Models as Statistical Simulations: A Different Take
medium.com·6h·
Discuss: Hacker News
🧩Parser Combinators
Programming quantum computers (algebraic logic) requires you to "forget" classical programming (boolean logic)
reddit.com·2d·
Discuss: r/programming
🎮Verification Games
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·20h·
Discuss: Lobsters, Hacker News
📊Runtime Verification
I Spent Three Nights Solving Listen Labs Berghain Challenge (and Got #16)
kuber.studio·15h·
Discuss: Hacker News
🎮Verification Games
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🐫OCaml
I Use LLMs to Write the Majority of My Code
boredhacking.com·15h·
Discuss: Hacker News
💎Refinement Types
Should GPUs Make Free Trade Agreements?
doubleword.ai·2d·
Discuss: Hacker News
🧩Separation Logic
UniPwn: Unitree Humanoid Robot BLE Service Command Injection Analysis
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Six Frameworks for Efficient LLM Inferencing
thenewstack.io·2d
🐳Containerization
Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
arxiv.org·3d
🐫OCaml
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
Show HN: RealTimeX – Local‑first private AI agents
realtimex.ai·33m·
Discuss: Hacker News
🧱Immutable Infrastructure