OpenLogi
(openlogi.org)Supersonic Trebuchet [video]
(www.youtube.com)Palomar: A registry of Lean verified mathematics
(terrytao.wordpress.com)Scientists stunned by children's lung recovery in ultra low emission zone
(www.bbc.com)Cerebras CS-4
(www.cerebras.ai)A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
(github.com)Meta's blockbuster trial draws parallels to big tobacco
(www.economist.com)The Vietnam Binh Chau (Chau Tan) Late Tang Wreck
(www.koh-antique.com)How does IKEA come up with names for its products?
(www.ikea.com)CUDA Shared Memory Swizzling
(leimao.github.io)Solo – a .so loader for static Linux binaries
(github.com)AI usage patterns in software teams
(linear.app)Looking for Missed Alarm Bugs in a Formal Verification Tool
(blog.regehr.org)Show HN: Automatically detect and patch walking-dead states in Sierra games
(github.com)Cursor launches Origin, GitHub alternative
(cursor.com)Turbovec – Google's TurboQuant for vector search in Rust
(github.com)And then the men with guns tell you to do it anyway
(shkspr.mobi)Finger: the 1971 social network that never died
(en.andros.dev)Memory prices climb 500% in 12 months
(www.tomshardware.com)A 25-year-old video patent just expired, ending a legal headache for Linux
(www.xda-developers.com)The Amazon tax
(seths.blog)Claude writing a macOS driver for my obscure HP printer built only for Windows
(twitter.com)Show HN: Interactive, animated architecture of any HuggingFace models
(modelmap.cc)Being ambitious and being a dad
(nicholascharriere.com)Sticky wage norms and the real wage cost of unexpected inflation
(bfi.uchicago.edu)Universal health coverage could save $1T and 114k lives a year: study
(ysph.yale.edu)Tiny satellite will use the dark side of the Moon as a shield
(www.cam.ac.uk)That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis
(lithub.com)Apple announces changes for apps in the European Union
(www.apple.com)The 90-year history of the binoculars bolted to scenic overlooks
(www.dpreview.com)