HN Top Links - Popular Stories from Hacker News

25321.

Spark: Formal Verification and Proving Program Correctness in Ada (jordansrowles.medium.com)

1 points by pjmlp 2 months ago | 0 comments

25322.

How did the iPhone become so secure? [video] (youtube.com)

1 points by mgh2 2 months ago | 0 comments

25323.

Bundle doubling in seven years: macOS is getting bigger (heise.de)

1 points by thenaturalist 2 months ago | 0 comments

25324.

Mr. Panda's Psychologically Safe Portfolio (mr-pandas-psychologically-safe-portfolio.com)

1 points by aratahikaru5 2 months ago | 0 comments

25325.

Show HN: Supertonic 2 – Lightning-fast, On-Device, Multilingual TTS

1 points by login588 2 months ago | 0 comments

25326.

Building Type-Safe Compound Components (tkdodo.eu)

1 points by todsacerdoti 2 months ago | 0 comments

25327.

Show HN: DBMS OLTP written in Rust – prioritises clarity and correctness (github.com)

1 points by failsafe 2 months ago | 0 comments

25328.

Column Storage for the AI Era (sympathetic.ink)

1 points by saikatsg 2 months ago | 0 comments

25329.

Show HN: SummonAI Kit – One CLI to rule your .claude/ folder (summonaikit.com)

1 points by viktorb01 2 months ago | 0 comments

25330.

The Great Flood of Adequate Software (benjaminoakes.com)

1 points by speckx 2 months ago | 0 comments

25331.

Revisiting Manager READMEs (elidedbranches.com)

1 points by adrianhoward 2 months ago | 0 comments

25332.

AI tutoring outperforms in-class active learning (nature.com)

1 points by consumer451 2 months ago | 0 comments

25333.

My Use of 'AI' on This Site (adrianroselli.com)

1 points by speckx 2 months ago | 0 comments

25334.

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting (github.com)

1 points by frozenseven 2 months ago | 0 comments

25335.

How to get viral distribution without spending $0 on a web tool

1 points by SRMohitkr 2 months ago | 0 comments

25336.

Show HN: Abhyasa – Modular Quiz and Assessment Engine (abhyasa.pages.dev)

1 points by pyeri 2 months ago | 0 comments

25337.

Show HN: Ride a Photon (artepants.fun)

1 points by kmewhort 2 months ago | 0 comments

25338.

Struggling to pick the best class in Arise Ragnarok Crossover? (ariseragnarok.org)

1 points by candseven 2 months ago | 0 comments

25339.

Sliding Window Recurrences for Sequence Models (arxiv.org)

1 points by nsoonhui 2 months ago | 0 comments

25340.

Common Architectures: Monolithic, Distributed, and Serverless (systemdesignbutsimple.com)

1 points by birdculture 2 months ago | 0 comments

25341.

I rebuilt my blog with React Server Components (micahcantor.com)

1 points by hydroxideOH- 2 months ago | 0 comments

25342.

Are There Fourth Amendment Rights in Google Search Terms? (reason.com)

1 points by Jimmc414 2 months ago | 0 comments

25343.

How AI is affecting me as a human (and journalist) (axios.com)

1 points by Brajeshwar 2 months ago | 0 comments

25344.

Show HN: A Ralph Wiggum–Style Gemini CLI Extension (github.com)

1 points by sashimikun 2 months ago | 0 comments

25345.

Show HN: Ctx – CLI to print your codebase structure (folders, files, exports) (npmjs.com)

1 points by eloq98 2 months ago | 0 comments

25346.

Show HN: Vissper – Real-time macOS transcription in Rust, not Electron (github.com)

1 points by svenmalvik 2 months ago | 0 comments

25347.

Get Off the Sidelines: It's Your Turn to Play (2024) (oswarld.com)

1 points by haebom 2 months ago | 0 comments

25348.

Achieving 1270 Wh L−1 in Anode-Free Lithium Metal Batteries (advanced.onlinelibrary.wiley.com)