🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Stanford sticks with legacy admissions
techcrunch.com·1d·
Discuss: Hacker News
🍎Apple
The Next Financial Crisis
calculatedriskblog.com·11h·
Discuss: Hacker News
🐫OCaml
Understanding Closing Costs and Buyer Savings in NYC
nestapple.com·2d·
Discuss: Hacker News
🍎Apple
We are all mercantilists now
bridgewater.com·16h·
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
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·6d·
Discuss: Hacker News
🎮Verification Games
Linus Torvalds Rejects RISC-V Changes For Linux 6.17: "Garbage"
phoronix.com·2d·
Discuss: Hacker News, Hacker News
🍎XNU Internals
Show HN: Blueprint, a desktop app to guard against rogue LLMs
github.com·4d·
Discuss: Hacker News
🤖Program Synthesis
BigTokDetect: A Clinically-Informed Vision-Language Model Framework for Detecting Pro-Bigorexia Videos on TikTok
arxiv.org·3h
➡️Category Theory
I‘m New to this Topic, What can I Build?
reddit.com·3d·
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·1d·
Discuss: Hacker News
📦Unikernel Systems