HN Top Links - Popular Stories from Hacker News

12781.

OpenAI: Short proofs in combinatorics, probability and number theory II (arxiv.org)

3 points by Tyyps 1 month ago | 0 comments

12782.

Wastrel milestone: full hoot support, with generational GC as a treat (wingolog.org)

3 points by davexunit 1 month ago | 0 comments

12783.

SuperCmd – open-source alternative to Raycast Pro, WisprFlow, and Speechify (supercmd.sh)

3 points by marksully 1 month ago | 0 comments

12784.

Show HN: Running a 1.7B parameters LLM on an Apple Watch (twitter.com)

3 points by pielouNW 1 month ago | 0 comments

12785.

Banksy, Satoshi and the Unmasking Impulse (om.co)

3 points by tomaskafka 1 month ago | 0 comments

12786.

Pipeline Architecture System Design (dvcoolarun.com)

3 points by dvcoolarun 1 month ago | 0 comments

12787.

Cassidy Williams on Technical Blogging (writethatblog.substack.com)

3 points by mooreds 1 month ago | 0 comments

12788.

Analyzing KDE Project Health with Git (pointieststick.com)

3 points by maxloh 4 weeks ago | 0 comments

12789.

Arms industry given direct influence over university courses in the UK (declassifieduk.org)

3 points by robtherobber 1 month ago | 0 comments

12790.

Show HN: I built a Harvey-style tabular review app, then open sourced the code (isaacus.com)

3 points by afistfullof 1 month ago | 0 comments

12791.

Greece to ban social media for under-15s from next year (bbc.com)

3 points by thunderbong 1 month ago | 0 comments

12792.

Show HN: Replace "hub" with "inspect" on any GitHub url and chat with any repo (gitinspect.com)

3 points by osihjeremy 1 month ago | 0 comments

12793.

Beer Day (en.wikipedia.org)

3 points by koolba 1 month ago | 0 comments

12794.

How uv Solves Dependencies So Fast (pydevtools.com)

3 points by tanelpoder 1 month ago | 0 comments

12795.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

3 points by spaccy05 4 weeks ago | 0 comments

12796.

Code Democracy the Big Lie (medium.com)

3 points by aatel-license 4 weeks ago | 0 comments

12797.

Zuvi ColorBox Review: A Hair Dye Printer That Struggles (wired.com)

3 points by joozio 4 weeks ago | 0 comments

12798.

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets (arxiv.org)

3 points by matt_d 4 weeks ago | 0 comments

12799.

Datadog: We built a real-world evaluation platform for SRE agents at scale (datadoghq.com)

3 points by SpaceJudas 1 month ago | 0 comments

12800.

First criticality for Indian fast breeder reactor (world-nuclear-news.org)

3 points by pseudolus 1 month ago | 0 comments

12801.

Nice Email Service (beeble.com)

3 points by janwebdev 1 month ago | 0 comments

12802.

Dead man's switch for your crypto keys and passwords (github.com)

3 points by bonkaiii 1 month ago | 0 comments

12803.

Agents Need a Database to Break (xata.io)

3 points by gk1 1 month ago | 0 comments

12804.

Two supermassive black holes are on a collision course (popsci.com)

3 points by Brajeshwar 1 month ago | 0 comments

12805.

AET: A transpiler that compresses code for LLMs (saves 30-55% tokens) (github.com)

3 points by liminnnnnng 1 month ago | 0 comments

12806.

Behold, an AI startup with a real business (crazystupidtech.com)

3 points by rafaelc 1 month ago | 0 comments

12807.

Cloudflare: Tbps of capacity: 16 years of scaling our global network (blog.cloudflare.com)