🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·3h·
Discuss: Hacker News
👁️System Observability
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
✓Automated Theorem Proving
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·12h·
Discuss: r/programming
🔬Static Analysis
Show HN: Authorization in LLM Applications
osohq.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·17h·
Discuss: Hacker News
🔬Static Analysis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·17h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·16h·
Discuss: Hacker News
🌐NetworkProtocols
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·6h
🔍Formal Verification
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·20h·
Discuss: Hacker News
🔤DSLs
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·2h·
Discuss: Substack
🔍Formal Verification
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·22h·
Discuss: Hacker News
📡Network Protocol Design
LLM Inference Handbook
bentoml.com·7h·
Discuss: Hacker News
🐫OCaml
Building MCP servers the easy way with Apache OpenServerless
opensource.net·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Ever looked at an MCP server and wondered why we’re running a whole wrapper just to pass JSON through? So I scrapped the wrapper entirely and let agents call th...
reddit.com·14h·
Discuss: r/programming
🌐NetworkProtocols
Binding Application in Idris
andrevidela.com·11h·
Discuss: Hacker News
🔠Type-Level Programming
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·15h·
Discuss: Hacker News
💾Retro Computing
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·20h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Secure Your Keys with Keyand.me
thasso.xyz·2h·
Discuss: Hacker News
🌐NetworkProtocols
Open Source Tools to Detect CVE-2024-54085
eclypsium.com·11h·
Discuss: Hacker News
📦Unikernel Systems