- 141John C. Dvorak has died (twitter.com)
- 401Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample (chatgpt.com)
- 244GigaToken: ~1000x faster Language model tokenization (github.com)
- 525Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab) (bento.page)
- 231Are AI Labs Pelicanmaxxing? (dylancastillo.co)
- 122Everyone Should Know SIMD (mitchellh.com)
- 216Making (beej.us)
- 42Nvidia DGX Spark as a daily driver (daniel.lawrence.lu)
- 109Nobody knows what a used GPU cluster is worth (ciphertalk.substack.com)
- 13I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)
- 258The startup's Postgres survival guide (hatchet.run)
- 98Ghost Cut – or why Cut and Paste is broken everywhere (ishmael.textualize.io)
- 78Can a MUD evaluate LLMs? A $99 proof of concept (cruciblebench.ai)
- 3Safari Technology Preview 248 Released (webkit.org)
- 7Taking OCaml and Eio for a Spin (mattjhall.co.uk)
- 34Launch HN: Unlayer (YC W22) – Add email and document builders to your app (unlayer.com)
- 57Mechanical light bulb from 1675 [video] (youtube.com)
- 190Does creatine make you smarter? (dynomight.net)
- 56Full Scale Foldable Wing Extensions (airbus.com)
- 176“We have information that Moonshot distilled Fable for the development of K3” (twitter.com)
- 14310 REM"_(C2SLFF4 (beej.us)
- 37Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL (deepsql.ai)
- 25Which streaming service was that on again? (timwehrle.de)
- 216Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
- 52Perlin's Noise Algorithm (2023) (blog.jaysmito.dev)
- 162Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links (orangecrumbs.com)
- 39Critical Minerals: Reducing U.S. import reliance with substitution and recycling (gao.gov)
- 52Show HN: Web swing through midtown NYC (swingnyc.com)
- 370Passkeys were invented by engineers with zero understanding of consumer brain (twitter.com)
- 104OpenNode – Bitcoin Payment Processor (opennode.com)