🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Researchers quietly planned a major test to dim sunlight, records show
politico.com·14h·
Discuss: Hacker News
🤖Program Synthesis
July 3rd – How We Lost Our Vector Database (and Recovered)
blog.tellsiddh.com·3d·
Discuss: r/programming
🏠HomeLab
Visualize Your Puppet Data in Grafana with the Observability Data Connector
puppet.com·2d·
Discuss: Hacker News
👁️System Observability
Why the United States Should Not Fear a Space Pearl Harbor
lawfaremedia.org·12h·
Discuss: Hacker News
📡Network Protocol Design
Creating a Streaming Iceberg Table in 3 Steps with RisingWave
risingwave.com·2d·
Discuss: Hacker News
📦Unikernel Systems
The Importance of Wasting Time
stephanjoppich.com·22m·
Discuss: Hacker News
🎮Verification Games
I Replaced Obsidian and Emacs Org-Mode with localStorage
htmlsync.io·4d·
Discuss: Hacker News
🔬Unikernels
Put Yourself Out There
denismaciel.com·3h·
Discuss: Hacker News
🍎Apple
SQLite Sync – local-first SQLite extension with built-in network layer
github.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
A Blueprint for Implementing RAG at Scale
thenewstack.io·5d
🔤DSLs
100% AI-built WebDAV client streams 100 GB text, greps in seconds
github.com·4d·
Discuss: Hacker News
❄️Nixified Development
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.org·3d
✓Automated Theorem Proving
2025 One Hertz Challenge: RPI TinynumberHat9
hackaday.com·5h
💾Retro Computing
DevlogOS – A Lightweight DevOps OS That Traces Developer Intent
github.com·5d·
Discuss: Hacker News
⎈Kubernetes
The TEA-ASLP System for Multilingual Conversational Speech Recognition and Speech Diarization in MLC-SLM 2025 Challenge
arxiv.org·2d
🔤DSLs
I co-authored books with GPT. It became more than a mirror
news.ycombinator.com·4d·
Discuss: Hacker News
🐫OCaml
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·6d
➡️Category Theory
Startup Claims up to 100x Better Embedded Computing Efficiency
spectrum.ieee.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Support Copilot
github.com·1d·
Discuss: Hacker News
🍎Apple
Power Usage Analysis for 10GBase-T SFP+ transceivers
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels