January 2023 updates
2023-Jan-17A great idea: let people use your yard as a vegetable garden and receive a percentage of the produce
Lifting CrossHair (automatic bug finder) from Python to SQL via SQLGlot
New note: Survey on computer assisted natural language problem solving in the formal sciences
New note: Global keyboard shortcuts for editing like in emacs, screenshots, and media controls