🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

FakeMaker – Instantly generate fake identities (face, name, backstory)
fakemaker.app·3h·
Discuss: Hacker News
🍎Apple
Development Interview with Randal Linden and John Linneman
limitedrungames.com·2d·
Discuss: Hacker News
💾Retro Computing
Little adventure in pursuit of errors. The Battle for Wesnoth!
pvs-studio.com·6d·
Discuss: r/cpp, r/programming
🎮Verification Games
From Idea to Launch in 2 Weeks
yusufaytas.com·3d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
The Seductions of A.I. for the Writer’s Mind
nytimes.com·2d·
Discuss: Hacker News, Hacker News
🎮Verification Games
Building a Dumber Team
dandreamsofcoding.com·1d·
Discuss: Hacker News
🎮Verification Games
Squall: A TUI SQLite Viewer and Editor
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Behold, Speed Demons : Nuke-KV v2.5 Unleashed – 2M Ops/Sec , Nuke-Wire , & Advanced JSON Queries .
reddit.com·4d·
Discuss: r/programming
🧱Immutable Infrastructure
4. Boxing Day: Unwrapping the Mind
blog.phenomenal.ink·21h·
Discuss: Hacker News
🔬Unikernels
An LLM Router That Thinks Like an Engineer
medium.com·5d·
Discuss: Hacker News
📡Network Protocol Design
Outbound Modeling for Inventory Management
arxiv.org·4d
👁️System Observability
What is the Best Coding Agent?
dolthub.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
GarageMinder: Automatic Garage Door
hackaday.com·1d
🧱Immutable Infrastructure
Deploying AI to prod at enterprises is a largely unsolved problem
credal.ai·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Ask HN: How to engage community before open-sourcing, and how to license?
news.ycombinator.com·3d·
Discuss: Hacker News
📦Unikernel Systems
3S-Attack: Spatial, Spectral and Semantic Invisible Backdoor Attack Against DNN Models
arxiv.org·4d
🌐NetworkProtocols
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·2d
🔄Finite State Machines
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·5d·
Discuss: Hacker News
👁️System Observability
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·3d
🔬Unikernels
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·3d
🔤DSLs