I need help.
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·23h·
Discuss: Hacker News
🎮Verification Games
Hanami and the Elephant in the Room
hanamirb.org·17h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·1d·
Discuss: Hacker News
👁️System Observability
Basic Computations in Fault Tree Analysis
arxiv.org·3d
🔬Static Analysis
AI Evals: How To Systematically Improve and Evaluate AI
newsletter.eng-leadership.com·3d·
Discuss: r/programming
✓Automated Theorem Proving
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·3d
🎮Verification Games
AI Agent Smart Contract Exploit Generation
arxiv.org·3d
✓Automated Theorem Proving
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·1d·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·4d
🛡️seL4
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
No Code Is Dead
thenewstack.io·18m
🧱Immutable Infrastructure
RabakBench: Scaling Human Annotations to Construct Localized Multilingual Safety Benchmarks for Low-Resource Languages
arxiv.org·3d
🔬Static Analysis
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·3d
🐫Embedded OCaml
I don't think LLM's are making us stupider
news.ycombinator.com·23h·
Discuss: Hacker News
🔬Static Analysis
The hidden cost of AI reliance
codebytom.blog·2d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
This Week in Security: Bitchat, CitrixBleed Part 2, Opossum, and TSAs
hackaday.com·1d
🌐NetworkProtocols
Show HN: Tansive – AI Agents that won't accidentally restart your prod database
github.com·4d·
Discuss: Hacker News
⎈Kubernetes
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🐫OCaml