🏠 HomeLab

Self-Hosting, Server Setup, Hardware Configuration, Network Architecture

After managing 50+ security breaches, I documented our incident response framework with ready to use forensic scripts
ncse.info·2d·
Discuss: r/programming
📡Network Protocol Design
AI the Ripper
hugston.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Sell Yourself Well – What Soham Parekh Can Teach Us
fldr.zip·1d·
Discuss: Hacker News
🛡️seL4
How to build a new chip architecture, ft. Nvidia
chipinsights.substack.com·2d·
Discuss: Substack
⚙️Operating System Design
Zero-cost statics in C++
cofault.com·1d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Dev Setup - dbt Core 1.9.0 with Airflow 3.0 Orchestration
reddit.com·3d·
Discuss: r/programming
⎈Kubernetes
Things Not to Learn as an AI Engineer – By Paul Iusztin
decodingml.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Introducing PooLA Filament: Grass Fiber-Reinforced PLA
hackaday.com·20h
⚙️PL Implementation
Will HP Create a Carfax System For PCs?
hackaday.com·11h
💾Retro Computing
Properties of Quasi-synchronization Time of High-dimensional Hegselmann-Krause Dynamics
arxiv.org·18h
➡️Category Theory
Show HN: A Raycast-compatible launcher for Linux
github.com·2d·
Discuss: Hacker News, r/linux
🍎XNU Internals
Agentic Large Language Models for Conceptual Systems Engineering and Design
arxiv.org·1d
🤖Program Synthesis
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·4d·
Discuss: r/programming
❄️Nixified Development
MoCap-Impute: A Comprehensive Benchmark and Comparative Analysis of Imputation Methods for IMU-based Motion Capture Data
arxiv.org·18h
🔠Type-Level Programming
Meta Superintelligence – Leadership Compute, Talent, and Data
semianalysis.com·4d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
S2SRec2: Set-to-Set Recommendation for Basket Completion with Recipe
arxiv.org·18h
🔠Type-Level Programming
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·2d·
Discuss: Hacker News
🐫OCaml
Node.js Interview Q&A: Day 19
medium.com·2d·
Discuss: r/programming
🛡️seL4
Deep Neural Network Based Accelerated Failure Time Models using Rank Loss
arxiv.org·18h
👁️System Observability