🏔️ climbing

bouldering, sport climbing, lead climbing, trad climbing, Patagonia

Nearly 800 killed at Gaza food hubs and aid convoy routes since end of May, UN says
theguardian.com·1d·
Discuss: Hacker News
🛡️seL4
UBC Okanagan led team to unlock medieval universal history text
todayinbc.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Sweden: The 101.2% Solution (1976)
time.com·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
NoSurf – Stop wasting life on the net
nosurf.net·3d·
Discuss: Hacker News
💾Retro Computing
Will tropical dry forests survive the next 50 years?
news.mongabay.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
In the Hallowed Place Where There's Only Darkness
vqronline.org·6h·
Discuss: Hacker News
➡️Category Theory
Data processing for particle physics at CERN
computerweekly.com·22h·
Discuss: Hacker News
📦Unikernel Systems
Wrote a deep dive on LLM tool calling with step-by-step REST and Spring AI examples
muthuishere.medium.com·4h·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🔍Formal Verification
Doing More Is Often Easier
raptitude.com·3d·
Discuss: Hacker News
🧗Climbing Tech
New Horizons visited Pluto 10 years ago. We're still learning from it
sciencenews.org·1d·
Discuss: Hacker News
🧗Climbing Tech
uncertainty is an evocative state
startingfromnix.com·19h·
Discuss: Hacker News
➡️Category Theory
Super Easy* 2-Stage Git Deployment
ratfactor.com·18h·
Discuss: Hacker News
❄️Nixified Development
Rize.io Productivity Measurement and Tracking for Your PC or Mac
rize.io·10h·
Discuss: Hacker News
🍎Apple
Show HN: A Scarce Cryptoasset Rooted in Private ETH Destruction
worm.cx·2h·
Discuss: Hacker News
⚙️Operating System Design
Simple live reload for developing static sites
leanrada.com·15h·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
.NET: From Zero to Hero
dotnetz2h.com·3h·
Discuss: Hacker News
🔤DSLs
It's bye for now, and so here are my final thoughts on technology
yukinu.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)
hillspace.justindujardin.com·8h·
Discuss: Hacker News
💻CS
Show HN: I automated code security to help vibe coders from getting busted
elara-app.ai·22h·
Discuss: Hacker News
🛡️seL4
Spending Inference Time
kevinlu.ai·56m·
Discuss: Hacker News
✓Automated Theorem Proving