Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample (chatgpt.com)

213 points by gmays 2 hours ago | 100 comments

GigaToken: ~1000x faster Language model tokenization (github.com)

119 points by syrusakbary 2 hours ago | 22 comments

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

421 points by starfallg 4 hours ago | 86 comments

Making (beej.us)

162 points by erikschoster 3 hours ago | 62 comments

The startup's Postgres survival guide (hatchet.run)

208 points by abelanger 6 hours ago | 108 comments

Are AI Labs Pelicanmaxxing? (dylancastillo.co)

52 points by dcastm 2 hours ago | 14 comments

Nobody knows what a used GPU cluster is worth (ciphertalk.substack.com)

47 points by rbanffy 8 days ago | 33 comments

Can a MUD evaluate LLMs? A $99 proof of concept (cruciblebench.ai)

54 points by Davisb135 3 hours ago | 27 comments

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

27 points by adeelraza 3 hours ago | 18 comments

Perlin's Noise Algorithm (blog.jaysmito.dev)

47 points by ibobev 4 hours ago | 7 comments

Mechanical light bulb from 1675 [video] (youtube.com)

37 points by kadohg 8 days ago | 12 comments

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links (orangecrumbs.com)

141 points by oyster143 4 hours ago | 32 comments

10 REM"_(C2SLFF4 (beej.us)

129 points by ingve 7 hours ago | 35 comments

"We have information that Moonshot distilled Fable for the development of K3" (twitter.com)

113 points by softwaredoug 4 hours ago | 251 comments

Introduction to Formal Verification with Lean Part 1 (hashcloak.com)

205 points by badcryptobitch 3 days ago | 40 comments

Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL (deepsql.ai)

19 points by venkat971 2 days ago | 15 comments

OpenNode – Bitcoin Payment Processor (opennode.com)

87 points by gurjeet 4 hours ago | 74 comments

Everyone Should Know SIMD (mitchellh.com)

11 points by WadeGrimridge an hour ago | 0 comments

I tried to record music onto a cassette tape using modern tech (swiftrocks.com)

14 points by rockbruno 5 days ago | 5 comments

Ghost Cut – or why Cut and Paste is broken everywhere (ishmael.textualize.io)

61 points by willm 4 hours ago | 48 comments

Passkeys were invented by engineers with zero understanding of consumer brain (twitter.com)

286 points by ksec 5 hours ago | 372 comments

Neo Radar: A browser-based orbital mechanics engine with 41k real asteroids (neoradar.space)

42 points by daviazpen 4 hours ago | 10 comments

Hologram works. Elixir runs in the browser (hologram.page)

64 points by lawik 4 hours ago | 7 comments

Show HN: Web swing through midtown NYC (swingnyc.com)

37 points by shahahmed 3 hours ago | 14 comments

When Is NVLink Worth It? (platform-fools.com)

30 points by ak_t 5 hours ago | 5 comments

Intel Starts Shipping High-NA EUV Silicon (morethanmoore.substack.com)

212 points by zdw 4 days ago | 90 comments

Cornell's Interactive Wall of Birds (academy.allaboutbirds.org)

82 points by yareally 4 days ago | 31 comments

Airbus Full Scale Foldable Wing Extensions (airbus.com)

49 points by r2sk5t 4 hours ago | 44 comments

Original Apollo 11 Guidance Computer source code for command and lunar modules (github.com)

160 points by noteness 14 hours ago | 49 comments

Most Americans say "not in my backyard" to AI data centers (redfin.com)

100 points by toomuchtodo 4 hours ago | 213 comments