alt
Hacker News
Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample
(chatgpt.com)
675 points
•
by
gmays
•
yesterday at 5:30 PM
•
404 comments
Quality non-fiction books are the antithesis of AI slop
(resobscura.substack.com)
201 points
•
by
benbreen
•
yesterday at 2:18 PM
•
83 comments
GigaToken: ~1000x faster Language model tokenization
(github.com)
400 points
•
by
syrusakbary
•
yesterday at 5:20 PM
•
79 comments
Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
(bento.page)
693 points
•
by
starfallg
•
yesterday at 3:19 PM
•
156 comments
Everyone should know SIMD
(mitchellh.com)
303 points
•
by
WadeGrimridge
•
yesterday at 5:48 PM
•
87 comments
Are AI Labs Pelicanmaxxing?
(dylancastillo.co)
418 points
•
by
dcastm
•
yesterday at 5:17 PM
•
162 comments
Medici family mystery may be solved after more than 400 years
(www.cnn.com)
88 points
•
by
effects
•
yesterday at 9:55 PM
•
21 comments
Restructuring GitHub's bug bounty program
(github.blog)
11 points
•
by
soheilpro
•
today at 2:28 AM
•
3 comments
Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong
(github.com)
89 points
•
by
HenryNdubuaku
•
yesterday at 5:56 PM
•
14 comments
John C. Dvorak has died
(twitter.com)
627 points
•
by
coleca
•
yesterday at 7:22 PM
•
203 comments
ascdraw: Editor for ASCII/UTF-8 diagrams (in 144FPS)
(github.com)
10 points
•
by
xlii
•
last Monday at 8:34 PM
•
2 comments
Malleable Computing, Emacs, and You
(yummymelon.com)
80 points
•
by
kickingvegas
•
yesterday at 9:15 PM
•
22 comments
Petals: Run LLMs at home, BitTorrent-style
(petals.dev)
67 points
•
by
snorbleck
•
today at 1:33 AM
•
25 comments
Nobody knows what a used GPU cluster is worth
(ciphertalk.substack.com)
184 points
•
by
rbanffy
•
07/15/2026
•
170 comments
Making
(beej.us)
301 points
•
by
erikschoster
•
yesterday at 3:33 PM
•
117 comments
Codeberg Bans Cryptocurrency Projects
(codeberg.org)
154 points
•
by
intunderflow
•
today at 1:06 AM
•
187 comments
The startup's Postgres survival guide
(hatchet.run)
337 points
•
by
abelanger
•
yesterday at 12:36 PM
•
175 comments
So Reddit has decided that plain HTML is unsafe
(www.cole-k.com)
319 points
•
by
montroser
•
yesterday at 12:32 PM
•
321 comments
Fairphone 6 wide camera experimental Linux support
(nondescriptpointer.com)
80 points
•
by
helonaut
•
yesterday at 8:16 PM
•
9 comments
What Rose Petals Teach Us about Induction
(www.oranlooney.com)
19 points
•
by
olooney
•
last Saturday at 2:04 PM
•
1 comment
Any text-to-SQL benchmark should address difficulties of real-world data stores
(cacm.acm.org)
42 points
•
by
shenli3514
•
yesterday at 9:54 PM
•
12 comments
Clarity didn't work, trying mysterianism (2012)
(gwern.net)
47 points
•
by
dboon
•
yesterday at 6:55 PM
•
15 comments
Businesses with ugly AI menu redesigns
(blog.fiddery.com)
204 points
•
by
speckx
•
yesterday at 12:49 PM
•
157 comments
Launch HN: Unlayer (YC W22) – Add email and document builders to your app
(unlayer.com)
47 points
•
by
adeelraza
•
yesterday at 4:02 PM
•
33 comments
Honey Bee Colony Monitoring via Audio IoT Sensors, Tensorgrams and RNNs
(arxiv.org)
4 points
•
by
StatsAreFun
•
today at 1:58 AM
•
0 comments
Back to Kagi
(blog.melashri.net)
216 points
•
by
speckx
•
yesterday at 1:08 PM
•
167 comments
Ghost Cut – or why Cut and Paste is broken everywhere
(ishmael.textualize.io)
139 points
•
by
willm
•
yesterday at 2:43 PM
•
93 comments
Taking OCaml and Eio for a Spin
(mattjhall.co.uk)
43 points
•
by
mattjhall
•
last Monday at 7:32 AM
•
6 comments
I Inspected My Take-Home Interview Project. It Was a Whole Operation
(citizendot.github.io)
306 points
•
by
CITIZENDOT
•
yesterday at 8:33 PM
•
82 comments
All 253 Patterns from Christopher Alexander's a Pattern Language Summarized
(claytondorge.com)
33 points
•
by
toomuchtodo
•
yesterday at 9:48 PM
•
3 comments
MemoryPack: Zero encoding extreme performance binary serializer for C#
(github.com)
23 points
•
by
breve
•
last Sunday at 12:20 PM
•
3 comments
Mage-Flow: Efficient Native-Resolution Foundation Model for Image Generation
(microsoft.github.io)
5 points
•
by
macote
•
today at 12:58 AM
•
1 comment
Anthropomorphism in Children's Interactions with LLM Chatbots
(arxiv.org)
28 points
•
by
StatsAreFun
•
yesterday at 10:49 PM
•
22 comments
How we made our LeRobot video reader up to 15× faster
(www.eventual.ai)
19 points
•
by
ykev
•
last Friday at 6:24 PM
•
0 comments
LG to ban residential proxies from smart TV apps
(krebsonsecurity.com)
409 points
•
by
DemiGuru
•
yesterday at 1:52 AM
•
415 comments
Men That Don't Fit In (1911)
(www.poetryfoundation.org)
35 points
•
by
oidar
•
yesterday at 9:40 PM
•
15 comments
Safari Technology Preview 248 Released
(webkit.org)
85 points
•
by
Erenay09
•
yesterday at 9:00 PM
•
63 comments
10 REM"_(C2SLFF4
(beej.us)
163 points
•
by
ingve
•
yesterday at 11:58 AM
•
47 comments
Introduction to Formal Verification with Lean Part 1
(hashcloak.com)
226 points
•
by
badcryptobitch
•
last Sunday at 3:49 PM
•
49 comments
Museum of the Human Web
(museum.parallel.ai)
19 points
•
by
ohjeez
•
07/15/2026
•
4 comments
Show HN: AgentNest, self-hosted sandboxes for AI agents
(github.com)
6 points
•
by
mihir_ahuja
•
today at 1:54 AM
•
2 comments
Amorality and greed at Silicon Valley's favourite university
(www.economist.com)
19 points
•
by
1vuio0pswjnm7
•
yesterday at 11:15 PM
•
1 comment
Does creatine make you smarter?
(dynomight.net)
277 points
•
by
surprisetalk
•
yesterday at 3:45 PM
•
230 comments
Intel Starts Shipping High-NA EUV Silicon
(morethanmoore.substack.com)
234 points
•
by
zdw
•
last Saturday at 7:56 PM
•
107 comments
“We have information that Moonshot distilled Fable for the development of K3”
(twitter.com)
226 points
•
by
softwaredoug
•
yesterday at 2:42 PM
•
583 comments
ScreenWall – Turn old phones into synced widgets for your space
(screenwall.app)
129 points
•
by
buibuibui
•
last Friday at 11:00 AM
•
47 comments
Which streaming service was that on again?
(www.timwehrle.de)
45 points
•
by
weetii
•
yesterday at 2:46 PM
•
68 comments
The Human Kintsugi
(0xff.nu)
10 points
•
by
hxii
•
yesterday at 10:43 PM
•
0 comments
Full Scale Foldable Wing Extensions
(www.airbus.com)
61 points
•
by
r2sk5t
•
yesterday at 2:57 PM
•
52 comments
Mechanical light bulb from 1675 [video]
(www.youtube.com)
78 points
•
by
kadohg
•
07/14/2026
•
42 comments