new URL for “a dumb introduction to #Z3”. #formal-methods #toread
#Tom-Jennings on why the TIP120 is obsolete #electronics #hardware and more generally on how you should use newer parts and not a 2N2222 or LM386
#Tom-Jennings’s #history of #ASCII and related codes
#Tom-Jennings on #wabi-sabi of high-tech stuff
“In this post hoc analysis of a randomized clinical trial including 498 children, high-dose vitamin D₃ supplementation was associated with better verbal and visual memory and set shift at age 10 years compared with standard-dose vitamin D₃, although the association with flexibility or set shift did not remain significant after false discovery rate correction.” #medicine #paper #toread
impressive thread on the orange website about #AI doing impressive things is very impressive: “Fixing my furnace, New software for a retro keyboard, Customizing my camper van, Porting my astronomy app from an old Nokia phone, Fixing my kid’s science fair project, Unborking the family printer, Learning to draw anatomy (!), Lowering my electrical bill, Making classic guitar pedals programmable, Avocado armchair guy victory lap, Putting an overlay on enemies in a video game”
“#Wikipedia Celebrates 750 Years Of American Independence” #humor from 2006: “Little did such founding fathers as George Washington, George Jefferson, and ERIC IS A FAG know that their small, querulous republic would later become the most powerful and prosperous nation in history, the Unified States Of America.”
Sarah Constantin on #AI (GPT-2) from 02019, with the Pérez four-horned unicorns, etc. #history
#Scott-Alexander on #AI in the form of GPT-2 in 02019. #history
#PDF of a #paper about #RLHF or something similar from 02022. #AI #history
#Linux without an #MMU such as #ucLinux
#SpaceX won’t get added to the S&P 500 on a proposed fast track which would have also added #OpenAI. #finance #news