Replying to
@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
Remote
Josh Chen
@jaycech3n@mathstodon.xyz
mastodon 4.7.2Mathematician in a computer science department · Postdoc @ Theory of Computation, University of Birmingham · ex FP Lab, University of Nottingham
0 Followers
0 Following
4 Posts
Joined November 12, 2022
Website:
Personal edition:
Replying to
@Vierkantor@mastodon.vierkantor.com (Hi Anne! We hung out a long time ago at a HoTT/UF summer school in Birmingham) sadly Lean's leadership and marketing contributes a fair amount to this very same culture..