Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
more views on curl vulnerabilities
daniel.haxx.se·2d·
Discuss: Hacker News
🔬Static Analysis
Inheritance and Polymorphism in Plain C
coz.is·4d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
The REM-arkable Misadventures of LIST
masswerk.at·4d·
Discuss: Hacker News
🐫Embedded OCaml
Property Elicitation on Imprecise Probabilities
arxiv.org·3d
✓Automated Theorem Proving
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·3d
🔄Reproducible Builds
Under the Hood of Claude Code
pierce.dev·6d·
Discuss: Hacker News, Hacker News
🛡️seL4
On Trustworthy Rule-Based Models and Explanations
arxiv.org·1d
✓Automated Theorem Proving
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·3d
🐫Embedded OCaml
Beyond the Linear Separability Ceiling
arxiv.org·1d
➡️Category Theory
Agentic AI Is Quietly Replacing Developers
thenewstack.io·11m
🤖Program Synthesis
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·1d
🐫OCaml
Ground Truth Ambient Occlusion
github.com·20h·
Discuss: Hacker News
🧱Immutable Infrastructure
Domain adaptation of large language models for geotechnical applications
arxiv.org·3d
🔤DSLs
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·1d
🔍Formal Verification
Can adversarial attacks by large language models be attributed?
arxiv.org·2d
🛡️seL4
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·2d·
Discuss: Hacker News
🔤DSLs
Study finds that AI tools make experienced programmers 19% slower. But that is not the most interesting find...
reddit.com·18h·
Discuss: r/programming
🏹Effect Systems
How to Build an Agent
blog.langchain.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Incorporating Interventional Independence Improves Robustness against Interventional Distribution Shift
arxiv.org·3d
🏹Effect Systems