Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

294 points - today at 5:30 PM

Source Details - 136 Comments

GigaToken: ~1000x faster Language model tokenization

167 points - today at 5:20 PM

Source Details - 28 Comments

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

465 points - today at 3:19 PM

Source Details - 101 Comments

Are AI Labs Pelicanmaxxing?

133 points - today at 5:17 PM

Source Details - 51 Comments

Making

191 points - today at 3:33 PM

Source Details - 76 Comments

Nobody knows what a used GPU cluster is worth

73 points - 07/15/2026

Source Details - 63 Comments

Everyone Should Know SIMD

50 points - today at 5:48 PM

Source Details - 15 Comments

The startup's Postgres survival guide

227 points - today at 12:36 PM

Source Details - 121 Comments

Can a MUD evaluate LLMs? A $99 proof of concept

63 points - today at 3:39 PM

Source Details - 34 Comments

Ghost Cut – or why Cut and Paste is broken everywhere

77 points - today at 2:43 PM

Source Details - 54 Comments

Mechanical light bulb from 1675 [video]

49 points - 07/14/2026

Source Details - 19 Comments

Launch HN: Unlayer (YC W22) – Add email and document builders to your app

29 points - today at 4:02 PM

Source Details - 22 Comments

Does creatine make you smarter?

151 points - today at 3:45 PM

Source Details - 142 Comments

“We have information that Moonshot distilled Fable for the development of K3”

141 points - today at 2:42 PM

Source Details - 319 Comments

Perlin's Noise Algorithm

50 points - today at 2:59 PM

Source Details - 10 Comments

10 REM"_(C2SLFF4

133 points - today at 11:58 AM

Source Details - 37 Comments

Show HN: Web swing through midtown NYC

47 points - today at 4:25 PM

Source Details - 16 Comments

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links

151 points - today at 3:30 PM

Source Details - 36 Comments

Introduction to Formal Verification with Lean Part 1

210 points - last Sunday at 3:49 PM

Source Details - 41 Comments

Nvidia DGX Spark as a daily driver

8 points - last Sunday at 7:44 PM

Source Details - 1 Comments