LICS paper with @trebor@types.pl accepted! 🎉
Carlo Angiuli
@carloangiuli@mathstodon.xyz
mastodon
4.5.8
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
0
Followers
0
Following
Joined October 10, 2024
Website:
Posts
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
·
2d ago
25
0
4
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
·
Mar 06, 2026
@ryanbrewer There's a video here at https://hott-uf.github.io/2020/ but a ton has changed and I would disrecommend watching the talk to learn about gluing. (Maybe the first half, which includes these slides, is still worth watching.)
One resource for both topics is the book on dependent type theory I'm writing with @danielgratzer, although unfortunately cubical type theory + gluing are like......the two unfinished parts of the book, lol. But here's the draft: https://carloangiuli.com/papers/type-theory-book.pdf (updated public draft coming soon!)
View full thread on mathstodon.xyz
3
2
1
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
·
Mar 05, 2026
@amy honestly this is the exact reaction I'm aiming for in all my presentations
View full thread on mathstodon.xyz
7
0
0
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
·
Mar 05, 2026
Ah indeed, it was July 2020...
View full thread on mathstodon.xyz
9
0
0
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
·
Mar 05, 2026
I must have been in some kind of mood when I wrote these...
View full thread on mathstodon.xyz
14
6
3
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
·
Mar 05, 2026
28
1
11
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
@modulux I hope so! At the very least, the *non-symbolic* parts of these documents should be substantially more accessible, which is a first step.
View full thread on mathstodon.xyz
2
0
0
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
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
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
Here's what I've learned about generating accessible PDFs with LaTeX! ...especially for any American academics at public universities whose materials need to meet accessibility requirements starting April 24, 2026. :)
72
5
66