RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·4h
🔬Static Analysis
Unit Testing in NestJS for Node Using Suites (Formerly Automock)
blog.appsignal.com·18h·
Discuss: Hacker News
🔄Reproducible Builds
MethodHandles And Bad Benchmarks
github.com·1d·
Discuss: r/programming
👁️System Observability
Can you trust your friendly neighborhood LLM?
chrisbeckman.dev·14h·
Discuss: Hacker News
🛡️seL4
Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement
arxiv.org·1d
🤖Program Synthesis
Interprocedural Analysis: Catch nil Dereferences Before They Crash Your Code
blog.jetbrains.com·2d·
Discuss: Hacker News
🔬Static Analysis
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·16h·
Discuss: Hacker News
🛡️seL4
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·1d
🔍Formal Verification
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·1d·
Discuss: r/programming
🤖Program Synthesis
The Math Is Haunted
overreacted.io·1d·
Discuss: Hacker News, r/javascript, r/programming
🎮Verification Games
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·12h·
Discuss: Hacker News
🤖Program Synthesis
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·11h·
Discuss: Hacker News
🛡️seL4
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·16h·
Discuss: Hacker News
👁️System Observability
Rust Ownership: The Key to Data Safety and Memory Mastery
ancientist.com·2d·
Discuss: r/programming
🧱Immutable Infrastructure
AI Is Testing AI-Generated Code: Should You Trust It?
thenewstack.io·2d
🤖Program Synthesis
Data Leakage and Redundancy in the LIT-PCBA Benchmark
arxiv.org·1d
🐫Embedded OCaml
Formal specs as sets of behaviors
surfingcomplexity.blog·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔍Formal Verification
Handling multiple breakpoints in Trap Redux
system.joekain.com·2d·
Discuss: r/programming
🛡️seL4
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·1d
🔍Formal Verification
Understanding ASTs
hypermod.io·1d·
Discuss: Hacker News
🔬Static Analysis