Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com)nicolas-siplis2043h114
Hister: A private search engine for the pages you visit and the files you keep(github.com)bookofjoe3987h122
How do we prevent mathemathics from devolving into the Medieval Era of secrecy?(mathoverflow.net)jjgreen582d37
My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it(jakeasmith.com)jakeasmith3202d96
The Relation Between Mathematics and Physics by Paul Dirac (1939)(www.damtp.cam.ac.uk)rramadass1524d57
Mastering Layout Engines in Graphviz: Dot vs. Neato vs. Twopi vs. Circo(guides.visual-paradigm.com)vismit2000403d8
Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations(github.com)arnemunthekaas22712d255
U.S. Strike on Iranian School May Have Been War Crime, U.N. Report Says(www.nytimes.com)vinni212~55m2
Microsoft, OpenAI lose fight to hide internal docs admitting scraping is theft(arstechnica.com)pseudolus293h3