Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·9h
📞Session Types
Show HN: Debugg – 0-Config AI browser (E2E) tests that review every commit
debugg.ai·1d·
Discuss: Hacker News
🏠Homelab Pentesting
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·13h
🧮Theorem Proving
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Three ways formally verified code can go wrong in practice
buttondown.com·27m
📜Proof Carrying Code
🤖 AI as Your QA Pair Buddy
dev.to·23h·
Discuss: DEV
⚡Proof Automation
Product comparison: Detectify vs. Tenable
blog.detectify.com·10h
🎯Threat Hunting
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·4h·
Discuss: Hacker News
🎯Performance Proofs
Operable Software
ferd.ca·4h·
Discuss: Hacker News
👁️System Observability
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·17h
🌊Streaming Systems
An enough week
blog.mitrichev.ch·21h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Error'd: Yes We Have No Bananas
thedailywtf.com·11h
🔓Hacking
Experimenting with ACL2 and Claude Code
mikedodds.org·5h·
Discuss: Hacker News
👑Isabelle
My BTL1 Review
infosecwriteups.com·6h
🔐Certificate Analysis
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·19h
🔲Cellular Automata
SigmaEval – statistical evaluation for GenAI apps
github.com·2d·
Discuss: Hacker News
📊Feed Optimization
Navigating the Vast AI Security Tools Landscape
optiv.com·20h
🎯Threat Hunting
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·5h·
Discuss: Hacker News
⚡Incremental Computation
Organize automated tests without getting eaten by your devs
octomind.dev·1d·
Discuss: Hacker News
❄️Nix Flakes
Seriously Testing LLMs
satisfice.com·4d
⚡Proof Automation