Statement: The Russell-Einstein Manifesto
pugwash.org·1d·
Discuss: Hacker News
📡Network Protocol Design
Real-Time M-Pesa STK Payments with Cloudflare Durable Objects
blog.devhooks.live·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
I Ditched Docker for Podman (and You Should Too)
codesmash.dev·1d·
Discuss: Hacker News, r/programming
🐳Containerization
Will solo founders be the new normal?
peignoir.medium.com·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Generative AI as a Cybercrime Assistant
schneier.com·2d·
Discuss: Hacker News
📚Automata Learning
Earth observation firms trying to solve latency issue with 'Dynamic Targeting'
spacenews.com·1d·
Discuss: Hacker News
🧗Climbing Tech
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
Beyond Vibe Coding
simonwillison.net·1d·
Discuss: Hacker News
🤖Program Synthesis
“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
The Agent Economy: New Paths to Build and Earn
developer.paypal.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
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·23h
⎈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