🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

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
Creating a Streaming Iceberg Table in 3 Steps with RisingWave
risingwave.com·2d·
Discuss: Hacker News
📦Unikernel Systems
The "computer janitor" of the Manhattan project
allaboutcircuits.com·1d·
Discuss: Hacker News
💾Retro Computing
I Replaced Obsidian and Emacs Org-Mode with localStorage
htmlsync.io·4d·
Discuss: Hacker News
🔬Unikernels
Mocha 1.0
getmocha.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
More Than Code
deadprogrammersociety.com·2d·
Discuss: Hacker News
🔬Static Analysis
[$] Graphene OS: a security-enhanced Android build
lwn.net·3d·
Discuss: Hacker News
🔬Unikernels
10 Shots at Building AI
thejackobrien.com·6d·
Discuss: Hacker News
🔬Unikernels
SQLite Sync – local-first SQLite extension with built-in network layer
github.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Agentic Coding Is A Fundamental Shift
saewitz.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Power Usage Analysis for 10GBase-T SFP+ transceivers
reddit.com·22h·
Discuss: r/homelab
🔬Unikernels
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·5d
🐫Embedded OCaml
Q&A: Snowflake Analytics Chief on Centralizing Data for AI
thenewstack.io·4d
🖥️Self-hosted Infrastructure
SynC: Synthetic Image Caption Dataset Refinement with One-to-many Mapping for Zero-shot Image Captioning
arxiv.org·2d
➡️Category Theory
When Noisy Labels Meet Class Imbalance on Graphs: A Graph Augmentation Method with LLM and Pseudo Label
arxiv.org·2d
🎮Verification Games
Speaker Disentanglement of Speech Pre-trained Model Based on Interpretability
arxiv.org·2d
🐫OCaml
Making Sense of Hanlon's Razor
domofutu.substack.com·4d·
Discuss: Substack
➡️Category Theory
Evaluating Artificial Intelligence Algorithms for the Standardization of Transtibial Prosthetic Socket Shape Design
arxiv.org·3d
🔠Type-Level Programming
SETOL: A Semi-Empirical Theory of (Deep) Learning
arxiv.org·2d·
Discuss: Hacker News
➡️Category Theory