Convert AsciiMath to Latex online
This describes how to download models from Hugging Face. It has to be done through command line and one has to have a login, which I do.
Projekt umožňuje integrovat whisper jazykový model do Androidové klávesnice.
Whisper is set of speech recognition models that include Czech. It seems to be a sort of standard. Try it on photo keyboard.
OpenCode Is open source AI coding assistant.
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.
