🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Zero Trust in Reverse: Why the Definition of Zero Trust Is Only Half Full
threatresearch.ext.hp.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Nvidia's context-optimized Rubin CPX GPUs were inevitable
theregister.com·13h·
Discuss: Hacker News
🔧Unikernel Development
X Open Sourced Algorithm Code, So I analyzed it to learn how to grow on X
supabird.io·5h·
Discuss: Hacker News
🧩Parser Combinators
Rackintosh Plus
identity4.com·9h·
Discuss: Hacker News
💾Retro Computing
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fi·2d·
Discuss: Hacker News
🧩Parser Combinators
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·12h·
Discuss: Hacker News
🏠HomeLab
How Python Implements List Comprehensions
pythonkoans.substack.com·2d·
Discuss: Substack
📐Denotational Semantics
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·1d·
Discuss: Hacker News
🐳Containerization
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·1d
📚Automata Learning
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·1d·
Discuss: Hacker News, Hacker News
🐳Containerization
AI code is creating more Ops incidents – who should own fixing them?
medium.com·7h·
Discuss: Hacker News
👁️System Observability
Dotter: Dotfile manager and templater written in Rust
github.com·6h·
Discuss: Hacker News
🐳Containerization
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·2d·
Discuss: Hacker News
💎Refinement Types
Lexy: A parser combinator library for C++17
github.com·11h·
Discuss: Hacker News
🧩Parser Combinators
Cybercrooks ripped the wheels off at Jaguar Land Rover. Here's how not to get taken for a ride
theregister.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·6d
💎Refinement Types
'Make invalid states representable' considered harmful
seangoedecke.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Validity Verification of the New TOEFL Writing Task Based on Classical Test Theory
arxiv.org·1d
✓Automated Theorem Proving
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·4h·
Discuss: Substack
📦Unikernel Systems