mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

3K
active users

amen zwa, esq.

I shrugged, dismissively, when the Reason language was announced as the new syntactic veneer atop OCaml. OCaml in C/C++/Java/JavaScript syntax—why?

But I, too, had been ensnared by that same comfortable vice grip of "apparent innovation". On many occasions, I had dreamt of new, modernised syntax for Fortran, C, Standard ML, Scheme, and the like. In my dreams, that so-called "new" syntax inexplicably resembles the "old" syntax of Hope/Miranda/Haskell/Agda.

....🤷‍♂️

amenzwa.github.io/stem/PL/Fort

amenzwa.github.ioA Forlorn Hope of Fortran Modernisation · Amen Zwa, Esq.