HN Top Links - Popular Stories from Hacker News

18631.

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4 (medium.com)

2 points by syumei 9 months ago | 0 comments

18632.

I Love Generative AI and Hate the Companies Building It (cwodtke.medium.com)

2 points by adrianhoward 9 months ago | 0 comments

18633.

Five things [Dave Karpf believes] about actually-existing AI today (davekarpf.substack.com)

2 points by username223 9 months ago | 0 comments

18634.

Show HN: Spyfall but with a LLM (amonghumans.io)

2 points by Kehvinbehvin 9 months ago | 0 comments

18635.

Show HN: ggc – A Git CLI with fuzzy search and interactive workflow (github.com)

2 points by bmf-san 9 months ago | 0 comments

18636.

Mastra is now Apache 2.0 licensed (mastra.ai)

2 points by calcsam 9 months ago | 0 comments

18637.

Polyhedral Dice: The History Of (gmdice.com)

2 points by debo_ 9 months ago | 0 comments

18638.

Undone Computer Science (undonecs.org)

2 points by azhenley 9 months ago | 0 comments

18639.

Measuring the Impact of Early-2025 AI on Experienced Developer Productivity (arxiv.org)

2 points by Anon84 9 months ago | 0 comments

18640.

Why We Develop EloqDB Mainly in C++ (eloqdata.com)

2 points by the_precipitate 9 months ago | 0 comments

18641.

The Hidden Costs of Streaming Music (2020) (newyorker.com)

2 points by fsflover 9 months ago | 0 comments

18642.

OpenAI Sub-Processor List (openai.com)

2 points by tosh 9 months ago | 0 comments

18643.

$86 Price Target Set for Acushnet (Titleist Parent) (jackdry.com)

2 points by jdry1729 9 months ago | 0 comments

18644.

Responsive living material reveals cyanobacteria extracellular enzyme activity (pnas.org)

2 points by PaulHoule 9 months ago | 0 comments

18645.

Heart from organ donor restarted outside the body – offers new source of organs (nature.com)

2 points by rntn 9 months ago | 0 comments

18646.

How I Became the First Linux User in India (medium.com)

2 points by rrampage 9 months ago | 0 comments

18647.

Why pull-based pipelines are faster (blog.sequinstream.com)

2 points by todsacerdoti 9 months ago | 0 comments

18648.

Grigoriev 1: New eclipsing variable star discovered in the Pegasus constellation (phys.org)

2 points by wglb 9 months ago | 0 comments

18649.

Synthetic Fuels from Offshore Wind Park (kit.edu)

2 points by geox 9 months ago | 0 comments

18650.

Show HN: Codecaster – simple and professional screencast for developers on macOS (7co.cc)

2 points by tunabr 9 months ago | 0 comments

18651.

The laboratory accident that saved 500M lives (bigthink.com)

2 points by LAsteNERD 9 months ago | 0 comments

18652.

A Top Engineer Reveals OpenAI's Culture of Secrets and Chaos (gizmodo.com)

2 points by ulrischa 9 months ago | 0 comments

18653.

Ask HN : AI to Detect Counterfeit Adderall

2 points by Taiko3615 9 months ago | 0 comments

18654.

Show HN: Resistor Calculator (resistorcalculator.org)

2 points by artiomyak 9 months ago | 0 comments

18655.

Oh Good, Screwworms Are Back (marginallycompelling.com)

2 points by barry-cotter 9 months ago | 0 comments

18656.

Y Combinator alum launched a new $34M fund dedicated to YC startups (techcrunch.com)

2 points by PaulHoule 9 months ago | 0 comments

18657.

Superhuman is being acquired by Grammarly to build the future of work (blog.superhuman.com)