Hacker News Daily — July 22, 2026
30 stories · July 22, 2026
In this issue
- 1
Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
bento.page · 524 points · Discussion
Over the past few months, our team has been building more and more slidedecks using web frontend technologies with coding harnesses like Claude Code, but a common complaint is to make even small edits…
- 2
Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
chatgpt.com · 400 points · Discussion
Read via the links — full text wasn’t available.
- 3
Passkeys were invented by engineers with zero understanding of consumer brain
twitter.com · 370 points · Discussion
https://xcancel.com/nikitabier/status/2079787406300266743
- 4
The startup's Postgres survival guide
hatchet.run · 258 points · Discussion
Over the past half year or so, I’ve been writing an internal doc for our engineers trying to distill two years of Postgres battles into a somewhat cohesive document.…
- 5
GigaToken: ~1000x faster Language model tokenization
github.com · 244 points · Discussion
~1000x faster than HuggingFace's tokenizers, drop-in replacement. Tokenize your text data at GB/s! Note that both HF tokenizers and tiktoken are already running multithreaded Rust! What is Gigatoken?…
- 6
Are AI Labs Pelicanmaxxing?
dylancastillo.co · 230 points · Discussion
For the past few years, Simon Willison has tested every major LLM release with the same prompt: “Generate an SVG of a pelican riding a bicycle”. What began as a tongue-in-cheek benchmark has become…
- 7
Making
beej.us · 216 points · Discussion
2026-03-12 I made this! TLDR: I gain a lot of fulfillment by making things. I don't consider things built by others at my request to be made by me, and are therefore much less fulfilling. And then I…
- 8
Introduction to Formal Verification with Lean Part 1
hashcloak.com · 216 points · Discussion
Formal verification is a tool to verify correctness of (mathematical) statements. Where we use pen and paper to write a math proof, we could actually use a formal verification tool to write down the…
- 9
Does creatine make you smarter?
dynomight.net · 190 points · Discussion
dynomight best See all best posts → Air quality myths Sleep optimization topics All topics Health & science How to think about About dynomight get Get guide to life + weekly posts --> DYNOMIGHT best…
- 10
“We have information that Moonshot distilled Fable for the development of K3”
twitter.com · 176 points · Discussion
https://xcancel.com/mkratsios47/status/2079933645888880708
- 11
Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links
orangecrumbs.com · 162 points · Discussion
Browse legendary Hacker News links. 1,169 Hall of Fame links and 1,994 Candidates. 1164 max pts 586 max pts 387 max pts 241 max pts 738 max pts 936 max pts 1357 max pts 382 max pts 325 max pts 512 max…
- 12
10 REM"_(C2SLFF4
beej.us · 143 points · Discussion
2026-07-21 Let's dive into The Wizard's Castle (source code)! 10 REM"_(C2SLFF4 That is the first line of the 80s microcomputer BASIC game The Wizard's Castle initially written for the Exidy Sorcerer…
- 13
John C. Dvorak has died
twitter.com · 137 points · Discussion
https://xcancel.com/na_announce/status/2079952538040672302
- 14
Everyone Should Know SIMD
mitchellh.com · 121 points · Discussion
SIMD has a reputation for being complex. I've met many very good software engineers who dismiss it as something too complex to learn or a niche optimization meant for only the highest-performance…
- 15
Nobody knows what a used GPU cluster is worth
ciphertalk.substack.com · 109 points · Discussion
If xAI defaults on its debt, Apollo Global Management ends up in the GPU rental business. That is in the contract, signed in June 2025, on a five billion dollar debt facility arranged by Morgan…
- 16
OpenNode – Bitcoin Payment Processor
opennode.com · 104 points · Discussion
Bitcoin payments at the speed of now Get lightning-fast, low-cost bitcoin payments and payouts for your business with our powerful API, ecommerce plugins, or hosted payment pages. Secure bitcoin…
- 17
Ghost Cut – or why Cut and Paste is broken everywhere
ishmael.textualize.io · 98 points · Discussion
Cut & Paste is broken in every word processor, code editor, and browser text area you've ever used. And it has been that way for decades. Just so we are on the same page: cut & paste is the…
- 18
Hologram Works. Sponsor What Comes Next
hologram.page · 86 points · Discussion
Hologram works. Elixir runs in the browser today - four feature releases this year, most of the standard library working client-side, a full realtime layer, JavaScript interop, and the first…
- 19
Can a MUD evaluate LLMs? A $99 proof of concept
cruciblebench.ai · 77 points · Discussion
I'm the author of a paper my friends and I wrote after we were curious if a MUD, text games originating in the 1970s, could be used to evaluate LLMs. We've spent the last several months on nights and…
- 20
Mechanical light bulb from 1675 [video]
youtube.com · 57 points · Discussion
Read via the links — full text wasn’t available.
- 21
Full Scale Foldable Wing Extensions
airbus.com · 56 points · Discussion
Read via the links — full text wasn’t available.
- 22
Show HN: Web swing through midtown NYC
swingnyc.com · 52 points · Discussion
Read via the links — full text wasn’t available.
- 23
Perlin's Noise Algorithm (2023)
blog.jaysmito.dev · 52 points · Discussion
What is Noise? Well if you have tried to learn about anything in procedural generation one thing you must have come across is noise! Now, what exactly is it? Well, noise is nothing but a collection of…
- 24
Nvidia DGX Spark as a daily driver
daniel.lawrence.lu · 42 points · Discussion
2026-07-15 I bought an NVIDIA DGX Spark! It’s actually quite a competent general purpose computer while being super tiny and power efficient. It basically just has an ARM CPU, a decent NVIDIA GPU…
- 25
Critical Minerals: Reducing U.S. import reliance with substitution and recycling
gao.gov · 39 points · Discussion
Read via the links — full text wasn’t available.
- 26
Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL
deepsql.ai · 37 points · Discussion
Hi HN - I'm Venkat, founder of Stayflexi (YC), CMU CS grad and Ex-Oracle Query Engine team (patents in core databases) DeepSQL started as an internal tool to stop our own databases from becoming the…
- 27
Launch HN: Unlayer (YC W22) – Add email and document builders to your app
unlayer.com · 34 points · Discussion
Hi HN, We’re Adeel and Umair, co-founders of Unlayer ( https://unlayer.com/ ). We let you add content creation to your applications without having to build an entire editor, renderer, template, and…
- 28
Which streaming service was that on again?
timwehrle.de · 25 points · Discussion
I'm a huge movie fan. I'd even call myself a cinephile. The films I enjoy most are the ones that leave me thinking afterwards. What I don't want to think about beforehand is where I can actually watch…
- 29
How to organize 3 acquired companies into one coherent website
littlelanguagemodels.com · 13 points · Discussion
Company A has acquired Company B, C, and D. How do we organize their sites, for multiple products with different audiences, while making it easy to find relevant product information and quickly…
- 30
Conway's Game of Life, in real life
lcamtuf.coredump.cx · 12 points · Discussion
Read via the links — full text wasn’t available.