HN Top Links - Popular Stories from Hacker News

12811.

Advancing the Quality-Efficiency Frontier for Coding AI on Windows PCs (devblogs.microsoft.com)

3 points by doomroot13 1 day ago | 0 comments

12812.

Formalizing Julia in Lean (and finding 400 bugs in Base) (discourse.julialang.org)

3 points by yurivish 1 week ago | 0 comments

12813.

Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square" (zenodo.org)

3 points by DRLogvinovich 1 day ago | 0 comments

12814.

New Morning (math.columbia.edu)

3 points by jjgreen 1 day ago | 0 comments

12815.

Fireflies: A game written in Neural Net Weights (twitter.com)

3 points by etticat 1 day ago | 0 comments

12816.

Six questions about political polarization (statmodeling.stat.columbia.edu)

3 points by luu 1 week ago | 0 comments

12817.

Euclidean, Spherical, and Projective Geometry (johndcook.com)

3 points by ibobev 3 days ago | 0 comments

12818.

Time to wake up MetOp-SG-B1 weather satellite (new.esa.int)

3 points by titusblair 1 day ago | 0 comments

12819.

Show HN: My compact, bio inspired distributed edge detection algorithm (github.com)

3 points by RenderBear 1 day ago | 0 comments

12820.

iPad Mini (apple.com)

3 points by doerig 1 week ago | 0 comments

12821.

The Hyper-Optimized AI Engineer (youtube.com)

3 points by AIorNot 1 day ago | 0 comments

12822.

Show HN: Canopy, a cross-platform DAG engine for agents CLI (univerlab.org)

3 points by JheisonMB 1 day ago | 0 comments

12823.

Briareus: Segment-parallel distributed video transcoder in Go, built on FFmpeg (github.com)

3 points by handfuloflight 5 days ago | 0 comments

12824.

Mentat: One memory for all my AI tools (blog.benjamin.ie)

3 points by benkelly 1 day ago | 0 comments

12825.

Serving GLM-5.3-Flash on one Trainium2 box with NKI layer megakernels (runanywhere.ai)

3 points by sanchitmonga22 1 day ago | 0 comments

12826.

dot_clean man Page (ss64.com)

3 points by gregsadetsky 1 day ago | 0 comments

12827.

Fujifilm to boost tape production 5x as AI fuels archiving demand (arstechnica.com)

3 points by rbanffy 3 days ago | 0 comments

12828.

From Columbine to Teotihuacán: The Rise of Nihilistic Violence in Latin America (gnet-research.org)

3 points by bryanrasmussen 3 days ago | 0 comments

12829.

The Unwilding of Patagonia's Pollinators (biographic.com)

3 points by ohjeez 19 hours ago | 0 comments

12830.

Show HN: Wrapped – Your neighborhood's 311 story (311wrapped.com)

3 points by eltokh7 2 hours ago | 0 comments

12831.

How we continuously validate formal specifications in production (datadoghq.com)

3 points by sshah03 47 minutes ago | 0 comments

12832.

The Brain Injury That Made Edward Freytag a Musical Genius (nytimes.com)

3 points by elffjs 3 days ago | 0 comments

12833.

Show HN: Amigent – AI agent and remote desktop for Commodore Amiga over 50 KB/s (github.com)

3 points by akustikrausch 1 day ago | 0 comments

12834.

AI Needed to Produce More Gas to Power More AI, Tech Firm Cohere Says (desmog.com)

3 points by mrkn1 8 hours ago | 0 comments

12835.

Affinity will soon be getting an official Linux build (neowin.net)

3 points by bundie 3 days ago | 0 comments

12836.

Fuzzers vs. AI: Comparing Fuzzilli and BigSleep on JavaScript Engines (projectzero.google)

3 points by ni5arga 1 week ago | 0 comments

12837.

Crows make decisions twice as fast as humans and monkeys (phys.org)

3 points by pseudolus 1 week ago | 0 comments

12838.

Perverse Incentive (en.wikipedia.org)

3 points by num42 3 days ago | 0 comments

12839.

Show HN: Filmcraft – Free online video editor, color and audio tools (filmcraft.tools)

3 points by vantareed 1 week ago | 0 comments

12840.

Everything should be a random number generator (en.cppreference.com)

3 points by efren6 1 day ago | 0 comments