HN Top Links - Popular Stories from Hacker News

9301.

Mizar: The first usable proof assistant for mathematics (lawrencecpaulson.github.io)

4 points by chmaynard 1 month ago | 0 comments

9302.

Urban birds fear women more than men, and scientists don't know why (phys.org)

4 points by wjSgoWPm5bWAhXB 1 month ago | 0 comments

9303.

Visionaire Studio: Create Your Own Adventure Game – No Coding Requided (visionaire-studio.net)

4 points by doener 1 month ago | 0 comments

9304.

My first post scored 1. Karpathy's autoresearch idea helped me repost (github.com)

4 points by meller_a 1 month ago | 0 comments

9305.

Encrypted Mempools: Security Beyond Encryption (blog.zksecurity.xyz)

4 points by suneal96 1 month ago | 0 comments

9306.

Article Previews in RSS (entropicthoughts.com)

4 points by ibobev 1 month ago | 0 comments

9307.

Godot Usage and Engine Growth (godotengine.org)

4 points by __natty__ 1 month ago | 0 comments

9308.

The Chinese Realtime Deepfake Software Powering Scams Around the World (404media.co)

4 points by tysone 1 month ago | 0 comments

9309.

Debt Has Always Been the Ruin of Great Powers. Is the U.S. Next? (wsj.com)

4 points by mooreds 1 month ago | 0 comments

9310.

In OpenAI trial, former CTO: Altman sowed 'chaos,' distrust among top executives (reuters.com)

4 points by 1vuio0pswjnm7 1 month ago | 0 comments

9311.

Intel's Larabee Legacy (thechipletter.substack.com)

4 points by klelatti 1 month ago | 0 comments

9312.

Internet Archive Outage (bsky.app)

4 points by doener 1 month ago | 0 comments

9313.

Dream Physics (seths.blog)

4 points by herbertl 1 month ago | 0 comments

9314.

Steam Controller: What Reviewers Are Saying (boilingsteam.com)

4 points by ekianjo 1 month ago | 0 comments

9315.

'FOMO has proven a stronger incentive than poor stock performance' Goldman Sachs (fortune.com)

4 points by 1vuio0pswjnm7 1 month ago | 0 comments

9316.

Gephi 0.11 is out: performance improvements (gephi.wordpress.com)

4 points by seinecle 1 month ago | 0 comments

9317.

The HTML Sanitizer API (alfy.blog)

4 points by thunderbong 1 month ago | 0 comments

9318.

Researchers pioneer method to rapidly design proteins (www6.slac.stanford.edu)

4 points by gmays 1 month ago | 0 comments

9319.

Show HN: Airlock – self-upgrading compiled AI agents (github.com)

4 points by cyberteaborg 1 month ago | 0 comments

9320.

The balcony solar boom is coming to the US (technologyreview.com)

4 points by Brajeshwar 1 month ago | 0 comments

9321.

Why do LLM outputs get worse even when metrics stay stable? [pdf] (huggingface.co)

4 points by scaledsystems 1 month ago | 0 comments

9322.

Show HN: Bundlebase – Docker for Data (nvoxland.github.io)

4 points by nvoxland 1 month ago | 0 comments

9323.

How to Build an Agent Platform (ashpreetbedi.com)

4 points by yashsolanky 1 month ago | 0 comments

9324.

Show HN: Rig – a Ghostty sidecar for managing agents (github.com)

4 points by ramoz 1 month ago | 0 comments

9325.

If You Can Make a Compute Engine, You Can Sell a Compute Engine (nextplatform.com)

4 points by rbanffy 1 month ago | 0 comments

9326.

Minimal Viable Zig Error Contexts (matklad.github.io)

4 points by ibobev 1 month ago | 0 comments

9327.

What's Gone Wrong at GitHub? (leaddev.com)

4 points by chhum 1 month ago | 0 comments

9328.

I am underwhelmed by AI search (hannahshelley.neocities.org)

4 points by speckx 1 month ago | 0 comments

9329.

School shootings are declining quite a bit (twitter.com)

4 points by paulpauper 1 month ago | 0 comments

9330.

What Is the Model Context Protocol (MCP)? (modelcontextprotocol.io)

4 points by doener 1 month ago | 0 comments