Dave
Dave
## Problem you are facing We've had a misunderstanding in the submission process which could've been prevented by communicating more data in the process. Story: I submitted a workshop to...
## 💡 Summary This is from the outside perspective of a user of a Mastodon server that has its LOCAL_DOMAIN (the "host" part of the account name) set differently from...
Hi, I'm having some issues with formula editing on Android. None of the methods I tried allow me to add a simple "* cos( sqrt(x^2 + y^2) )" to the...
The device verification screen currently works only for people who know how it should work. Currently, if I finally get someone to join a matrix channel via Riot, they'll never...
Send welcome mail on registration.
On sending forms via ajax, the + character does not seem to be escaped. Looks like a problem in ajax.js.
Graph generation has become too expensive. We need a cache and invalidate mechanism...
replace _loadgame and _savegame by real persistence: http://www.zodb.org/ ... and maybe add a persistent ZEO server (which also could run timed actions, publishing bonus victims, decoupling long-running xetex stuff from...
- parse on input, use datetime thoroughly - accept nearly everything as date (including s.th. like '18h' as "the last time it was 18:00" -- dateutil?) - add start time...
"Kick Player" removes a player from the game. But the case "Player has left the game" should just kill him in all circles without removing his object from the game...