🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

'Let's understand the value of the forest' says Liberia's Silas Siakor
news.mongabay.com·8h·
Discuss: Hacker News
⎈Kubernetes
Grimoire CSS - flexible utility class tool
grimoirecss.com·2d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Waymo involved in second fatal crash – not at fault
forbes.com·6h·
Discuss: Hacker News
🩹Self-Healing Systems
Couldn't get a job, so I settled
reddit.com·1d·
Discuss: r/programming
💻CS
Release candidate: Godot 4.5 RC 2
godotengine.org·4d·
Discuss: Hacker News, r/godot
🎮Verification Games
Supply chains and watering holes
cryptography.dog·5d·
Discuss: Lobsters
💎Refinement Types
"Late Stage Capitalism" Is Just Overfitting
rosshartshorn.net·18h·
Discuss: Hacker News
📚Automata Learning
An Introduction to XForms
xml.com·5d·
Discuss: Hacker News
⚙️PL Implementation
We SSH into GitHub Actions
blacksmith.sh·5d·
Discuss: Hacker News
🖥Self-Hosting
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
No, AI won’t take all the jobs. Here’s why.
freethink.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Virtualized gaming vm?
reddit.com·2d·
Discuss: r/homelab
🔬Unikernels
Home Servers with dynamic IPv6 prefix, and external DNS entries.
reddit.com·3d·
Discuss: r/homelab
📡Network Protocol Design
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·4d
🐫OCaml
CoAtNeXt:An Attention-Enhanced ConvNeXtV2-Transformer Hybrid Model for Gastric Tissue Classification
arxiv.org·3d
➡️Category Theory
Depth-Bounded Epistemic Planning
arxiv.org·4d
🧩Separation Logic
Show HN: Vue-Markdown-render – up to 100× faster streaming Markdown for Vue 3
github.com·1d·
Discuss: Hacker News
🐳Containerization
Spec-Driven Development Is the Future of Software Engineering
medium.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·4d·
Discuss: Hacker News
🏠HomeLab
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·3d·
Discuss: Hacker News
👁️System Observability