buying several expensive hardcover homotopy type theory textbooks that i will never read solely to press tofu
poynting vectors? i thought all vectors did that
finally found the screenshot
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. https://www.eff.org/pages/gunshot-detection
dni if youve ever used a computer
i wish i could experience as much joy as bartosz milewski for drawing arrows between two circles of slightly different size
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.