In reply to
Carlo Angiuli
@carloangiuli@mathstodon.xyz
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
mathstodon.xyz
Carlo Angiuli
@carloangiuli@mathstodon.xyz
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
mathstodon.xyz
@carloangiuli@mathstodon.xyz
·
Feb 17, 2026
As you might have guessed, meeting the requirements is not quite the same as actually making one's mathematics very accessible.
I'm interested in figuring out how to actually do the latter by instrumenting my macros to generate helpful alt text, but that project will have to wait a few months.
View full thread on mathstodon.xyz
9
0
2
Loading comments...