🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·4h
✓Automated Theorem Proving
Data-Star.dev – v1 and Beyond
data-star.dev·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·16h·
Discuss: Hacker News
🔬Static Analysis
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Don’t compare programming to the real world
expressionstatement.com·19h·
Discuss: r/programming
👁️System Observability
Full QuickJS Support for Nginx
blog.nginx.org·5h·
Discuss: Hacker News
🌐NetworkProtocols
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·20h·
Discuss: Hacker News
🤖Program Synthesis
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·10h·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·11h·
Discuss: Hacker News
🌐NetworkProtocols
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
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog·2d·
Discuss: Hacker News
🌐NetworkProtocols
Cocoindex: Data Transformation for AI
cocoindex.io·15h·
Discuss: Hacker News
🔄Reproducible Builds
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·52m·
Discuss: Substack
🔬Static Analysis
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·4h
🎮Verification Games