Carlo Angiuli

@carloangiuli@mathstodon.xyz

mastodon 4.5.7

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

0 Followers

0 Following

Joined October 10, 2024

Website:

https://www.carloangiuli.com

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 · Mar 05, 2026

I had totally forgotten about this slide deck about gluing from years ago...

View on mathstodon.xyz

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. :)

https://www.carloangiuli.com/pages/accessible-latex.html

View on mathstodon.xyz

Media

313k7r1n3

Company

About
Contact
FAQ

Legal

Terms of Service
Privacy Policy
VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

support@elektrine.com
Report Security Issue

Connect

Tor Hidden Service


            khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion