🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Kindle Jailbreak Update
kindlemodding.org·1d·
Discuss: Hacker News
🍎Apple
Taming Kubernetes Complexity: Reusable Manifests with Kustomize
blog.leechpepin.com·5d·
Discuss: r/homelab, r/selfhosted
⎈Kubernetes
The Crisis of Professional Skepticism
mitchhorowitz.substack.com·1d·
Discuss: Substack
💾Retro Computing
Policy and Disclosure: 2025 Edition
googleprojectzero.blogspot.com·4d·
Discuss: googleprojectzero.blogspot.com, Hacker News
👁️System Observability
Tetris in a Single Line of Code
survex.com·3d·
Discuss: Hacker News
🎮Verification Games
Medium
schappi.com·2d·
Discuss: Hacker News
🔬Unikernels
Device Bound Session Credentials
w3c.github.io·3d·
Discuss: Hacker News
🌐NetworkProtocols
The military’s squad of satellite trackers is now routinely going on alert
arstechnica.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Interesting experiment - create 10 or more characters
github.com·2d·
Discuss: r/programming
🎮Verification Games
Show HN: MitiFresh – A marketplace for homegrown backyard produce
news.ycombinator.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Senior Rust Engineer
news.ycombinator.com·3d·
Discuss: Hacker News
🔤DSLs
AI-powered pixels: Introducing Google's Satellite Embedding dataset
medium.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
[P] Crop Prediction
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
2025 One Hertz Challenge: Learn Morse Code One Second at a Time
hackaday.com·5h
🐫Embedded OCaml
Nearest-Better Network for Visualizing and Analyzing Combinatorial Optimization Problems: A Unified Tool
arxiv.org·2d
📡Network Protocol Design
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·4d
➡️Category Theory
Enhanced Prediction of CAR T-Cell Cytotoxicity with Quantum-Kernel Methods
arxiv.org·2d
➡️Category Theory
Cisco Donates the AGNTCY Project to the Linux Foundation
thenewstack.io·4d
🌐NetworkProtocols
Show HN: An AI agent that learns your product and guides your users
news.ycombinator.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Hebbian Memory-Augmented Recurrent Networks: Engram Neurons in Deep Learning
arxiv.org·3d
🐫Embedded OCaml