Pinned toot

Pinned toot

economics? Show more

Pinned toot

aphorism Show more

Pinned toot

aphorism Show more

re: Coq sorts Show more

McMaster researchers perform simple calculations by shining light patterns through a translucent polymer cube.

https://www.eurekalert.org/pub_releases/2019-05/mu-nia052319.php

Mirrored Ceilings and Criss-Crossed Stairwells Give a Chinese Bookstore the Feeling of an M.C. Escher Woodcut

semi'joke/pun Show more

pun Show more

math in Coq Show more

misc. Show more

math in Coq Show more

math in Coq Show more

carbon footprint / climate change Show more

carbon footprint / climate change Show more

Coq sorts, rant Show more

abstract Show more

- GPG/OpenPGP
- 91889DEFD47B86EDACD52D10355C2591C5706C8B

- Mathstodon.xyz
- https://mathstodon.xyz/@amiloradovsky

- Scholar.social
- https://scholar.social/@amiloradovsky

- License: CC BY-SA 4.0
- https://creativecommons.org/licenses/by-sa/4.0/

Interests include: #Coq, #OCaml, #Ocsigen, #Guix, #Libreboot & #Coreboot, #OpenCASCADE; free/libre computing & culture, pure & applied #mathematics & #mechanics

Joined Apr 2017