Semantic vs Date Versions
tglman.com·4d·
Discuss: Hacker News
❄️Nixified Development
Payment System Vendor Took Year+ to Patch Infinite Card Top-Up Hack
securityweek.com·19h·
Discuss: Hacker News
🔧Unikernel Development
Call Center Staffing Calculator
callcentercalculator.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·5d
🔍Formal Verification
Supply chains and watering holes
cryptography.dog·5d·
Discuss: Lobsters
💎Refinement Types
Atlassian just announced they’re sunsetting Data Center by 2029.
nextcloud.com·5d·
Discuss: Hacker News, r/selfhosted
🖥Self-Hosting
Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·5d·
Discuss: r/homelab
🏠HomeLab
"Where *is* my money?" On the brittleness of the financial system (mrmcd25)
cdn.media.ccc.de·2d
🔧Unikernel Development
Eat Your Vegetables Before AI Dessert
writings.alethia.news·5d·
Discuss: Hacker News
🩹Self-Healing Systems
Bring back your old Mac: 5 ways to refresh the OS on elderly Apples
theregister.com·1d·
Discuss: Hacker News
📺Vintage Apple
Trying to figure out the best data pool design
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·5d·
Discuss: r/programming
📊Runtime Verification
No, AI won’t take all the jobs. Here’s why.
freethink.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Advice: Upgrade my i7-9700K for homelab, or build new rack server?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com·5d·
Discuss: r/programming
🔄Reproducible Builds
Question when moving from pfSense to UDM Pro Max: Firewall rules, Zone Based Firewall and VLANs
reddit.com·2d·
Discuss: r/homelab
🖥Self-Hosting
FoundationalECGNet: A Lightweight Foundational Model for ECG-based Multitask Cardiac Analysis
arxiv.org·3d
🔬Static Analysis
Recently inherited this rack
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Show HN: Kaset — Embed Coding Agents Directly in Your Web App
medium.com·6d·
Discuss: Hacker News
🐳Containerization
Mechanistic Learning with Guided Diffusion Models to Predict Spatio-Temporal Brain Tumor Growth
arxiv.org·3d
🧩Separation Logic