A Fast Tour de France—No Doping Required
theatlantic.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Split Flap
fx.hot.page·1d·
Discuss: Lobsters, Hacker News
🔄Finite State Machines
Guide to PDF security
unicornforms.com·3d·
Discuss: Hacker News
🛡️seL4
Sonos Appoints Tom Conrad as Chief Executive Officer
sonos.com·4d·
Discuss: Hacker News
🍎Apple
'Crash-Proof' Hybrid Drone Can Move Between Flight and Ground Operation
thedebrief.org·2d·
Discuss: Hacker News
🧗Climbing Tech
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·6d·
Discuss: Substack
🎮Verification Games
v4.0 Beta 1 Now Available
shirtpocket.com·2d·
Discuss: Hacker News
❄️Nixified Development
Never write your own Date Parsing Library
zachleat.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
How to Invent Defense Products (2022)
vannevarlabs.com·6d·
Discuss: Hacker News
👁️System Observability
Critical SharePoint Zero-Day (CVE-2025-53770) Under Active Exploitation
cisa.gov·6d·
Discuss: Hacker News
🛡️seL4
Serverless single tenant RAG with DuckDB
summer.io·4d·
Discuss: Hacker News
📦Unikernel Systems
Building an SDK Generator: Maintaining Custom Files
sideko.dev·3d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Add a multi-step form/wizard to your Rails app
railsdesigner.com·3d·
Discuss: Hacker News
🍎Apple
Journal of Articles in Support of the Null Hypothesis
jasnh.com·2d·
Discuss: Hacker News
🎮Verification Games
Agentic AI framework for End-to-End Medical Data Inference
arxiv.org·2d
✓Automated Theorem Proving
Differential-UMamba: Rethinking Tumor Segmentation Under Limited Data Scenarios
arxiv.org·2d
💻CS
ResidualPlanner+: a scalable matrix mechanism for marginals and beyond
arxiv.org·3d
🔄Reproducible Builds
Information Entropy-Based Framework for Quantifying Tortuosity in Meibomian Gland Uneven Atrophy
arxiv.org·2d
➡️Category Theory
Enhancing Natural Language Inference Performance with Knowledge Graph for COVID-19 Automated Fact-Checking in Indonesian Language
arxiv.org·5d
✓Automated Theorem Proving
DL580 Gen9 - My new (to me) number cruncher!
reddit.com·3d·
Discuss: r/homelab
💾Retro Computing