HN Reader

John C. Dvorak has died

(twitter.com/na_announce/status/2079952538040672302)

269 points by coleca 2 hours ago | loading comments

I Inspected My Take-Home Interview Project. It Was a Whole Operation

(citizendot.github.io/articles/fake-job-interview-git-hook-malware/)

91 points by CITIZENDOT an hour ago | loading comments

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

(chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56)

437 points by gmays 4 hours ago | loading comments

GigaToken: ~1000x faster Language model tokenization

(github.com/marcelroed/gigatoken/)

268 points by syrusakbary 4 hours ago | loading comments

Malleable Computing, Emacs, and You

(yummymelon.com/devnull/malleable-computing-emacs-and-you.html)

13 points by kickingvegas 23 minutes ago | loading comments

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

(bento.page/slides/)

545 points by starfallg 6 hours ago | loading comments

Are AI Labs Pelicanmaxxing?

(dylancastillo.co/posts/pelicanmaxxing.html)

259 points by dcastm 4 hours ago | loading comments

Safari Technology Preview 248 Released

(webkit.org/blog/18162/release-notes-for-safari-technology-preview-248/)

19 points by Erenay09 38 minutes ago | loading comments

Everyone Should Know SIMD

(mitchellh.com/writing/everyone-should-know-simd)

142 points by WadeGrimridge 4 hours ago | loading comments

10.

Nobody knows what a used GPU cluster is worth

(ciphertalk.substack.com/p/nobody-knows-what-a-used-gpu-cluster)

122 points by rbanffy 8 days ago | loading comments

11.

Making

(beej.us/blog/data/ai-making/)

228 points by erikschoster 6 hours ago | loading comments

12.

The startup's Postgres survival guide

(hatchet.run/blog/postgres-survival-guide)

268 points by abelanger 9 hours ago | loading comments

13.

Fairphone 6 wide camera experimental Linux support

(nondescriptpointer.com/articles/fairphone-6-wide-camera-linux/)

11 points by helonaut an hour ago | loading comments

14.

Nvidia DGX Spark as a daily driver

(daniel.lawrence.lu/blog/2026-07-15-dgx-spark-as-daily-driver/)

52 points by plun9 3 days ago | loading comments

15.

Taking OCaml and Eio for a Spin

(mattjhall.co.uk/posts/taking-ocaml-eio-for-a-spin.html)

13 points by mattjhall 3 days ago | loading comments

16.

Ghost Cut – or why Cut and Paste is broken everywhere

(ishmael.textualize.io/blog/ghost-cut/)

102 points by willm 7 hours ago | loading comments

17.

Can a MUD evaluate LLMs? A $99 proof of concept

(cruciblebench.ai/)

82 points by Davisb135 6 hours ago | loading comments

18.

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

(unlayer.com)

35 points by adeelraza 6 hours ago | loading comments

19.

Mechanical light bulb from 1675 [video]

(www.youtube.com/watch?v=0Y-9GbsS9Fg)

60 points by kadohg 8 days ago | loading comments

20.

Does creatine make you smarter?

(dynomight.net/creatine/)

205 points by surprisetalk 6 hours ago | loading comments

21.

“We have information that Moonshot distilled Fable for the development of K3”

(twitter.com/mkratsios47/status/2079933645888880708)

185 points by softwaredoug 7 hours ago | loading comments

22.

Full Scale Foldable Wing Extensions

(www.airbus.com/en/newsroom/press-releases/2026-07-airbus-launches-new-flight-test-programme-for-wing-of-tomorrow)

57 points by r2sk5t 7 hours ago | loading comments

23.

10 REM"_(C2SLFF4

(beej.us/blog/data/mystery-comment/)

146 points by ingve 10 hours ago | loading comments

24.

Which streaming service was that on again?

(www.timwehrle.de/blog/which-streaming-service-was-that-on-again/)

27 points by weetii 7 hours ago | loading comments

25.

Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL

(deepsql.ai/)

38 points by venkat971 2 days ago | loading comments

26.

Perlin's Noise Algorithm (2023)

(blog.jaysmito.dev/blog/02-perlins-noise-algorithm/)

55 points by ibobev 7 hours ago | loading comments

27.

Introduction to Formal Verification with Lean Part 1

(hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1))

218 points by badcryptobitch 3 days ago | loading comments

28.

Passkeys were invented by engineers with zero understanding of consumer brain

(twitter.com/nikitabier/status/2079787406300266743)

397 points by ksec 7 hours ago | loading comments

29.

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links

(www.orangecrumbs.com/hall/)

165 points by oyster143 6 hours ago | loading comments

30.

Critical Minerals: Reducing U.S. import reliance with substitution and recycling

(www.gao.gov/products/gao-26-108687)

45 points by Jimmc414 6 hours ago | loading comments