Topos Institute
Users following ToposInstitute
清都山水郎
Qinggao1729
Senior at Berkeley studying CS and logic.
Make math animations and do Lean formalizations.
Prasanth
prasanth-nature
#seed: Morphology, Ontology, семіотика, Formal Methods, QFT, Cybernetics
Kappalur, Madurai, Tamil Nadu, India
Émerson Silva
SilvaEmerson
Software Engineer @gympass & Functional enthusiast
@gympass Alagoas, Brazil
S M Rafee Adnan
rafee-adnan
"I.. a universe of atoms.
an atom in the universe"
University of Louisville
Pedro Batista
pedrovhb
I'm a mechatronics engineer who usually spends all day thinking about code. I sometimes also write about it at pedrovhb.com. Feel free to say hi!
Drew Allen McNeely
drewmcneely
Independent researcher with interests in categorical controls and estimation.
Philadelphia
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Wisnu Adi Nurcahyo
wisn
An idiot bastard. Opinions and outside work activities are my own.
Indonesia
Kyle Anthony Williams
SuperSonicHub1
Just a guy manipulating streams of binary into something neato.
MIT '27
@mit New York
PreviousNext