HN Top Links - Popular Stories from Hacker News

21391.

Learn Lean (Lang for Math Proof) from a Programmer's Perspective (dataisland.org)

2 points by dataisland99 4 weeks ago | 0 comments

21392.

Show HN: Telegram-Archive – Own your chat history (github.com)

2 points by geiser 4 weeks ago | 0 comments

21393.

Notification Underload (zuma9pt5.com)

2 points by todsacerdoti 4 weeks ago | 0 comments

21394.

Show HN: LibPDF – The PDF library for TypeScript that I needed (github.com)

2 points by xenni 4 weeks ago | 0 comments

21395.

I made a website that has unlimited memory for chat GPT and Claude coding (thetoolswebsite.com)

2 points by DylanWain 1 month ago | 0 comments

21396.

Show HN: I tried beating the stock market with Gemini 2.5 for 2025 (youtube.com)

2 points by tommyjepsen 4 weeks ago | 0 comments

21397.

Output and Organizing (pixelpaperyarn.rocks)

2 points by mooreds 4 weeks ago | 0 comments

21398.

Ask HN: Is OpenAI double-charging you lately?

2 points by sebastiennight 4 weeks ago | 0 comments

21399.

Show HN: Cloudness – An open-source tool to deploy and run apps on Kubernetes

2 points by Karthik_N 4 weeks ago | 0 comments

21400.

ESR on LLM Coding (twitter.com)

2 points by tiahura 1 month ago | 0 comments

21401.

FOSDEM 2012 Schedule Chart (rgbcu.be)

2 points by RGBCube 1 month ago | 0 comments

21402.

Stratus VOS (en.wikipedia.org)

2 points by doener 1 month ago | 0 comments

21403.

Was serving GPT-5 profitable? (twitter.com)

2 points by gradus_ad 1 month ago | 0 comments

21404.

KiteSQL: Rust-native embedded SQL with TPC-C benchmarks and WASM support (github.com)

2 points by Jacques2Marais 4 weeks ago | 0 comments

21405.

Create App store and Google Play store screenshots with AppLaunchpad (theapplaunchpad.com)

2 points by applaunchpad 4 weeks ago | 0 comments

21406.

Microbiological quality of drinking water from water dispensers (aimspress.com)

2 points by PaulHoule 4 weeks ago | 0 comments

21407.

Something that I used to love (andreapivetta.com)

2 points by ziggy42 4 weeks ago | 0 comments

21408.

The Fancy Payment Cards of Taiwan (hackaday.com)

2 points by lxm 4 weeks ago | 0 comments

21409.

Show HN: Heimdall – Open Source Observability Platform for MCP servers and apps (github.com)

2 points by arthurlee 4 weeks ago | 0 comments

21410.

NewsGoat – A terminal-based RSS reader written in Go (github.com)

2 points by zoidb 4 weeks ago | 0 comments

21411.

APFS is case-sensitive on first write and case-insensitive afterwards (pckt.blog)

2 points by cprecioso 4 weeks ago | 0 comments

21412.

Tesla scraps models in pivot to AI (ft.com)

2 points by nutjob2 4 weeks ago | 0 comments

21413.

Finding My Childhood Motherboard (rubenerd.com)

2 points by speckx 4 weeks ago | 0 comments

21414.

Systems and methods for generating language using models trained on code (patents.google.com)

2 points by Olshansky 4 weeks ago | 0 comments

21415.

Networks Hold the Key to a Decades-Old Problem About Waves (quantamagazine.org)

2 points by pseudolus 4 weeks ago | 0 comments

21416.

Ask HN: Research on LLMs Predicting Behavior?

2 points by turth 4 weeks ago | 0 comments

21417.

Welcome to the Chess960v2 Era: An Experiment That Will Change Chess (chess960v2.com)

2 points by lavren1974 4 weeks ago | 0 comments

21418.

Le Pen denies any sense she might have committed a crime over EU funds (japantimes.co.jp)