🛡️ 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
Through The Liquid Glass
flarup.email·2d·
Discuss: Hacker News
🍎Apple
More Than Code
deadprogrammersociety.com·3d·
Discuss: Hacker News
🔬Static Analysis
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
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·6d
➡️Category Theory
NAS + Server: EliteDesk G5 SFF i5 vs. AOOStar WTR Pro N150
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
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
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·5d
🐫Embedded OCaml
I co-authored books with GPT. It became more than a mirror
news.ycombinator.com·4d·
Discuss: Hacker News
🐫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
Speaker Disentanglement of Speech Pre-trained Model Based on Interpretability
arxiv.org·2d
🐫OCaml
When Noisy Labels Meet Class Imbalance on Graphs: A Graph Augmentation Method with LLM and Pseudo Label
arxiv.org·2d
🎮Verification Games
Evaluating Artificial Intelligence Algorithms for the Standardization of Transtibial Prosthetic Socket Shape Design
arxiv.org·3d
🔠Type-Level Programming