2026
an archive of posts from this year
| Oct 06, 2026 | Simple Sabotage |
|---|---|
| Sep 22, 2026 | mathe.social |
| Sep 15, 2026 | Theoremoids |
| Jul 22, 2026 | Just ‘42’ tells us nothing. |
| Jul 16, 2026 | Auto-formalization II: Now What? |
| May 04, 2026 | Auto-formalization I: Keep Trying |
| Apr 25, 2026 | Wissenschaftskommunikation im Fediverse |
| Apr 16, 2026 | Bachelor- und Masterarbeiten |