Hans Halvorson
hhalvors
(always aspiring) logician and philosopher of science
Princeton University and University of Copenhagen Princeton, New Jersey
International Centre for Theoretical Physics
ICTP
ICTP is a special organization, a UNESCO category 1 institute, that combines excellence in research with international cooperation through science
Italy
TeXlyre
TeXlyre
Free, open-source, and local-first typesetting editor for LaTeX and Typst with real-time collaboration
Germany
Marco Azimonti
azimonti
I am an Aerospace Engineer with over 25 years of experience in computer programming.
Japan
Hunter Lehmann
hunterlehmann
PhD in algebraic coding theory, working at Georgia Institute of Technology
Georgia Institute of Technology
Minty252
I bootstrapped a small e-commerce company for several years, now I'm learning to code.
Michael Sollami
msollami
I'm a deep learning researcher and software engineer based in Boston.
Salesforce Cambridge
Joseph Brennan
jwbrennan
I am a Technical Consultant for Wolfram Research Europe. My profile picture is an AI-generated fractal using my name as the seed.
Wolfram Research Europe Oxfordshire
Nathan Carter
nathancarter
I use computer science for mathematics. I teach math at Bentley University and write math books and software.
Bentley University United States
Univalent Mathematics
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Mickaël Canouil
mcanouil
Biostatistician, Ph. D. (& cinephile 🎬)
@quarto-dev wizard 🧙♂️
Lille, France
PreviousNext