buying several expensive hardcover homotopy type theory textbooks that i will never read solely to press tofu

jack boosted

poynting vectors? i thought all vectors did that

jack boosted
jack boosted
jack boosted

For more on how acoustic gunshot detection devices endanger residents, disproportionately impact people of color, and invade our privacy, check out EFF’s issue page. eff.org/pages/gunshot-detectio

jack boosted

i wish i could experience as much joy as bartosz milewski for drawing arrows between two circles of slightly different size

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.