A Fast Tour de France—No Doping Required
theatlantic.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Wero Wallet
wero-wallet.eu·2d·
Discuss: Hacker News
🍎Apple
Guide to PDF security
unicornforms.com·3d·
Discuss: Hacker News
🛡️seL4
'Crash-Proof' Hybrid Drone Can Move Between Flight and Ground Operation
thedebrief.org·1d·
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
How to Invent Defense Products (2022)
vannevarlabs.com·5d·
Discuss: Hacker News
👁️System Observability
Don’t estimate during meetings with pushy clients — pause instead
read.perspectiveship.com·2d·
Discuss: r/programming
👁️System Observability
Never write your own Date Parsing Library
zachleat.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Building an SDK Generator: Maintaining Custom Files
sideko.dev·3d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Journal of Articles in Support of the Null Hypothesis
jasnh.com·2d·
Discuss: Hacker News
🎮Verification Games
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
Microsoft’s AI CEO thinks Copilot will age and ‘have a room that it lives in’
theverge.com·2d·
Discuss: Hacker News, r/technews
👁️System Observability
Dual Turing Test: A Framework for Detecting and Mitigating Undetectable AI
arxiv.org·4d
🎮Verification Games
Been running Nextcloud for a year, but Seafile is looking tempting. Thoughts?
reddit.com·4d·
Discuss: r/homelab
⎈Kubernetes
FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
arxiv.org·2d
🐫OCaml
Engineers Are Finally Ditching the Accessibility Checkbox
thenewstack.io·4d
👁️System Observability