RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·5h
🔄Reproducible Builds
Understanding ASTs
hypermod.io·2d·
Discuss: Hacker News
🔠Type-Level Programming
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·1d·
Discuss: r/programming
🤖Program Synthesis
Announcing Precomputed Reachability Analysis in Socket
socket.dev·13h·
Discuss: Hacker News
🛡️seL4
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·13h·
Discuss: Hacker News
🛡️seL4
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·1h·
Discuss: Hacker News
✓Automated Theorem Proving
The pest book is finally complete now!
github.com·20h
⚙️PL Implementation
Hask Is Not a Category
math.andrej.com·16h·
Discuss: Hacker News
➡️Category Theory
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·18h·
Discuss: Hacker News
🛡️seL4
2000 words about arrays and tables
buttondown.com·20h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
🐫OCaml
Vibe Coding but not what you think
amritpandey.io·2h·
Discuss: Hacker News
🤖Program Synthesis
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
✓Automated Theorem Proving
MethodHandles And Bad Benchmarks
github.com·1d·
Discuss: r/programming
👁️System Observability
The Math Is Haunted
overreacted.io·1d·
Discuss: Hacker News, r/javascript, r/programming
🎮Verification Games
I built my blog with C preprocessor macros
wheybags.com·10h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Interprocedural Analysis: Catch nil Dereferences Before They Crash Your Code
blog.jetbrains.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
How JIT builds of CPython work
savannah.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Software Engineering Has Always Been Context Engineering
agenticcoding.substack.com·15h·
Discuss: Substack
🤖Program Synthesis
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·5h
🛡️seL4