🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Defold editor scripting adds scene editing in 1.10.4
defold.com·1h·
Discuss: Hacker News
🧱Immutable Infrastructure
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·2h·
Discuss: Substack
🔬Static Analysis
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·6h
🎮Verification Games
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·16h·
Discuss: Substack
🐫Embedded OCaml
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🎮Verification Games
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·1d
🌐NetworkProtocols
Enable AI agents to find and access any data product while enforcing governance
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Building Your First ETL Pipeline in Rust
ryuru.com·1d·
Discuss: r/programming
🔬Static Analysis
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·13h·
Discuss: Hacker News
✓Automated Theorem Proving
A model for IV&V that's useful
waldo.jaquith.org·11h·
Discuss: Hacker News
🔄Reproducible Builds
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·6h
🔍Formal Verification
Monitoring My Homelab, Simply
b.tuxes.uk·23h·
Discuss: Lobsters, Hacker News
👁️System Observability
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·12h·
Discuss: Hacker News
👁️System Observability
Show HN: Looking for Beta Testers: Run AI-Generated Code in AgentSphere Sandbox
news.ycombinator.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·22h·
Discuss: Substack
🧪Property-Based Testing
The #1 Reason Your GenAI Project Will Fail in Production
mlwhiz.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Wild West of Agentic AI – An Attack Surface CISOs Can't Afford to Ignore
securityweek.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving