🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

'Let's understand the value of the forest' says Liberia's Silas Siakor
news.mongabay.com·10h·
Discuss: Hacker News
⎈Kubernetes
Basic Guide to Einsum
ajcr.net·14h·
Discuss: Hacker News
🧮Lambda Calculus
Waymo involved in second fatal crash – not at fault
forbes.com·8h·
Discuss: Hacker News
🩹Self-Healing Systems
Norways first adventure game part 1
spillhistorie.no·3d·
Discuss: Hacker News
🎮Verification Games
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
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
"Late Stage Capitalism" Is Just Overfitting
rosshartshorn.net·20h·
Discuss: Hacker News
📚Automata Learning
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·6d·
Discuss: Lobsters, Hacker News, r/golang
📐Denotational Semantics
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
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
Spec-Driven Development Is the Future of Software Engineering
medium.com·2d·
Discuss: Hacker News
🤖Program Synthesis
How I tell human and AI flash fiction apart
lesswrong.com·5d
⚡Process Calculi
Show HN: Vue-Markdown-render – up to 100× faster streaming Markdown for Vue 3
github.com·1d·
Discuss: Hacker News
🐳Containerization
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·3d·
Discuss: Hacker News
👁️System Observability
The Astronaut and the Planet: Part II
lesswrong.com·2d
🩹Self-Healing Systems
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·4d
📚Automata Learning