1. Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample (chatgpt.com)
Here's a chat someone thought you'd want to see.
3. John C. Dvorak has died (twitter.com)
It is with great sadness that we announce the passing of John C. Dvorak, our beloved husband, father, and cherished host of the No Agenda Show at the age of 74.
More to follow.
More to follow.
4. Are AI Labs Pelicanmaxxing? (dylancastillo.co)
I generated 1,000+ SVGs across 7 frontier models to test whether AI labs are training on Simon Willison’s pelican-riding-a-bicycle benchmark.
5. OverpAId – Fire your CEO. Hire the future (overpaid.lol)
OverpAId is the AI Executive Platform that replaces your nine-figure leadership team with something that actually works. (Satire.)
6. Everyone Should Know SIMD (mitchellh.com)
7. GigaToken: ~1000x faster Language model tokenization (github.com)
Language model tokenization at GB/s. Contribute to marcelroed/gigatoken development by creating an account on GitHub.
8. So Reddit has decided that plain HTML is unsafe (www.cole-k.com)
I am equally unsurprised and upset
9. Passkeys were invented by engineers with zero understanding of consumer brain (twitter.com)
@iamjasonlevin Passkeys were invented by security engineers with zero understanding of the consumer brain.
We had no way to argue its merits since no one understood what they are.
As a result, we are now all asked to produce the magic fairy dust to login to apps.
It may be on your phone, in
We had no way to argue its merits since no one understood what they are.
As a result, we are now all asked to produce the magic fairy dust to login to apps.
It may be on your phone, in
10. The startup's Postgres survival guide (hatchet.run)
A guide to preventing Postgres from toppling over.
11. Quality non-fiction books are the antithesis of AI slop (resobscura.substack.com)
12. I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)
Appaji, a Computer Science graduate from IIT Patna and former intern at Arista Networks, is a Software Engineer at Infinite Reality. Passionate about building innovative web experiences, with a strong interest in sustainable and customer-focused startups.
13. LG to Ban Residential Proxies from Smart TV Apps (krebsonsecurity.com)
15. Businesses with ugly AI menu redesigns (blog.fiddery.com)
I like supporting local businesses but it's so disheartening to see the increasing use of genAI in their branding/marketing/etc. Yuck yuck YUCK!!!
16. Does creatine make you smarter? (dynomight.net)
And why does the brain use creatine anyway?
17. Back to Kagi (blog.melashri.net)
A reflection on returning to Kagi after trying some alternatives including the much worse search engine called Google.
18. Late.sh – a command-line Clubhouse for computer people (late.sh)
A cozy command-line clubhouse for computer people. Chat, music, games, art, coding, and tech news. Connect with any SSH client!
19. Nobody knows what a used GPU cluster is worth (ciphertalk.substack.com)
20. A Zipper Patent Sat in a Garage for 40 Years. Now It's Real (www.yankodesign.com)
Back in 1985, an electrical engineer at Polaroid named Bill Freeman had an idea for a three-sided zipper. Not a novelty item, not a quirky art piece, but a genuinely functional fastener capable of switching objects between soft, floppy states and rigid, load-bearing structures. He submitted it to a design competition. They rejected it. He
21. We have information that Moonshot distilled Fable for the development of K3 (twitter.com)
We have information that Moonshot AI distilled Anthropic’s Fable for the development of its K3 model.
To do this they developed a sophisticated internal platform to conduct large scale distillation against U.S. models, allowing them to quickly switch between multiple methods of
To do this they developed a sophisticated internal platform to conduct large scale distillation against U.S. models, allowing them to quickly switch between multiple methods of
23. It's a shame what's happened to radio (blog.jimgrey.net)
Why I wouldn't enjoy returning to radio as a disk jockey.
24. Intel Starts Shipping High-NA EUV Silicon (morethanmoore.substack.com)
25. Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
26. Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links (www.orangecrumbs.com)
Browse 1,169 Hall of Fame links and 1,994 Candidates, with complete Hacker News submission histories.
27. Ten Steps Towards Happiness (hintjens.com)
28. Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong (github.com)
On-device models that know when they're wrong: every answer carries a confidence score for cloud handoff. Copy-paste quickstarts for Cactus, Transformers, llama.cpp and MLX. - cactus-compute/ca...
29. Ghost Cut – or why Cut and Paste is broken everywhere (ishmael.textualize.io)
Is it Cut 'n' Paste, like Fish 'n' Chips?
30. Original Apollo 11 Guidance Computer source code for command and lunar modules (github.com)
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules. - chrislgarry/Apollo-11