Hacker News

1.		Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample (chatgpt.com)
		309 points by gmays 2 hours ago \| hide \| 144 comments
2.		GigaToken: ~1000x faster Language model tokenization (github.com/marcelroed)
		178 points by syrusakbary 2 hours ago \| hide \| 31 comments
3.		Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab) (bento.page)
		472 points by starfallg 4 hours ago \| hide \| 102 comments
4.		Are AI Labs Pelicanmaxxing? (dylancastillo.co)
		144 points by dcastm 2 hours ago \| hide \| 55 comments
5.		Making (beej.us)
		197 points by erikschoster 4 hours ago \| hide \| 77 comments
6.		Everyone Should Know SIMD (mitchellh.com)
		59 points by WadeGrimridge 2 hours ago \| hide \| 18 comments
7.		Nobody knows what a used GPU cluster is worth (ciphertalk.substack.com)
		78 points by rbanffy 3 hours ago \| hide \| 65 comments
8.		The startup's Postgres survival guide (hatchet.run)
		236 points by abelanger 6 hours ago \| hide \| 125 comments
9.		Can a MUD evaluate LLMs? A $99 proof of concept (cruciblebench.ai)
		63 points by Davisb135 4 hours ago \| hide \| 37 comments
10.		Ghost Cut – or why Cut and Paste is broken everywhere (textualize.io)
		81 points by willm 5 hours ago \| hide \| 54 comments
11.		Mechanical light bulb from 1675 [video] (youtube.com)
		50 points by kadohg 4 hours ago \| hide \| 20 comments
12.		Launch HN: Unlayer (YC W22) – Add email and document builders to your app (unlayer.com)
		29 points by adeelraza 3 hours ago \| hide \| 22 comments
13.		Does creatine make you smarter? (dynomight.net)
		155 points by surprisetalk 4 hours ago \| hide \| 146 comments
14.		“We have information that Moonshot distilled Fable for the development of K3” (twitter.com/mkratsios47)
		143 points by softwaredoug 4 hours ago \| hide \| 328 comments
15.		Nvidia DGX Spark as a daily driver (lawrence.lu)
		9 points by plun9 1 hour ago \| hide \| 1 comment
16.		10 REM"_(C2SLFF4 (beej.us)
		134 points by ingve 8 hours ago \| hide \| 38 comments
17.		Perlin's Noise Algorithm (jaysmito.dev)
		50 points by ibobev 5 hours ago \| hide \| 10 comments
18.		Show HN: Web swing through midtown NYC (swingnyc.com)
		47 points by shahahmed 3 hours ago \| hide \| 18 comments
19.		Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links (orangecrumbs.com)
		151 points by oyster143 4 hours ago \| hide \| 36 comments
20.		Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
		211 points by badcryptobitch 11 hours ago \| hide \| 41 comments
21.		Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL (deepsql.ai)
		25 points by venkat971 4 hours ago \| hide \| 16 comments
22.		Passkeys were invented by engineers with zero understanding of consumer brain (twitter.com/nikitabier)
		329 points by ksec 5 hours ago \| hide \| 425 comments
23.		OpenNode – Bitcoin Payment Processor (opennode.com)
		95 points by gurjeet 5 hours ago \| hide \| 80 comments
24.		Neo Radar: A browser-based orbital mechanics engine with 41k real asteroids (neoradar.space)
		48 points by daviazpen 4 hours ago \| hide \| 13 comments
25.		Hologram works. Elixir runs in the browser (hologram.page)
		74 points by lawik 5 hours ago \| hide \| 13 comments
26.		Intel Starts Shipping High-NA EUV Silicon (morethanmoore.substack.com)
		220 points by zdw 14 hours ago \| hide \| 94 comments
27.		LG to ban residential proxies from smart TV apps (krebsonsecurity.com)
		360 points by DemiGuru 18 hours ago \| hide \| 361 comments
28.		ScreenWall – Turn old phones into synced widgets for your space (screenwall.app)
		115 points by buibuibui 13 hours ago \| hide \| 42 comments
29.		I tried to record music onto a cassette tape using modern tech (swiftrocks.com)
		18 points by rockbruno 3 hours ago \| hide \| 15 comments
30.		When is NVLink worth it? (platform-fools.com)
		36 points by ak_t 5 hours ago \| hide \| 8 comments
		More