Semantic vs Date Versions
tglman.com·3d·
Discuss: Hacker News
❄️Nixified Development
Call Center Staffing Calculator
callcentercalculator.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Supply chains and watering holes
cryptography.dog·4d·
Discuss: Lobsters
💎Refinement Types
Atlassian just announced they’re sunsetting Data Center by 2029.
nextcloud.com·3d·
🖥Self-Hosting
Beyond Vibe Coded AI Slop: Agentic Workflows For Professionals
medium.com·3d·
Discuss: r/programming
🤖Program Synthesis
Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·4d·
Discuss: r/homelab
🏠HomeLab
"Where *is* my money?" On the brittleness of the financial system (mrmcd25)
cdn.media.ccc.de·1d
🔧Unikernel Development
Work in progress
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
Eat Your Vegetables Before AI Dessert
writings.alethia.news·4d·
Discuss: Hacker News
🩹Self-Healing Systems
Kubernetes v1.34: Mutable CSI Node Allocatable Graduates to Beta
kubernetes.io·2d
Kubernetes
Bring back your old Mac: 5 ways to refresh the OS on elderly Apples
theregister.com·21h·
Discuss: Hacker News
📺Vintage Apple
Trying to figure out the best data pool design
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·4d·
Discuss: r/programming
📊Runtime Verification
No, AI won’t take all the jobs. Here’s why.
freethink.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Advice: Upgrade my i7-9700K for homelab, or build new rack server?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com·4d·
Discuss: r/programming
🔄Reproducible Builds
FoundationalECGNet: A Lightweight Foundational Model for ECG-based Multitask Cardiac Analysis
arxiv.org·2d
🔬Static Analysis
Recently inherited this rack
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Mechanistic Learning with Guided Diffusion Models to Predict Spatio-Temporal Brain Tumor Growth
arxiv.org·2d
🧩Separation Logic
Depth-Bounded Epistemic Planning
arxiv.org·3d
🧩Separation Logic