Post #1846708
2026-04-30 15:39 UTC
@MartinEscardo I use Arch and I rarely fiddle; it does mean I get hit with and have to troubleshoot the breaking LaTeX changes a year or two earlier than most other people though.
@liamoc @jonmsterling
Replies (1)
-
@MartinEscardo@mathstodon.xyz 2026-04-30 15:40
@jaycech3n I have a colleague, a professor, who I shall not name, who constantly has Agda broken as a result of updates to other things. @liamoc @jonmsterling