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
@jonmsterling Yeah! Despite how imperfect the whole situation is currently, I am extremely impressed with all the work they've done, both on accessibility itself and on overhauling the internals to make the kernel more extensible.
The one downside is that some older packages that do "evil" things to the internals will bit rot sooner rather than later.
View full thread on mathstodon.xyz
6
0
0
Loading comments...