Palomar: A registry of Lean verified mathematics
107 points - today at 2:41 AM
SourceDetails - 18 CommentsA 3D fruit fly on macOS desktop powered by the real FlyWire connectome
286 points - yesterday at 9:50 PM
SourceDetails - 107 CommentsScientists stunned by children's lung recovery in ultra low emission zone
273 points - today at 12:48 AM
SourceDetails - 210 CommentsHow does IKEA come up with names for its products?
352 points - yesterday at 6:11 PM
SourceDetails - 247 Commentsλλ: A Programming Language for Silicon Photonics
28 points - today at 6:09 AM
SourceDetails - 6 CommentsSolo – a .so loader for static Linux binaries
145 points - yesterday at 11:51 PM
SourceDetails - 165 CommentsThe Vietnam Binh Chau (Chau Tan) Late Tang Wreck
41 points - today at 1:36 AM
SourceDetails - 3 CommentsThe Mojo language (by Modular, now Qualcomm) is now open-source
55 points - today at 7:47 AM
SourceDetails - 18 CommentsActivation Energy is a good model for a lot of things
12 points - last Friday at 3:40 PM
SourceDetails - 1 CommentsFinger: the 1971 social network that never died
220 points - yesterday at 7:21 AM
SourceDetails - 69 CommentsShow HN: Automatically detect and patch walking-dead states in Sierra games
69 points - today at 1:58 AM
SourceDetails - 23 CommentsA 25-year-old video patent just expired, ending a legal headache for Linux
198 points - last Saturday at 4:17 PM
SourceDetails - 86 CommentsTurbovec – Google's TurboQuant for vector search in Rust
252 points - yesterday at 6:07 PM
SourceDetails - 31 Comments