jack

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

0
jack boosted
david

poynting vectors? i thought all vectors did that

1
jack boosted
Anne C.A. Baanen

finally found the screenshot

1+
jack boosted
'(B . Slade)

from: twitter.com/KaySavetz/status/1

0
jack boosted
Electronic Frontier Foundation

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

0
jack boosted
rose

dni if youve ever used a computer

0
jack

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

0
types.pl

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

Resources

Developers

What is Mastodon?

types.pl

More…