Semantic vs Date Versions
tglman.com·1d·
Discuss: Hacker News
❄️Nixified Development
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·2d
🔍Formal Verification
Report on Burnout in Open Source Software
mirandaheath.website·15h·
Discuss: Hacker News
🩹Self-Healing Systems
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·2d·
Discuss: Hacker News
💾Retro Computing
Supply chains and watering holes
cryptography.dog·2d·
Discuss: Lobsters
💎Refinement Types
Atlassian just announced they’re sunsetting Data Center by 2029.
nextcloud.com·1d·
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·2d·
Discuss: r/homelab
🏠HomeLab
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·14h
📚Automata Learning
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·1d
🤖Program Synthesis
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·1d·
Discuss: Hacker News
📦Unikernel Systems
1.0 release of the Google Cloud client libraries for Rust
github.com·2d·
Discuss: Hacker News, r/rust
🔄Reproducible Builds
I created waveFiller – an animated bucket fill effect for the HTML 5 canvas
github.com·22h·
Discuss: Hacker News
🏹Effect Systems
The Great Homelab Migration of 2025
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·1d
📚Automata Learning
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·1d
🧩Separation Logic
How Maintainer Burnout Is Causing a Kubernetes Security Disaster
thenewstack.io·10h
⎈Kubernetes
gcloud MCP Server: Seamless Integration with GCP Resources for AI agents
github.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rust's Enterprise Breakthrough Year
rust-trends.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Generative Quasi-Continuum Modeling of Confined Fluids at the Nanoscale
arxiv.org·1d
🐳Containerization