HN

OpenLogi (openlogi.org)

701 points

by amatheus

8 hours ago |

Cerebras CS-4 (cerebras.ai)

283 points

by sunils34

10 hours ago |

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

27 points

by signa11

3 days ago |

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

105 points

by matt_d

8 hours ago |

Being ambitious and being a dad (nicholascharriere.com)

504 points

by nichochar

3 days ago |

Supersonic Trebuchet [video] (youtube.com)

110 points

by CharlesW

4 days ago |

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

283 points

by phoenix120

13 hours ago |

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

267 points

by dabinat

10 hours ago |

Where Human Sleep Went Wrong (nautil.us)

60 points

by XzetaU8

3 hours ago |

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

349 points

by NaOH

16 hours ago |

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

145 points

by zX41ZdbW

11 hours ago |

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

9 points

by surprisetalk

5 days ago |

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

21 points

by matt_d

4 hours ago |

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

40 points

by teleforce

9 hours ago |

AI usage patterns in software teams (linear.app)

139 points

by giuliomagnifico

12 hours ago |

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

48 points

by flaburgan

3 hours ago |

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

219 points

by andros

a day ago |

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

64 points

by wkfauna

8 hours ago |

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

251 points

by fittingopposite

16 hours ago |

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

195 points

by theanonymousone

4 days ago |

CUDA Shared Memory Swizzling (leimao.github.io)

50 points

by jxmorris12

6 days ago |

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

236 points

by newsomix9xl

8 hours ago |

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

323 points

by _djo_

17 hours ago |

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

203 points

by porridgeraisin

a day ago |

The Amazon tax (seths.blog)

1184 points

by herbertl

21 hours ago |

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

14 points

by luu

5 days ago |

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

82 points

by lizhaoliu

10 hours ago |

Apple announces changes for apps in the European Union (apple.com)

199 points

by newusertoday

18 hours ago |

Beware Management Consultants (about.iceland.co.uk)

553 points

by KolmogorovComp

15 hours ago |

Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk)

41 points

by NordStreamYacht

9 hours ago |