back
user profile
amichail
18,811karma·7,884submissions·February 20, 2007
about
I'm an indie game developer.
My previous games include DropZap and DropZap 2 for iOS.
My latest game is DropZap World. Check it out: https://apps.apple.com/app/id1072858930
https://bsky.app/profile/dropzapworld.bsky.social https://x.com/DropZapWorld https://www.threads.net/@dropzapworld
a.michail@me.com
recent activity (7,884 total)
comment
I had no idea the CoCo 3 was good until I watched this video: https://www.youtube.com/watch?v=r2Tq8jdS6mY …
comment
The AI would assign a score for each post/comment that looks like a vote count in the reddit UI and would be treated as a vote count when performing the various kinds of rankings that Reddit supp…
5 pts
comment
Like LaTeX, Typst is Turing-complete, which prevents flawless imports in other tools. What you want is a document format that is not Turing complete, such as the TeXmacs document format.
comment
I mean it would be rude to use a natural language that cannot be translated accurately to other languages. So why isn't it rude to use LaTeX to write documents given that LaTeX is Turing complete…
comment
Why should it be acceptable to make flawless translation to other formats impossible for LaTeX if you wouldn't want to do the same for English?
comment
LaTeX being a programming language makes it a bad idea for typesetting documents.
comment
Because it is good enough, widely used, and would make communication easier worldwide.
comment
Professional jargon isn't Turing-complete like LaTeX is.
comment
If it's a good idea to use a computational typesetting language — namely TeX/LaTeX, then maybe it is a good idea to make English computational also.