Hacker News with Generative AI

OpenLogi (openlogi.org)

677 points by amatheus 8 hours ago | 192 comments

Cerebras CS-4 (cerebras.ai)

280 points by sunils34 10 hours ago | 199 comments

Palomar: A registry of Lean verified mathematics (wordpress.com)

104 points by matt_d 8 hours ago | 16 comments

Being ambitious and being a dad (nicholascharriere.com)

500 points by nichochar 3 days ago | 307 comments

Supersonic Trebuchet [video] (youtube.com)

107 points by CharlesW 4 days ago | 31 comments

The Two Factions of C++ (herecomesthemoon.net)

20 points by signa11 3 days ago | 13 comments

A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com/DenisSergeevitch)

281 points by phoenix120 12 hours ago | 106 comments

Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)

264 points by dabinat 9 hours ago | 196 comments

How does IKEA come up with names for its products? (ikea.com)

349 points by NaOH 16 hours ago | 232 comments

Solo – a .so loader for static Linux binaries (github.com/pg83)

145 points by zX41ZdbW 10 hours ago | 159 comments

Activation Energy is a good model for a lot of things (homosabiens.substack.com)

7 points by surprisetalk 5 days ago | 0 comments

λλ: A Programming Language for Silicon Photonics (dl.acm.org)

20 points by matt_d 4 hours ago | 5 comments

The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)

40 points by teleforce 9 hours ago | 3 comments

Where Human Sleep Went Wrong (nautil.us)

55 points by XzetaU8 3 hours ago | 43 comments

AI usage patterns in software teams (linear.app)

139 points by giuliomagnifico 12 hours ago | 73 comments

Finger: the 1971 social network that never died (andros.dev)

215 points by andros 1 day ago | 68 comments

The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)

45 points by flaburgan 2 hours ago | 17 comments

Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com/katiahayati)

61 points by wkfauna 8 hours ago | 23 comments

CUDA Shared Memory Swizzling (leimao.github.io)

50 points by jxmorris12 6 days ago | 2 comments

Turbovec – Google's TurboQuant for vector search in Rust (github.com/RyanCodrai)

250 points by fittingopposite 16 hours ago | 31 comments

A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)

193 points by theanonymousone 4 days ago | 76 comments

Meta's blockbuster trial draws parallels to big tobacco (economist.com)

235 points by newsomix9xl 8 hours ago | 185 comments

And then the men with guns tell you to do it anyway (shkspr.mobi)

322 points by _djo_ 17 hours ago | 207 comments

Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com)

202 points by porridgeraisin 22 hours ago | 160 comments

The Amazon tax (seths.blog)

1179 points by herbertl 21 hours ago | 629 comments

Looking for Missed Alarm Bugs in a Formal Verification Tool (regehr.org)

13 points by luu 5 days ago | 0 comments

Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)