Trufi Association brings informal transport reality to UITP 2025 Summit
trufi-association.org·2d·
Discuss: Hacker News
📦Unikernel Systems
New feature: embed archived versions of our interactive charts in your website
ourworldindata.org·2d·
Discuss: Hacker News
🍎Apple
Make Traffic Jams Worthwhile and Decentralized.
reddit.com·5h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Run Node.js frameworks like Express.js natively on Cloudflare Workers
jross.me·1d·
Discuss: Hacker News
⎈Kubernetes
Surgical Rewrite from Go to Rust
wxiaoyun.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·1d·
Discuss: Hacker News
🤖Program Synthesis
Building Income Through LibrePCB: A Personal Story
librepcb.org·2d·
Discuss: Hacker News, r/opensource
🖥️Self-hosted Infrastructure
Control over My Airconditioning/Heatpump
firesphere.dev·3d·
Discuss: Hacker News
🏠HomeLab
Show HN: Belgian parliamentary data, scraped and published
github.com·20h·
Discuss: Hacker News
🐫Embedded OCaml
Debugging Academia: What LaTeX Error Messages Teach Us About Surviving Peer Review
medium.com·3d·
Discuss: r/programming
🔬Static Analysis
Joy & Curiosity #48
registerspill.thorstenball.com·4d·
Discuss: Hacker News
💾Retro Computing
Orchestrating Agentic Coding
brethorsting.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Proxmox Virtual Environment 9.0 with Debian 13 released
proxmox.com·1d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Databricks VP: Don’t Try To Speed AI Evolution Through Brute Force
thenewstack.io·2d
🤖Program Synthesis
Learning Potential Energy Surfaces of Hydrogen Atom Transfer Reactions in Peptides
arxiv.org·3d
✓Automated Theorem Proving
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·2d
✓Automated Theorem Proving
Rethinking Multimodality: Optimizing Multimodal Deep Learning for Biomedical Signal Classification
arxiv.org·2d
💻CS
Trustworthy scientific inference for inverse problems with generative models
arxiv.org·2d
✓Automated Theorem Proving
Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
arxiv.org·2d
💻CS