🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

SQLite concurrency and why you should care about it
jellyfin.org·20h·
Discuss: Hacker News
🧩Separation Logic
Flag this post
Know Your Assets, Know Your Normal: A Practical Guide to OT Baselining
emberot.com·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Model welfare and open source
lesswrong.com·7h
📦Unikernel Systems
Flag this post
Mitre ATT&CK v18 released
medium.com·6h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Making MLS More Decentralized
blog.phnx.im·4d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧮Z3 Solver
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·2h·
Discuss: DEV
🤖Robotics
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·2d
💬Mach Messages
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Ask HN: is this a common LLM-assisted development workflow?
news.ycombinator.com·7h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
👁️System Observability
Flag this post
Breaking into GitLab: Attacking and Defending Self-Hosted CI/CD Environments
risk3sixty.com·2d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·16h·
Discuss: Substack
⚡Process Calculi
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Turning 500 Lines of If-Else Into a Config Switch: Strategy Pattern in Go
dev.to·1d·
Discuss: DEV
🌲CTL
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·2d·
Discuss: DEV
🔒Protocol Verification
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post