🏔️ climbing

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

Tour de force: Vivaldi and Renault team up for the best on-road experience
vivaldi.com·22h·
Discuss: Hacker News
📦Unikernel Systems
International Treaty on Plant Genetic Resources for Food and Agriculture
fao.org·8h·
Discuss: Hacker News
📡Network Protocol Design
International students have a rough time: "I do not feel supported"
study-from-here.com·1d·
Discuss: Hacker News
💻CS
Waabi's Mixed Reality Testing Pushes the Boundaries of AV Safety
waabi.ai·5h·
Discuss: Hacker News
🧪Property-Based Testing
Part 2–An Introduction to Tribalism for the Modern World that has Forgotten it
sustainableviews.substack.com·6h·
Discuss: Substack
🖥️Self-hosted Infrastructure
2025 is 4th consecutive year of record fossil fuel demand
energyinst.org·6h·
Discuss: Hacker News
📡Network Protocol Design
What birdsong and backends can teach us about magic
digitalseams.com·2d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
First Feedback Filter–reducing regret in responding to negative feedback
tidyfirst.substack.com·9h·
Discuss: Substack
🍎Apple
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·7h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
How Hype Works; What LLMs have in common with genetics
blog.kierangill.xyz·11h·
Discuss: Hacker News
🎮Verification Games
Edsger W. Dijkstra on IPW's
cs.utexas.edu·3h·
Discuss: Hacker News
💾Retro Computing
From the Tensor to the Transformer: Building the AI stack from first principles
github.com·2d·
Discuss: Hacker News
🏹Effect Systems
Polygonal Obstacle Avoidance Combining Model Predictive Control and Fuzzy Logic
arxiv.org·19h
🤖Program Synthesis
An Open-Concept 3D Printer Using Cantilever Arms
hackaday.com·2d
📦Unikernel Systems
BENYO-S2ST-Corpus-1: A Bilingual English-to-Yoruba Direct Speech-to-Speech Translation Corpus
arxiv.org·19h
🐫OCaml
Show HN: Free Chrome extension to right-click text to your favorite AI chat
github.com·13h·
Discuss: Hacker News
🍎Apple
MoCap-Impute: A Comprehensive Benchmark and Comparative Analysis of Imputation Methods for IMU-based Motion Capture Data
arxiv.org·19h
🔠Type-Level Programming
Show HN: Flowrite – Why I built a songwriting app instead of paying subs
github.com·4h·
Discuss: Hacker News
🔬Unikernels
ToMacVF : Temporal Macro-action Value Factorization for Asynchronous Multi-Agent Reinforcement Learning
arxiv.org·19h
🔄Finite State Machines
Simple off the shelf NAS reccomendations?
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels