Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·14h·
Discuss: Hacker News
✓Automated Theorem Proving
Memory is slow, Disk is fast – Part 2
bitflux.ai·20h·
Discuss: Hacker News, r/programming
👁️System Observability
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·1d
🛡️seL4
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·10h·
Discuss: Hacker News, r/programming
🔤DSLs
ML Systems: Motivating Dense Models
jacobkahn.me·1d·
Discuss: Hacker News
🧮Lambda Calculus
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·5h·
Discuss: Hacker News
🐫Embedded OCaml
The Grounded Turing Test
whattotelltherobot.com·1d·
Discuss: Hacker News
📚Automata Learning
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·12h·
Discuss: Hacker News
💎Refinement Types
Stress testing Biome's noFloatingPromises lint rule
vercel.com·1d·
Discuss: Hacker News
💎Refinement Types
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.com·2d·
Discuss: Hacker News, r/programming
🧩Parser Combinators
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·9h·
Discuss: Hacker News
🛡️seL4
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·1d
🧠Automated Reasoning
Signals and Threads – Why ML Needs a New Programming Language
signalsandthreads.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐫Embedded OCaml
Mu Puzzle
en.wikipedia.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
If I hear "design pattern" one more time, I'll go mad
purplesyringa.moe·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·31m·
Discuss: Hacker News
💎Refinement Types
In Defense of AI Evals
sh-reya.com·1h·
Discuss: Hacker News
📊Runtime Verification
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·1d
⚙️Operating System Design
Pg_guard: Database Proxy for Programming Agents
blog.jonaylor.com·21h·
Discuss: Hacker News
📊Runtime Verification