HN Top Links - Popular Stories from Hacker News

36421.

Economics of Formal Methods (johndcook.com)

1 points by ibobev 5 months ago | 0 comments

36422.

How Does AI Do on Baseball-Brothers-Pitchers (blog.computationalcomplexity.org)

1 points by speckx 5 months ago | 0 comments

36423.

Why MoaV exists and the mission behind it – MoaV (Mother of all VPNs) (moav.sh)

1 points by shayanbahal 5 months ago | 0 comments

36424.

Current Large Audio Language Models largely transcribe rather than listen (arxiv.org)

1 points by PaulHoule 5 months ago | 0 comments

36425.

Show HN: Value stock screener built around Graham Number and Piotroski F-Score (stockpik.co)

1 points by ecosystemj 5 months ago | 0 comments

36426.

We upgraded to a frontier model and our costs went down (mendral.com)

1 points by shad42 5 months ago | 0 comments

36427.

Show HN: Free Coffee via Octopus Energy's Internal GraphQL API (frontbot.com)

1 points by pi3rre 5 months ago | 0 comments

36428.

Prefix sums at gigabytes per second with ARM NEON (lemire.me)

1 points by ibobev 5 months ago | 0 comments

36429.

(Co)Products: motivating category theory [video] (youtube.com)

1 points by surprisetalk 5 months ago | 0 comments

36430.

Building a better tool for documenting software architecture

1 points by salzaverde 5 months ago | 0 comments

36431.

Be reading academic computer science papers (stackoverflow.blog)

1 points by prakashqwerty 5 months ago | 0 comments

36432.

How LLMs are affecting CTF competitions (vt.social)

1 points by dbl000 5 months ago | 0 comments

36433.

1 points by Zelcius 5 months ago | 0 comments

36434.

AI companies turn knowledge into a proprietary asset. Share your knowledge (insidestack.it)

1 points by danijelk 5 months ago | 0 comments

36435.

Hill-climbing ARC-AGI-3 (blog.alexisfox.dev)

1 points by 10xDev 5 months ago | 0 comments

36436.

Send a Message to Space (hellooo.space)

1 points by carlsverre 5 months ago | 0 comments

36437.

1 points by Gokul_Raj_R 5 months ago | 0 comments

36438.

Advice for (Berkeley) Ph. D. students in math (2013) (blogs.ams.org)

1 points by paulpauper 5 months ago | 0 comments

36439.

Apple in 2025: The Six Colors report card (sixcolors.com)

1 points by akyuu 5 months ago | 0 comments

36440.

1 points by sagebowsystem 5 months ago | 0 comments

36441.

Utilization metrics across accelerators (GPUs, TPUs, and so on) (github.com)

1 points by heyjupiter 5 months ago | 0 comments

36442.

1 points by alpple 5 months ago | 0 comments

36443.

Show HN: Four Claude Code hooks that enforce voice and tone on AI-written copy (windyroad.com.au)

1 points by tompahoward 5 months ago | 0 comments

36444.

The "Sediment in Software"-Chart (youtube.com)

1 points by brsc2909 5 months ago | 0 comments

36445.

Mojo: GPU Puzzles (puzzles.modular.com)

1 points by tosh 5 months ago | 0 comments

36446.

1 points by robertsshaun 5 months ago | 0 comments

36447.

HackMIT Got Hacked (arian.gg)

1 points by KrishKrish 5 months ago | 0 comments

36448.

The Tree of Up (up.com.au)

1 points by skogstokig 5 months ago | 0 comments

36449.

Show HN: I Was Here – Draw on street panoramas, others can find your drawings (washere.live)

1 points by mrktsm__ 5 months ago | 0 comments

36450.

Show HN: Tokf – Stop wasting LLM context on verbose build output (github.com)

1 points by risethagain 5 months ago | 0 comments