HN Top Links - Popular Stories from Hacker News

7771.

Show HN: Formalizing Principia Mathematica using Lean (github.com)

188 points by ndrwnaguib 11 months ago | 34 comments

7772.

Show HN: Fixing Google Nano Banana Pixel Art with Rust (github.com)

188 points by HugoDz 4 months ago | 34 comments

7773.

Cheating the Reaper in Go (mcyoung.xyz)

188 points by ingve on Apr 21, 2025 | 32 comments

7774.

My other email client is a daemon (feyor.sh)

188 points by aebtebeten 8 months ago | 29 comments

7775.

Apple's Cubify Anything: Scaling Indoor 3D Object Detection (github.com)

188 points by Tycho87 on Mar 31, 2025 | 27 comments

7776.

The Book of Shaders (2015) (thebookofshaders.com)

188 points by max_ 9 months ago | 24 comments

7777.

JTAG 'Hacking' the Original Xbox in 2023 (blog.ret2.io)

188 points by transpute on Jan 16, 2025 | 21 comments

7778.

Mini-R1: Reproduce DeepSeek R1 "Aha Moment" (philschmid.de)

188 points by jonbaer on Jan 31, 2025 | 15 comments

7779.

Ask HN: Who wants to be hired? (March 2025)

187 points by whoishiring on Mar 3, 2025 | 511 comments

7780.

Solar-plus-storage technology is improving quickly (volts.wtf)

187 points by mooreds 9 months ago | 297 comments

7781.

Signal – An Ethical Replacement for WhatsApp (greenstarsproject.org)

187 points by miles 10 months ago | 281 comments

7782.

Ensuring a National Policy Framework for Artificial Intelligence (whitehouse.gov)

187 points by andsoitis 4 months ago | 266 comments

7783.

What do people see when they're tripping? Analyzing Erowid's trip reports (themicrodose.substack.com)

187 points by cainxinth on Feb 25, 2025 | 262 comments

7784.

Ofcom fines 4chan £20K and counting for violating UK's Online Safety Act (theregister.com)

187 points by klez 6 months ago | 244 comments

7785.

Passkeys and Modern Authentication (lucumr.pocoo.org)

187 points by Bogdanp 7 months ago | 204 comments

7786.

It's five grand a day to miss our S3 exit (world.hey.com)

187 points by ksec on Mar 27, 2025 | 176 comments

7787.

The Blowtorch Theory: A new model for structure formation in the universe (theeggandtherock.com)

187 points by surprisetalk 10 months ago | 170 comments

7788.

Show HN: Fresh – A new terminal editor built in Rust (sinelaw.github.io)

187 points by _sinelaw_ 4 months ago | 150 comments

7789.

The magic of through running (worksinprogress.news)

187 points by ortegaygasset 10 months ago | 134 comments

7790.

When someone says they hate your product (getflack.com)

187 points by jger15 3 months ago | 128 comments

7791.

Musk aides lock government workers out of computer systems at US agency (reuters.com)

187 points by danso on Jan 31, 2025 | 125 comments

7792.

Yes, Claude Code can decompile itself. Here's the source code (ghuntley.com)

187 points by ghuntley on Mar 1, 2025 | 117 comments

7793.

Candy Crush, Tinder, MyFitnessPal: Apps hijacked to spy on location (wired.com)

187 points by gnabgib on Jan 10, 2025 | 108 comments

7794.

Meta and TikTok are obstructing researchers' access to data, EU commission rules (science.org)

187 points by anigbrowl 5 months ago | 107 comments

7795.

The Hobby Computer Culture (technicshistory.com)

187 points by cfmcdonald 10 months ago | 101 comments

7796.

Show HN: GPT image editing, but for 3D models (adamcad.com)

187 points by zachdive 10 months ago | 86 comments

7797.

Start a computer club in the place that you live (2023) (startacomputer.club)

187 points by gnabgib on Feb 22, 2025 | 83 comments

7798.

AI video you can watch and interact with, in real-time (experience.odyssey.world)

187 points by olivercameron 10 months ago | 82 comments

7799.

Mayo Clinic's secret weapon against AI hallucinations: Reverse RAG in action (venturebeat.com)

187 points by ohjeez on Mar 11, 2025 | 80 comments

7800.

A new Sudoku layout with 81 uniquely shaped cells (danielchasehooper.com)

187 points by dmit on Mar 13, 2025 | 74 comments