🏔️ climbing

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

Man has shoes tattooed onto his feet because he's 'tired of paying' for new ones
mirror.co.uk·13h·
Discuss: Hacker News
➡️Category Theory
Piano Keys
mathpages.com·1d·
Discuss: Hacker News
💻CS
I want an iPhone Mini-sized Android phone (2022)
smallandroidphone.com·12h·
Discuss: Hacker News
🍎Apple
Oracle Java users turning to open source after frequent audits and pricing hikes
techradar.com·16h·
Discuss: Hacker News
📦Unikernel Systems
Six Years of Gemini
geminiprotocol.net·1d·
Discuss: Hacker News
📦Unikernel Systems
How Eurostack could offer Canada a route to digital independence from the United States
theconversation.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Gradual negation types and the Python type system
jellezijlstra.github.io·2h·
Discuss: Hacker News
🔠Type-Level Programming
An Etymological Knockout
blog.oup.com·14h·
Discuss: Hacker News
➡️Category Theory
Videos From the Amazon Reveal an Unexpected Animal Friendship
nytimes.com·1d·
Discuss: Hacker News
🍎Apple
NixOS: Declarative Management, Imperative Privilege Escalation
labs.snyk.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
OpenAI Vulnerability: 48 Days, No Response
requilence.any.org·1d·
Discuss: Hacker News
👁️System Observability
Shopify makes AI usage a baseline expectation as a company
firstround.com·1d·
Discuss: Hacker News
🍎Apple
Wi-Fi: Twenty-Five Years and Counting
arxiv.org·2d
📡Network Protocol Design
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·15h·
Discuss: Hacker News
🤖Program Synthesis
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·1d
➡️Category Theory
Maneuver Detection via a Confidence Dominance Maneuver Indicator
arxiv.org·3d
✓Automated Theorem Proving
My disaster of a Monday
i.redd.it·16h·
Discuss: r/homelab
🍎Apple
CIRP: AirPods regain market share, but overall growth stalls
9to5mac.com·12h
🍎Apple
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·1d
🐫OCaml
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·2d
🔤DSLs