HN Top Links - Popular Stories from Hacker News

6241.

Why formalize mathematics – more than catching errors (rkirov.github.io)

221 points by birdculture 2 months ago | 75 comments

6242.

Asterinas: A new Linux-compatible kernel project (lwn.net)

221 points by howtofly 6 months ago | 74 comments

6243.

New coding models and integrations (ollama.com)

221 points by meetpateltech 2 months ago | 70 comments

6244.

Learning to Program with Haiku (haiku-os.org)

221 points by nivethan 8 months ago | 64 comments

6245.

Making the video that made Gorillaz (animationobsessive.substack.com)

221 points by darekkay 11 months ago | 58 comments

6246.

Qwen VLo: From “Understanding” the World to “Depicting” It (qwenlm.github.io)

221 points by lnyan 6 months ago | 56 comments

6247.

FoundationDB: From idea to Apple acquisition [video] (youtube.com)

221 points by zdw 5 months ago | 55 comments

6248.

Show HN: Baby's first international landline (wip.tf)

221 points by nbr23 2 months ago | 55 comments

6249.

Scaling HNSWs (antirez.com)

221 points by cyndunlop 1 month ago | 43 comments

6250.

Designing for the Eye: Optical corrections in architecture and typography (nubero.ch)

221 points by ArmageddonIt 5 months ago | 42 comments

6251.

Bagel: Open-source unified multimodal model (bagel-ai.org)

221 points by tosh 7 months ago | 33 comments

6252.

Gate-level simulation of ASIC in browser (znah.net)

221 points by picture 11 months ago | 31 comments

6253.

Tariff: A Python package that imposes tariffs on Python imports (pypi.org)

221 points by khaledh 8 months ago | 29 comments

6254.

Super fast aggregations in PostgreSQL 19 (cybertec-postgresql.com)

221 points by jnord 1 month ago | 28 comments

6255.

Pope Francis has died (bbc.co.uk)

221 points by rowanajmarshall 8 months ago | 18 comments

6256.

Google announces agreement to acquire Wiz (blog.google)

221 points by thecybernerd 9 months ago | 5 comments

6257.

Meta announces 5% cuts in preparation for 'intense year' (cnbc.com)

220 points by drchiu 11 months ago | 404 comments

6258.

You are the scariest monster in the woods (jamie.ideasasylum.com)

220 points by mohi-kalantari 2 months ago | 382 comments

6259.

IQ tests results for AI (trackingai.org)

220 points by stared 4 months ago | 343 comments

6260.

Alexa+ (aboutamazon.com)

220 points by fgblanch 10 months ago | 338 comments

6261.

The current state of the theory that GPL propagates to AI models (shujisado.org)

220 points by jonymo 1 month ago | 309 comments

6262.

Ask HN: How would you set up a child’s first Linux computer?

220 points by evolve2k 1 month ago | 295 comments

6263.

Ads chew through half of mobile data (nextpit.com)

220 points by mahirsaid 11 months ago | 245 comments

6264.

Problems the AI industry is not addressing adequately (thealgorithmicbridge.com)

220 points by baylearn 5 months ago | 233 comments

6265.

Microsoft's lack of quality control is out of control (theregister.com)

220 points by pjmlp 1 month ago | 223 comments

6266.

uBlock Origin forcefully disabled by Chrome (old.reddit.com)

220 points by doppp 9 months ago | 196 comments

6267.

Atlassian terminates 150 staff (cyberdaily.au)

220 points by speckx 4 months ago | 165 comments

6268.

U.S. Government Disclosed 39 Zero-Day Vulnerabilities in 2023, First-Ever Report (zetter-zeroday.com)