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

Android as WebCam on Linux

Use OBS Studio OR droidcam-cli to use Android as a camera on linux.

Personal story