HN Top Links - Popular Stories from Hacker News

20101.

How the Lean language brings math to coding and coding to math (2024) (amazon.science)

2 points by danabramov 6 months ago | 0 comments

20102.

Free from the Weight (freefromtheweight.com)

2 points by tasshin 6 months ago | 0 comments

20103.

A streamlined base editor engineering strategy to reduce bystander editing (nature.com)

2 points by bookofjoe 6 months ago | 0 comments

20104.

The First 15 Minutes of Skyblivion Oblivion Remake Gameplay 2025 [video] (youtube.com)

2 points by agluszak 6 months ago | 0 comments

20105.

Readers preferred AI-written story over one by my favorite author in blind test (pcgamer.com)

2 points by CharlesW 6 months ago | 0 comments

20106.

My Take on Blog Analytics (anderegg.ca)

2 points by GavinAnderegg 6 months ago | 0 comments

20107.

Ayfkm blog: Painful bureaucratic journeys of a multicultural family (ayfkm.blog)

2 points by lollobomb 6 months ago | 0 comments

20108.

Show HN: In Memoria – AI memory layer for persistent context in coding tools (github.com)

2 points by pi_22by7 6 months ago | 0 comments

20109.

Ask HN: I made a new kind of AI, how do I make money from it?

1 points by ikishade 6 months ago | 18 comments

20110.

Show HN: I built a tool to launch all your startup ideas today (free promo code) (starterpilot.com)

1 points by azizxe 6 months ago | 9 comments

20111.

Can an LLM recognize the same user across different devices/accounts?

1 points by WitcHeart_Ruby 6 months ago | 8 comments

20112.

Semantic drift: when AI gets the facts right but loses the meaning

1 points by realitydrift 6 months ago | 8 comments

20113.

GPT5 is the best coding LLM because other LLMs admit it?

1 points by adinhitlore 6 months ago | 8 comments

20114.

Ask HN: What if I open on a malicious PDF AirDropped to my iPhone by a stranger?

1 points by scripper1 6 months ago | 7 comments

20115.

What's the solution for a smart person with poor executive function?

1 points by morpheos137 6 months ago | 7 comments

20116.

Show HN: The U Programming Language (gist.github.com)

1 points by EGreg 6 months ago | 7 comments

20117.

Ask HN: Which LLM service has the fairest pricing for students?

1 points by sonderotis 6 months ago | 7 comments

20118.

Ask HN: Perplexity AI Cheating on Model?

1 points by freakynit 6 months ago | 7 comments

20119.

Ask HN: How do you track your time for productivity and well-being?

1 points by ednite 7 months ago | 6 comments

20120.

Ask HN: How much would it cost to build a new commercially viable OS?

1 points by quacked 6 months ago | 6 comments

20121.

The Doom of YC?

1 points by cgibson2025 6 months ago | 6 comments

20122.

If You Could Fix One Thing About AI Search, What Would It Be?

1 points by zyruh 6 months ago | 6 comments

20123.

Should we summarize HN submissions?

1 points by lapcat 6 months ago | 6 comments

20124.

Ask HN: Do you rely on ChatGPT when the system fails you?

1 points by 7stepreasoning 6 months ago | 6 comments

20125.

I Discovered the Semantic Manifold Theory. All Millennium Prize Problems Solved (osf.io)

1 points by TomConWork 7 months ago | 5 comments

20126.

Ask HN: Why do schools still teach arithmetic algorithms?

1 points by amichail 6 months ago | 5 comments

20127.

Ask HN: Tips for reducing LLM token usage?

1 points by vmt-man 7 months ago | 5 comments

20128.

Show HN: Superfire – Create and share AI agent demos powered by your MCP (superfire.me)

1 points by gur_ronen 6 months ago | 5 comments

20129.

Computer vision is solved if you let the model use tools (spatial-reasoning.com)

1 points by qasimWani 6 months ago | 5 comments

20130.

Ask HN: What are you expecting from the GPT-5 later?

1 points by darajava 6 months ago | 5 comments