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
Supply chains and watering holes
cryptography.dog·2d·
Discuss: Lobsters
💎Refinement Types
Atlassian just announced they’re sunsetting Data Center by 2029.
nextcloud.com·2d·
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
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·1d
🤖Program Synthesis
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
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·1d·
Discuss: Hacker News
🏹Effect Systems
The Great Homelab Migration of 2025
reddit.com·18h·
Discuss: r/homelab
🏠HomeLab
AI Coding
geohot.github.io·19h·
Discuss: Hacker News
📚Automata Learning
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·13h
⎈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
Advice Needed: Migrating 2.4TB from Google Photos & OneDrive to Immich
reddit.com·16h·
Discuss: r/homelab
🐳Containerization