🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Solar Cannibalization: Spain vs. Germany
solarletter.substack.com·13h·
Discuss: Substack
🩹Self-Healing Systems
Looking for feedback: heads-up poker training app
app.pokerheads.de·23h·
Discuss: r/programming
🎮Verification Games
Show HN: ScamBare Text Checker
scambare.com·1d·
Discuss: Hacker News
🎮Verification Games
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·1d·
Discuss: Hacker News
🧩Separation Logic
Pgschema – Declarative schema migration for Postgres
pgschema.com·19h·
Discuss: Hacker News
🧱Immutable Infrastructure
Quantum Algorithm Zoo
quantumalgorithmzoo.org·2d·
Discuss: Hacker News
🧠Automated Reasoning
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·2d·
Discuss: Hacker News
🐫OCaml
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·3d·
Discuss: Hacker News
🔤DSLs
Behind The Scenes of Bun Install
bun.com·2d·
Discuss: Lobsters, Hacker News, r/programming, r/programming
🔧Unikernel Development
Apple Announces A19 and A19 Pro SoCs
morethanmoore.substack.com·6h·
Discuss: Substack
🍎XNU Internals
Depth-Bounded Epistemic Planning
arxiv.org·2d
🧩Separation Logic
Homelab Virgin
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
A GitHub Co-Founder's Next Commit
opensourcepledge.com·2d·
Discuss: Hacker News
🍏Darwin
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·2d·
Discuss: Hacker News
🏠HomeLab
How I tell human and AI flash fiction apart
lesswrong.com·3d
⚡Process Calculi
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·7h·
Discuss: Hacker News
🩹Self-Healing Systems
LavaMoat – tools for sandboxing your dependency graph
github.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Creating a Standard for TAI Governance
lesswrong.com·1d
🩹Self-Healing Systems
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·4d
⚙Operational Semantics
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·4d
📚Automata Learning