Summary of asciimath vocabulary and symbols, although does NOT seem complete, for example some integrals are missing
Type math character that can be copied to emacs document
Insert Unicode math characters in emacs
Lean is a language that supports theorem prooving. It has, among other features, dependend data types - types that allow to check state transition
Use OBS Studio OR droidcam-cli to use Android as a camera on linux.
Inexpensive wines compared 1. Kim Crawford Sauvignon Blank 88 points 2. Gigal Cotes du Rhone 88 points 3. Cassiles de Diablo Carmenere (?) 86 points
This code represents the very core of AI training and inference. All in 200 lines of code.
