I need help.
reddit.com·23h·
Discuss: r/homelab
🏠HomeLab
Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·22h·
Discuss: Hacker News
🔄Finite State Machines
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·19h·
Discuss: Hacker News
🎮Verification Games
Hanami and the Elephant in the Room
hanamirb.org·13h·
Discuss: Hacker News
🔄Reproducible Builds
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·5d·
Discuss: Hacker News
➡️Category Theory
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·1d
👁️System Observability
Conditional Multi-Stage Failure Recovery for Embodied Agents
arxiv.org·3d
🛡️seL4
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·1d
🐫OCaml
On Trustworthy Rule-Based Models and Explanations
arxiv.org·1d
✓Automated Theorem Proving
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·3d
🏹Effect Systems
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Ground Truth Ambient Occlusion
github.com·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
Basic Computations in Fault Tree Analysis
arxiv.org·3d
🔬Static Analysis
AI Evals: How To Systematically Improve and Evaluate AI
newsletter.eng-leadership.com·2d·
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
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