OpenLogi openlogi.org
665 points by amatheus 7 hours ago | 182 comments
1Cerebras CS-4 www.cerebras.ai
277 points by sunils34 9 hours ago | 196 comments
2Palomar: A registry of Lean verified mathematics terrytao.wordpress.com
103 points by matt_d 7 hours ago | 16 comments
3Supersonic Trebuchet [video] www.youtube.com
105 points by CharlesW 4 days ago | 30 comments
4Being ambitious and being a dad nicholascharriere.com
495 points by nichochar 2 days ago | 302 comments
5The Two Factions of C++ herecomesthemoon.net
18 points by signa11 3 days ago | 9 comments
6Scientists stunned by children's lung recovery in ultra low emission zone www.bbc.com
260 points by dabinat 9 hours ago | 190 comments
7A 3D fruit fly on macOS desktop powered by the real FlyWire connectome github.com
279 points by phoenix120 12 hours ago | 106 comments
8How does IKEA come up with names for its products? www.ikea.com
349 points by NaOH 15 hours ago | 229 comments
9Solo – a .so loader for static Linux binaries github.com
144 points by zX41ZdbW 10 hours ago | 152 comments
10λλ: A Programming Language for Silicon Photonics dl.acm.org
20 points by matt_d 3 hours ago | 5 comments
11Where Human Sleep Went Wrong nautil.us
53 points by XzetaU8 2 hours ago | 41 comments
12The Vietnam Binh Chau (Chau Tan) Late Tang Wreck www.koh-antique.com
39 points by teleforce 8 hours ago | 3 comments
13Activation Energy is a good model for a lot of things homosabiens.substack.com
6 points by surprisetalk 4 days ago | 0 comments
14AI usage patterns in software teams linear.app
139 points by giuliomagnifico 11 hours ago | 70 comments
15The Mojo language (by Modular, now Qualcomm) is now open-source www.modular.com
41 points by flaburgan 2 hours ago | 14 comments
16Finger: the 1971 social network that never died en.andros.dev
214 points by andros 1 day ago | 67 comments
17Show HN: Automatically detect and patch walking-dead states in Sierra games github.com
61 points by wkfauna 7 hours ago | 23 comments
18CUDA Shared Memory Swizzling leimao.github.io
50 points by jxmorris12 5 days ago | 2 comments
19Turbovec – Google's TurboQuant for vector search in Rust github.com
250 points by fittingopposite 15 hours ago | 31 comments
20A 25-year-old video patent just expired, ending a legal headache for Linux www.xda-developers.com
191 points by theanonymousone 3 days ago | 72 comments
21Meta's blockbuster trial draws parallels to big tobacco www.economist.com
233 points by newsomix9xl 7 hours ago | 185 comments
22And then the men with guns tell you to do it anyway shkspr.mobi
318 points by _djo_ 16 hours ago | 207 comments
23The Amazon tax seths.blog
1177 points by herbertl 20 hours ago | 628 comments
24Claude writing a macOS driver for my obscure HP printer built only for Windows twitter.com
201 points by porridgeraisin 21 hours ago | 158 comments
25Looking for Missed Alarm Bugs in a Formal Verification Tool blog.regehr.org
13 points by luu 5 days ago | 0 comments
26Show HN: Interactive, animated architecture of any HuggingFace models modelmap.cc
81 points by lizhaoliu 9 hours ago | 9 comments
27"Sabotage": Experts, lawmakers blast RFK Jr. for destroying healthcare research arstechnica.com
49 points by 01-_- 2 hours ago | 8 comments
28Apple announces changes for apps in the European Union www.apple.com
192 points by newusertoday 17 hours ago | 271 comments
29Tiny satellite will use the dark side of the Moon as a shield www.cam.ac.uk
40 points by NordStreamYacht 8 hours ago | 7 comments
30