🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

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