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
Data Over Time
blog.julik.nl·3d·
Discuss: Hacker News
🔄Reproducible Builds
Inheritance and Polymorphism in Plain C
coz.is·4d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
AI Models for Pokemon Games
kevinlu.ai·3d·
Discuss: Hacker News
🎮Verification Games
The REM-arkable Misadventures of LIST
masswerk.at·4d·
Discuss: Hacker News, Hacker News
🐫Embedded 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·1d·
Discuss: r/programming
🏹Effect Systems
How to Build an Agent
blog.langchain.com·2d·
Discuss: Hacker News
🤖Program Synthesis
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·2d·
Discuss: Hacker News
❄️Nix
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
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·1d
💾Retro Computing
Harnessing AI To Elevate Automated Software Testing
thenewstack.io·3d
👁️System Observability
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·1d
✓Automated Theorem Proving