OpenLogi openlogi.org
721 points by amatheus 8 hours ago | 207 comments
1Cerebras CS-4 www.cerebras.ai
289 points by sunils34 10 hours ago | 202 comments
2The Two Factions of C++ (2024) herecomesthemoon.net
32 points by signa11 3 days ago | 17 comments
3Being ambitious and being a dad nicholascharriere.com
514 points by nichochar 2 days ago | 327 comments
4Palomar: A registry of Lean verified mathematics terrytao.wordpress.com
106 points by matt_d 7 hours ago | 17 comments
5Supersonic Trebuchet [video] www.youtube.com
111 points by CharlesW 4 days ago | 40 comments
6A 3D fruit fly on macOS desktop powered by the real FlyWire connectome github.com
285 points by phoenix120 12 hours ago | 106 comments
7Scientists stunned by children's lung recovery in ultra low emission zone www.bbc.com
271 points by dabinat 9 hours ago | 205 comments
8How does IKEA come up with names for its products? www.ikea.com
351 points by NaOH 16 hours ago | 243 comments
9λλ: A Programming Language for Silicon Photonics dl.acm.org
27 points by matt_d 4 hours ago | 6 comments
10Solo – a .so loader for static Linux binaries github.com
145 points by zX41ZdbW 10 hours ago | 162 comments
11Where Human Sleep Went Wrong nautil.us
63 points by XzetaU8 2 hours ago | 49 comments
12The Vietnam Binh Chau (Chau Tan) Late Tang Wreck www.koh-antique.com
41 points by teleforce 8 hours ago | 3 comments
13Activation Energy is a good model for a lot of things homosabiens.substack.com
9 points by surprisetalk 4 days ago | 0 comments
14AI usage patterns in software teams linear.app
142 points by giuliomagnifico 12 hours ago | 82 comments
15The Mojo language (by Modular, now Qualcomm) is now open-source www.modular.com
53 points by flaburgan 2 hours ago | 17 comments
16Finger: the 1971 social network that never died en.andros.dev
220 points by andros 1 day ago | 69 comments
17Show HN: Automatically detect and patch walking-dead states in Sierra games github.com
67 points by wkfauna 8 hours ago | 23 comments
18CUDA Shared Memory Swizzling leimao.github.io
51 points by jxmorris12 5 days ago | 2 comments
19Turbovec – Google's TurboQuant for vector search in Rust github.com
252 points by fittingopposite 16 hours ago | 31 comments
20A 25-year-old video patent just expired, ending a legal headache for Linux www.xda-developers.com
196 points by theanonymousone 3 days ago | 83 comments
21Claude writing a macOS driver for my obscure HP printer built only for Windows twitter.com
205 points by porridgeraisin 22 hours ago | 162 comments
22Meta's blockbuster trial draws parallels to big tobacco www.economist.com
238 points by newsomix9xl 8 hours ago | 190 comments
23And then the men with guns tell you to do it anyway shkspr.mobi
324 points by _djo_ 17 hours ago | 209 comments
24The Amazon tax seths.blog
1185 points by herbertl 21 hours ago | 631 comments
25Show HN: Interactive, animated architecture of any HuggingFace models modelmap.cc
83 points by lizhaoliu 10 hours ago | 9 comments
26Looking for Missed Alarm Bugs in a Formal Verification Tool blog.regehr.org
14 points by luu 5 days ago | 0 comments
27Apple announces changes for apps in the European Union www.apple.com
202 points by newusertoday 18 hours ago | 287 comments
28Tiny satellite will use the dark side of the Moon as a shield www.cam.ac.uk
42 points by NordStreamYacht 9 hours ago | 7 comments
29Beware Management Consultants about.iceland.co.uk
553 points by KolmogorovComp 15 hours ago | 149 comments
30