Software Engineer at Thirdlaw. Previously co-founded Tintri, on Vault team at HashiCorp, founding engineer at Akita Software, Principal Engineer at Postman.

Big nerd. he/him

Logician, historian and philosopher of logic, mathematics, and computability

Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back

Mathematician, programmer, musician, designer, Canadian, dad, etc, living in #yeg

Cofounder and Chief Science Officer at Nervous System. Interested in geometry processing, complex systems, GPGPU, natural simulations, and digital fabrication. Also jigsaw puzzles, ultimate frisbee, and hiking

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

Numbas is an online assessment system designed for mathematical subjects.

Developed by mathematicians at Newcastle University, Numbas is free to use and open-source.

I like to learn and popularize higher maths. I'm not a pro, but I can stomach corrections!

I am a long time computer algebra practitioner and researcher. I also bake bread, read books, ride bikes and volunteer in trail stewardship and BSA scouting

I am a former academic mathematician (in graph theory) who now works as a software engineer. I am also a hobbyist game developer who makes mathematically-inflected browser games that you can find at: https://puleo.itch.io

Trying to live a sustainable city life. Have an interest in renewable energy, biodiversity and social equality.

Love comics - graphic novels and BDs.
Read at least a small mountain's worth of fantasy and science fiction novels.

Studied mathematics & worked with applied mathematics in software development in/around Copenhagen.

Quit my job because of lousy management and are trying out life as a student for the second time. Weird but good.

co2 @ dob = 330ppm
LGBTQAI+ (in the A-L-Q area)

Une citation mathématique chaque jour & quelques actualités mathématiques.
A mathematical quote every day & some mathematical news.
#mathématiques #mathematics #maths #math

𝐼 𝑎𝑚 𝑎 𝑟𝑒𝑡𝑖𝑟𝑒𝑑 𝑚𝑎𝑡ℎ𝑒𝑚𝑎𝑡𝑖𝑐𝑠 𝑡𝑒𝑎𝑐ℎ𝑒𝑟. 𝐼 ℎ𝑎𝑣𝑒 𝑑𝑜𝑛𝑒 𝑠𝑜𝑚𝑒 𝑤𝑜𝑟𝑘 𝑜𝑛 𝑎𝑏𝑐 𝑐𝑜𝑛𝑗𝑒𝑐𝑡𝑢𝑟𝑒.𝐼𝑡’𝑠 𝑟𝑒𝑎𝑙𝑙𝑦 𝑠𝑒𝑚𝑖𝑛𝑎𝑙 𝑡ℎ𝑎𝑡’𝑠 𝑤ℎ𝑦 𝐼 𝑤𝑎𝑛𝑡 𝑡𝑜 𝑑𝑒𝑚𝑜𝑛𝑠𝑡𝑟𝑎𝑡𝑒 𝑖𝑛 𝑡ℎ𝑒 𝑐𝑜𝑛𝑓𝑒𝑟𝑒𝑛𝑐𝑒 𝑜𝑓 𝑐𝑜𝑛𝑔𝑟𝑒𝑠𝑠 𝑜𝑓 𝑚𝑎𝑡ℎ𝑒𝑚𝑎𝑡𝑖𝑐𝑖𝑎𝑛𝑠 𝑜𝑛𝑙𝑦.

computer aficionado || PhD student @ University of the Basque Country

:: Quantum|Non-linear optics
:: Encrypted|Decentralized communication
:: Functional|Scripted languages
:: Dis|U topia

PhD Candidate in Mechanical Engineering @ Graz University of Technology. Development Engineer in industry. Words and opinions related to this account are my own. He/him.

I like Raymond Smullyan, David Graeber, Virginie Despentes, and Agnes Henry (although her books are unfindable so it's merely an optimistic guess). Emacs is my comfort zone, and a recent thing I've discovered is J programming along with Kenneth Iverson's lovely little books he did.

Profile is a white cat in a beret, scarf, jacket and glasses holding presumably a cortado. Header is the famous photo of a barricade during the 1871 Commune de Paris.

Foundations, Logic, Semantics, Types, Computer Science

Casual Lecturer at UNSW
Researcher at Data61
Opinions are my own, not my employers'.

한국어 좀 할 수 있다