AI Testing Tools in 2025: What works and what doesn’t
bug0.com·10h·
Discuss: r/programming
👁️System Observability
Outcome-based Exploration for LLM Reasoning
arxiv.org·12h·
Discuss: Hacker News
📚Automata Learning
Prompt Snapshot Testing
ninkovic.dev·18h·
Discuss: Hacker News
🔍Formal Verification
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·2h·
Discuss: r/programming
💎Refinement Types
Calibrating indifference - a small AI safety idea
lesswrong.com·5h
🩹Self-Healing Systems
The Case for Cowboy Coding
bevel.work·3h·
Discuss: Hacker News
💎Refinement Types
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·8h·
Discuss: Hacker News
🔧Unikernel Development
Cyborgtest – the chill way to evolve your QA game from manual to automated
github.com·7h·
Discuss: Hacker News
🎮Verification Games
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·19h·
Discuss: Hacker News
📊Runtime Verification
Billion-Line Days Demand Billion-Test Nights
momentic.ai·1h·
Discuss: Hacker News
🤖Program Synthesis
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·4h·
Discuss: r/rust
❄️Nixified Development
Rich Answered That
gist.github.com·23m·
Discuss: Hacker News
🧮Lambda Calculus
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·1d
🎮Verification Games
Algebraic Effects in Practice with Flix
relax.software·2d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·2h·
Discuss: Hacker News
🤖Program Synthesis
Thoughts on Evals
raindrop.ai·3d·
Discuss: Hacker News
👁️System Observability
False Confidence
theaiunderwriter.substack.com·22h·
Discuss: Substack
📚Automata Learning
An Introduction to XForms
xml.com·2h·
Discuss: Hacker News
⚙️PL Implementation