Hacker News

1.		Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample (chatgpt.com)
		391 points by gmays 3 hours ago \| hide \| 198 comments
2.		John C. Dvorak has died (twitter.com/na_announce)
		109 points by coleca 1 hour ago \| hide \| 17 comments
3.		GigaToken: ~1000x faster Language model tokenization (github.com/marcelroed)
		239 points by syrusakbary 3 hours ago \| hide \| 46 comments
4.		Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab) (bento.page)
		521 points by starfallg 5 hours ago \| hide \| 111 comments
5.		Are AI Labs Pelicanmaxxing? (dylancastillo.co)
		220 points by dcastm 3 hours ago \| hide \| 93 comments
6.		Everyone Should Know SIMD (mitchellh.com)
		105 points by WadeGrimridge 3 hours ago \| hide \| 35 comments
7.		Making (beej.us)
		214 points by erikschoster 5 hours ago \| hide \| 91 comments
8.		Nobody knows what a used GPU cluster is worth (ciphertalk.substack.com)
		107 points by rbanffy 4 hours ago \| hide \| 89 comments
9.		Nvidia DGX Spark as a daily driver (lawrence.lu)
		38 points by plun9 2 hours ago \| hide \| 14 comments
10.		The startup's Postgres survival guide (hatchet.run)
		254 points by abelanger 6 hours ago \| hide \| 142 comments
11.		Ghost Cut – or why Cut and Paste is broken everywhere (textualize.io)
		96 points by willm 6 hours ago \| hide \| 65 comments
12.		Can a MUD evaluate LLMs? A $99 proof of concept (cruciblebench.ai)
		75 points by Davisb135 5 hours ago \| hide \| 43 comments
13.		I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)
		5 points by CITIZENDOT 25 minutes ago \| hide \| discuss
14.		Taking OCaml and Eio for a Spin (mattjhall.co.uk)
		6 points by mattjhall 1 hour ago \| hide \| discuss
15.		Mechanical light bulb from 1675 [video] (youtube.com)
		57 points by kadohg 5 hours ago \| hide \| 27 comments
16.		Launch HN: Unlayer (YC W22) – Add email and document builders to your app (unlayer.com)
		33 points by adeelraza 4 hours ago \| hide \| 22 comments
17.		Full Scale Foldable Wing Extensions (airbus.com)
		56 points by r2sk5t 6 hours ago \| hide \| 48 comments
18.		Does creatine make you smarter? (dynomight.net)
		186 points by surprisetalk 5 hours ago \| hide \| 173 comments
19.		“We have information that Moonshot distilled Fable for the development of K3” (twitter.com/mkratsios47)
		175 points by softwaredoug 5 hours ago \| hide \| 417 comments
20.		10 REM"_(C2SLFF4 (beej.us)
		143 points by ingve 9 hours ago \| hide \| 40 comments
21.		Which streaming service was that on again? (timwehrle.de)
		25 points by weetii 4 hours ago \| hide \| 42 comments
22.		Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL (deepsql.ai)
		36 points by venkat971 4 hours ago \| hide \| 19 comments
23.		Perlin's Noise Algorithm (2023) (jaysmito.dev)
		52 points by ibobev 5 hours ago \| hide \| 13 comments
24.		Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
		215 points by badcryptobitch 12 hours ago \| hide \| 41 comments
25.		Show HN: Web swing through midtown NYC (swingnyc.com)
		52 points by shahahmed 4 hours ago \| hide \| 23 comments
26.		Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links (orangecrumbs.com)
		160 points by oyster143 5 hours ago \| hide \| 36 comments
27.		Critical Minerals: Reducing U.S. import reliance with substitution and recycling (gao.gov)
		38 points by Jimmc414 5 hours ago \| hide \| 58 comments
28.		Passkeys were invented by engineers with zero understanding of consumer brain (twitter.com/nikitabier)
		365 points by ksec 6 hours ago \| hide \| 483 comments
29.		Hologram Works. Sponsor What Comes Next (hologram.page)
		85 points by lawik 6 hours ago \| hide \| 17 comments
30.		OpenNode – Bitcoin Payment Processor (opennode.com)
		101 points by gurjeet 6 hours ago \| hide \| 86 comments
		More