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, Hacker News
🐫Embedded OCaml
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·4h
🤖Program Synthesis
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·1d
🐫OCaml
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
Incorporating Interventional Independence Improves Robustness against Interventional Distribution Shift
arxiv.org·3d
🏹Effect Systems
Study finds that AI tools make experienced programmers 19% slower. But that is not the most interesting find...
reddit.com·23h·
Discuss: r/programming
🏹Effect Systems
How to Build an Agent
blog.langchain.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Ground Truth Ambient Occlusion
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·1d
✓Automated Theorem Proving
Predicting and generating antibiotics against future pathogens with ApexOracle
arxiv.org·1d
💻CS
METR's AI productivity study is really good
seangoedecke.com·1d·
Discuss: Hacker News
👁️System Observability