🏔️ climbing

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

AI Agents for Freight Brokers
kolank.ai·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Eye blink frequency variation and executive function enhancement from exercise
jphysiolanthropol.biomedcentral.com·1d·
Discuss: Hacker News
🏹Effect Systems
Capturing the International Space Station (2022)
cosmicbackground.io·4d·
Discuss: Hacker News
🧗Climbing Tech
Apple’s Browser Engine Ban Persists, Even Under the DMA
open-web-advocacy.org·10h·
Discuss: Hacker News
🍎Apple
A Ranking of Time Travel Stories by Illuminati Ganga
medium.com·1d·
Discuss: Hacker News
💾Retro Computing
Grok 4
x.ai·2d·
Discuss: Hacker News
🎮Verification Games
Why Children Behave the Way They Do
domofutu.substack.com·2h·
Discuss: Substack
🔠Type-Level Programming
Show HN: CMS-like editing for Markdown with and some JavaScript
mattismegevand.com·17h·
Discuss: Hacker News
🏹Effect Systems
Show HN: Refine – A Local Alternative to Grammarly
refine.sh·5h·
Discuss: Hacker News
🍎Apple
Ralph Wiggins as a "Software Engineer"
ghuntley.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Temporal Motifs for Financial Networks: A Study on Mercari, JPMC, and Venmo Platforms
arxiv.org·6h
🔄Finite State Machines
Reflecting on PLDI 2025
people.csail.mit.edu·18h·
Discuss: Hacker News
⚙️PL Implementation
Hilbert spaces, Ricci traces: the singularity we should attend to
news.ycombinator.com·2d·
Discuss: Hacker News
🏹Effect Systems
I need help with building my first homelab since chatgpt or anyone else doesn't respond
reddit.com·37m·
Discuss: r/homelab
🏠HomeLab
A modular, LLM-agnostic fullstack agent framework
github.com·16h·
Discuss: Hacker News
🐫OCaml
Leveraging Large Language Models for Classifying App Users' Feedback
arxiv.org·6h
🎮Verification Games
Doing More Is Often Easier
raptitude.com·4d·
Discuss: Hacker News
🧗Climbing Tech
Book Review: The Laws of Trading
astralcodexten.com·14h·
Discuss: Hacker News
🎮Verification Games
Secrecy Offloading Analysis of UAV-assisted NOMA-MEC Incorporating WPT in IoT Networks
arxiv.org·6h
📡Network Protocol Design
uncertainty is an evocative state
startingfromnix.com·1d·
Discuss: Hacker News
➡️Category Theory