🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Open Source Tools to Detect CVE-2024-54085
eclypsium.com·8h·
Discuss: Hacker News
📦Unikernel Systems
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·19h·
Discuss: Hacker News
🤖Program Synthesis
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·14h·
Discuss: Hacker News
🔬Static Analysis
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·8h·
Discuss: Hacker News
⚙️PL Implementation
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog·1d·
Discuss: Hacker News
🌐NetworkProtocols
Don’t compare programming to the real world
expressionstatement.com·17h·
Discuss: r/programming
👁️System Observability
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Full QuickJS Support for Nginx
blog.nginx.org·4h·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·9h·
Discuss: Hacker News
🌐NetworkProtocols
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·1d·
Discuss: Hacker News
📦Unikernel Systems
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Cocoindex: Data Transformation for AI
cocoindex.io·13h·
Discuss: Hacker News
🔄Reproducible Builds
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·1h·
Discuss: r/programming
✓Automated Theorem Proving
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·2h
🎮Verification Games
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·12h·
Discuss: Substack
🐫Embedded OCaml
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🎮Verification Games