Alkemet News

OpenLogi (openlogi.org)

735 points

by amatheus

9 hours ago |

Cerebras CS-4 (cerebras.ai)

290 points

by sunils34

10 hours ago |

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

33 points

by signa11

3 days ago |

Being ambitious and being a dad (nicholascharriere.com)

522 points

by nichochar

3 days ago |

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

107 points

by matt_d

8 hours ago |

Supersonic Trebuchet [video] (youtube.com)

113 points

by CharlesW

4 days ago |

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

285 points

by phoenix120

13 hours ago |

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

272 points

by dabinat

10 hours ago |

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

352 points

by NaOH

16 hours ago |

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

27 points

by matt_d

5 hours ago |

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

145 points

by zX41ZdbW

11 hours ago |

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

41 points

by teleforce

9 hours ago |

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

11 points

by surprisetalk

5 days ago |

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

54 points

by flaburgan

3 hours ago |

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

220 points

by andros

a day ago |

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

69 points

by wkfauna

9 hours ago |

AI usage patterns in software teams (linear.app)

143 points

by giuliomagnifico

13 hours ago |

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

197 points

by theanonymousone

4 days ago |

CUDA Shared Memory Swizzling (leimao.github.io)

51 points

by jxmorris12

6 days ago |

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

252 points

by fittingopposite

17 hours ago |

Rings forged from meteorites may have been fashionable among ancient Greek elite (phys.org)

4 points

by pseudolus

5 days ago |

Where Human Sleep Went Wrong (nautil.us)

63 points

by XzetaU8

3 hours ago |

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

206 points

by porridgeraisin

a day ago |

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

326 points

by _djo_

17 hours ago |

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

238 points

by newsomix9xl

8 hours ago |

The Amazon tax (seths.blog)

1187 points

by herbertl

21 hours ago |

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

15 points

by luu

5 days ago |

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

84 points

by lizhaoliu

11 hours ago |

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

202 points

by newusertoday

18 hours ago |

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

42 points

by NordStreamYacht

10 hours ago |