Dependency hell is NP-complete
research.swtch.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Terraform: Replacing Tfstate with Import Blocks
daydreamunicorn.com·1d·
Discuss: Hacker News
⎈Kubernetes
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·18h·
Discuss: Hacker News
➡️Category Theory
Texas ignores climate change at our own peril
expressnews.com·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I have a hard time to figure out a proper DNS setup
mydomain.com·14h·
Discuss: r/homelab
📡Network Protocol Design
Sail 0.3: a Rust-Based Spark Replacement That Runs 4x Faster at 6% the Cost
lakesail.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·19h·
Discuss: Hacker News
👁️System Observability
Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Open Source, Hidden Costs: A Systematic Literature Review on OSS License Management
arxiv.org·3d
📦Unikernel Systems
Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec
database-doctor.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🐫OCaml
Bastille 1.0 – Bastille Day 2025
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·1d
🐫OCaml
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·3d
📦Unikernel Systems
AI Tools Are Not Time Machines
trunk.io·11h·
Discuss: Hacker News
👁️System Observability
My uhhh Mini Rack.... Introducing Jcorp Nomad: An itty bitty Media Server
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·14h·
Discuss: Hacker News
🔬Unikernels
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·3d
🔄Reproducible Builds
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·2d
🤖Program Synthesis
Thank you for calling Web Dev. How may we complicate things for you?
newslttrs.com·1d·
Discuss: Hacker News
⚙️PL Implementation