The Salesloft-Drift Breach: Analyzing the Biggest SaaS Breach of 2025
reco.ai·35m·
Discuss: Hacker News
👁️System Observability
I Ditched Docker for Podman (and You Should Too)
codesmash.dev·1d·
Discuss: Hacker News, r/programming
🐳Containerization
The Binomial Trap: Why 99% Reliability Still Fails Users
michaelyaroshefsky.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Will solo founders be the new normal?
peignoir.medium.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Wayland. (Budgie Desktop, 2023)
buddiesofbudgie.org·3h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
NixOS Is the Endgame of Distrohopping
joshblais.com·1d·
Discuss: Lobsters, Hacker News
❄️Nix
Show HN: We started a no-bs engineering company
eilbek-research.de·5d·
Discuss: Hacker News
📡Network Protocol Design
Quantum-Centric Supercomputing
ibm.com·1d·
Discuss: Hacker News
💾Retro Computing
Climbing on the next level in homelabing
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
An intrusion detection system in internet of things using grasshopper optimization algorithm and machine learning algorithms
arxiv.org·3d
📊Runtime Verification
Should Your Team Be Vibe Coding?
thenewstack.io·1d
🔄Reproducible Builds
“I'd accepted losing my husband, until others started getting theirs back”
lesswrong.com·2d
💾Retro Computing
VSLLaVA: a pipeline of large multimodal foundation model for industrial vibration signal analysis
arxiv.org·3d
👁️System Observability
Introducing LCOAI: A Standardized Economic Metric for Evaluating AI Deployment Costs
arxiv.org·2d
👁️System Observability
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·2d
🛡️seL4
Acrobotics: A Generalist Approahc To Quadrupedal Robots' Parkour
arxiv.org·2d
📚Automata Learning
Approximate constrained stochastic optimal control via parameterized input inference
arxiv.org·2d
🔄Finite State Machines
Kubernetes Primer: Dynamic Resource Allocation (DRA) for GPU Workloads
thenewstack.io·1d
⎈Kubernetes
Safe and Efficient Lane-Changing for Autonomous Vehicles: An Improved Double Quintic Polynomial Approach with Time-to-Collision Evaluation
arxiv.org·3d
🔄Finite State Machines
Formal Verification of Isothermal Chemical Reactors
arxiv.org·3d
🧠Automated Reasoning