🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Stanford sticks with legacy admissions
techcrunch.com·1d·
Discuss: Hacker News
🍎Apple
We are all mercantilists now
bridgewater.com·19h·
Discuss: Hacker News
🍎Apple
50 Years Ago: "Houston, We've Had a Problem" (2022)
nasa.gov·3d·
Discuss: Hacker News
🧗Climbing Tech
Consent and Compromise
research.eye.security·3d·
Discuss: Lobsters, Hacker News, Hacker News
🖥️Self-hosted Infrastructure
Skynet: LLMs controlling real robots and drones with Bash
hackster.io·6d·
Discuss: Hacker News
🔬Unikernels
p-fast trie, but smaller
dotat.at·5d·
Discuss: Hacker News
🔠Type-Level Programming
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·6d·
Discuss: Hacker News
📦Unikernel Systems
Where Are They? (2008)
nickbostrom.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: Sparc3D AI – High‑Res 3D Generation Tool
sparc3dai.com·2d·
Discuss: Hacker News
🤖Program Synthesis
The Cyber Resilience Act: A Five Alarm Fire
redmonk.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What I learned spending $851 on Reddit Ads
successfulsoftware.net·17h·
Discuss: Hacker News
🍎Apple
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·6d·
Discuss: Hacker News
🎮Verification Games
An Engineer's Perspective on Hiring
jyn.dev·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔄Reproducible Builds
Quantifying the algorithmic improvement from reasoning models
epoch.ai·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Linus Torvalds Rejects RISC-V Changes For Linux 6.17: "Garbage"
phoronix.com·2d·
Discuss: Hacker News, Hacker News
🍎XNU Internals
I‘m New to this Topic, What can I Build?
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Core – A self-governing AI that modifies its own code via a constitution
github.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Online EFX Allocations with Predictions
arxiv.org·4d
🏹Effect Systems
After User Backlash, OpenAI Is Bringing Back Older ChatGPT Models
cnet.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Towards MR-Based Trochleoplasty Planning
arxiv.org·1d
🤖Program Synthesis