🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

I used Suno AI to cover my own demo album
app.mindthis.io·20h·
Discuss: Hacker News
🎮Verification Games
Dependency hell is NP-complete
research.swtch.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Rsyslog Goes AI First – A New Chapter Begins
rsyslog.com·1d·
Discuss: Hacker News
👁️System Observability
Education 3.0
doc.searls.com·2d·
Discuss: Hacker News
🎮Verification Games
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·4d·
Discuss: Hacker News
🔍Formal Verification
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Mcbot McHacked
captaincompliance.com·16h·
Discuss: Hacker News
🍎Apple
It's bye for now, and so here are my final thoughts on technology
yukinu.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·4d
🧪Property-Based Testing
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Conditional Multi-Stage Failure Recovery for Embodied Agents
arxiv.org·4d
🔍Formal Verification
Just got my first rack
reddit.com·18m·
Discuss: r/homelab
🏠HomeLab
Cache Benchmarks
github.com·1d·
Discuss: Hacker News
👁️System Observability
Measuring the Impact of LLMs on Experienced Developer Productivity
hackaday.com·1d
👁️System Observability
Show HN: gRPC to MCP Gateway – Let AI models call your existing gRPC services
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2d
🔍Formal Verification
AI Agents Under the Hood
blog.surkar.in·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Layers of Lawyers and Liars
matthewbutterick.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Data Science Weekly – Issue 607
datascienceweekly.substack.com·2d·
Discuss: Substack
👁️System Observability
Building the Hugging Face MCP Server
huggingface.co·3d·
Discuss: Hacker News
🏠HomeLab