Hi! I'm a CS student doing programming language development (type theory in particular), assisted theorem proving and computer art as hobbies :)
I spend a significant part my free time overthinking how computing could be better, in terms of reliability, composability and transparence to the user.
I'm still a beginner when it comes to type theory, so I'll probably be asking lots of questions that may be ill-constructed. Please be gentle!
Maths communicator and educator. I enjoy finding maths in unlikely places. When I'm not doing maths, I'm usually crafting. They/them
The Publishing House of the European Mathematical Society
Scientific Project Officer - European Centre for Algorithmic Transparency (ECAT). Ph.D. in CS (UniTN), Wikimedian, free-software activist and physicist PGP 2E63 EF06 BBE9 68B4 E887 AD10 F4B4 A141 4B2F 9555
AI researcher at UWarsaw
Cryptography researcher, CTF player
White-box cryptography, symmetric-key cryptography, Boolean functions, cryptanalysis in general
I like physics, math and music. Trying to learn some programming.
Human Bean
Physics and computer science student.
Working to make software understandable by all.
Interested in computer science, physics, and math.
Rustacean 🦀
maths. robots. and lots of fun
PhD Candidate at Ohio State. I make math and sometimes music.
Studying population genetics
https://castedo.com/about
🇺🇸 🇪🇸
#tfr
Sotto il segno dell'integrale
YouTuber, mainly known for my videos about geometric algebra
Research Engineer @ Lean FRO.
ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean
Mathematician, robot fan, auntie and unstoppable thingdoer from Manchester. She/her
Geometry lover
