🏠 HomeLab

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

Why Doesn't the US Use 220V Like Everyone Else in the World? (2021)
kathylovesphysics.com·1d·
Discuss: Hacker News
🍎Apple
A Price Just for You, Specifically
nytimes.com·6h·
Discuss: Hacker News
🍎Apple
Chaotic AI Tool Pricing: Limits Cut, Token Metering
forgecode.dev·3d·
Discuss: r/programming
👁️System Observability
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com·2d·
Discuss: Hacker News
🍎Apple
Agents Are Not Tools
discuss.google.dev·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Evolution of HTTP
developer.mozilla.org·3d·
Discuss: Hacker News
📡Network Protocol Design
Utopia on Fast Forward: Why Accelerating AI Skips over the Plumbing
rijama.substack.com·2d·
Discuss: Substack
🔬Unikernels
The Magic at the Heart of Quantum Computers Has Finally Worked
popularmechanics.com·3d·
Discuss: Hacker News
💾Retro Computing
Brits can get around Discord's age verification thanks to Death Stranding's photo mode, bypassing the measure introduced with the UK's Online Safety Act
pcgamer.com·1d·
Discuss: Hacker News, r/TwoBestFriendsPlay
🎮Verification Games
Machine Learning. Literally.
trivialorwrong.com·4d·
Discuss: Hacker News
⚙️Operating System Design
AI could soon think in ways we don't even understand — evading our efforts to keep it aligned — top AI scientists warn
livescience.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
10 Shots at Building AI
thejackobrien.com·5d·
Discuss: Hacker News
🔬Unikernels
The vibe coder's career path is doomed
blog.florianherrengt.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Quantifying the ROI of Cyber Threat Intelligence: A Data-Driven Approach
arxiv.org·2d
✓Automated Theorem Proving
TDR: Task-Decoupled Retrieval with Fine-Grained LLM Feedback for In-Context Learning
arxiv.org·1d
✓Automated Theorem Proving
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.org·2d
🎮Verification Games
Bob's Confetti: Phonetic Memorization Attacks in Music and Video Generation
arxiv.org·1d
🐫OCaml
Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theory
arxiv.org·1d
✓Automated Theorem Proving
SFNet: A Spatio-Frequency Domain Deep Learning Network for Efficient Alzheimer's Disease Diagnosis
arxiv.org·3d
💾Retro Computing
Multimodal Recurrent Ensembles for Predicting Brain Responses to Naturalistic Movies (Algonauts 2025)
arxiv.org·1d
🏹Effect Systems