• OpenLogi

  699 points by amatheus 8 hours | hide | 51 comments
• Cerebras CS-4

  283 points by sunils34 9 hours | hide | 21 comments
• The Two Factions of C++

  26 points by signa11 3 days | hide | 11 comments
• Palomar: A registry of Lean verified mathematics

  105 points by matt_d 7 hours | hide | 10 comments
• Being ambitious and being a dad

  504 points by nichochar 2 days | hide | 98 comments
• Supersonic Trebuchet [video]

  110 points by CharlesW 4 days | hide | 10 comments
• A 3D fruit fly on macOS desktop powered by the real FlyWire connectome

  283 points by phoenix120 12 hours | hide | 22 comments
• Scientists stunned by children's lung recovery in ultra low emission zone

  267 points by dabinat 9 hours | hide | 30 comments
• Where Human Sleep Went Wrong

  60 points by XzetaU8 2 hours | hide | 11 comments
• How does IKEA come up with names for its products?

  349 points by NaOH 16 hours | hide | 50 comments
• Solo – a .so loader for static Linux binaries

  145 points by zX41ZdbW 10 hours | hide | 15 comments
• Activation Energy is a good model for a lot of things

  9 points by surprisetalk 4 days | hide | comments
• λλ: A Programming Language for Silicon Photonics

  21 points by matt_d 4 hours | hide | 3 comments
• The Vietnam Binh Chau (Chau Tan) Late Tang Wreck

  40 points by teleforce 8 hours | hide | 4 comments
• AI usage patterns in software teams

  139 points by giuliomagnifico 12 hours | hide | 19 comments
• The Mojo language (by Modular, now Qualcomm) is now open-source

  48 points by flaburgan 2 hours | hide | 11 comments
• Finger: the 1971 social network that never died

  219 points by andros 1 days | hide | 28 comments
• Show HN: Automatically detect and patch walking-dead states in Sierra games

  64 points by wkfauna 8 hours | hide | 10 comments
• Turbovec – Google's TurboQuant for vector search in Rust

  251 points by fittingopposite 16 hours | hide | 20 comments
• A 25-year-old video patent just expired, ending a legal headache for Linux

  195 points by theanonymousone 3 days | hide | 5 comments
• CUDA Shared Memory Swizzling

  50 points by jxmorris12 5 days | hide | 2 comments
• Meta's blockbuster trial draws parallels to big tobacco

  236 points by newsomix9xl 7 hours | hide | 19 comments
• And then the men with guns tell you to do it anyway

  323 points by _djo_ 17 hours | hide | 37 comments
• Claude writing a macOS driver for my obscure HP printer built only for Windows

  203 points by porridgeraisin 21 hours | hide | 65 comments
• The Amazon tax

  1184 points by herbertl 20 hours | hide | 149 comments
• Looking for Missed Alarm Bugs in a Formal Verification Tool

  14 points by luu 5 days | hide | 1 comments
• Show HN: Interactive, animated architecture of any HuggingFace models

  82 points by lizhaoliu 10 hours | hide | 9 comments
• Apple announces changes for apps in the European Union

  199 points by newusertoday 18 hours | hide | 35 comments
• Beware Management Consultants

  553 points by KolmogorovComp 14 hours | hide | 33 comments
• Tiny satellite will use the dark side of the Moon as a shield

  41 points by NordStreamYacht 9 hours | hide | 3 comments