My Pi 4B homelab taught me more about infrastructure than any course ever did
dataengineeringtoolkit.substack.com·1d·
Discuss: r/homelab
🏠HomeLab
Clever Cloud: The New Linux, Static, and V runtimes
clever-cloud.com·20h·
Discuss: r/programming
🔬Unikernels
Happy 20th birthday Django! Here's my talk on Django Origins from Django's 10th
simonwillison.net·2d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Quick notes from the GStreamer Spring Hackfest 2025
collabora.com·9h·
Discuss: Hacker News
🔬Unikernels
Voxtral
mistral.ai·4h·
Discuss: Hacker News
🐫Embedded OCaml
Perplexity's Comet AI browser, I like where it's going (but it's not there yet)
zdnet.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Prompt Injection in LLM-Driven Systems
blog.gopenai.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Augmented Engineering: How Shopify Tackles Large-Scale Problems With AI
aviator.co·5h·
Discuss: r/programming
🔄Reproducible Builds
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·4d·
Discuss: Hacker News
🌐NetworkProtocols
I want to make just a few key containers highly available, and I want advice on how it'd be possible with the less suck
reddit.com·8h·
Discuss: r/homelab
⎈Kubernetes
A closer look at the Model Context Protocol
jan.scheffczyk.page·3d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
Why the 40-yr old GNU's free and open, but not open-source
techhq.com·12h·
Discuss: Hacker News
🔬Unikernels
Types are Transforming Python
spin.atomicobject.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
On Trustworthy Rule-Based Models and Explanations
arxiv.org·4d
✓Automated Theorem Proving
What Factors Affect LLMs and RLLMs in Financial Question Answering?
arxiv.org·1d
✓Automated Theorem Proving
Entity-Specific Cyber Risk Assessment using InsurTech Empowered Risk Factors
arxiv.org·1d
🖥️Self-hosted Infrastructure
Cognitive Dissonance Artificial Intelligence (CD-AI): The Mind at War with Itself. Harnessing Discomfort to Sharpen Critical Thinking
arxiv.org·15h
✓Automated Theorem Proving
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: DataFlow: makes LLM data processing fast, powerful, and EASY
github.com·1d·
Discuss: Hacker News
🔤DSLs
Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source
news.ycombinator.com·2d·
Discuss: Hacker News
📦Unikernel Systems