diagrams
Simon Beaumont
sebeaumont
Information scientist, mathematician and programmer. Obsessed with functional languages, machine learning, types and proof.
Vectis Verification England
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Vernon Grant
VernonGrant
Software Developer @twothreebird 👨🏻💻
Proud South African 🇿🇦
@twothreebird Cape Town
Matthew Mosior
Matthew-Mosior
Graduate of Bioinformatics and Computational Biology Program at SLU. I enjoy elucidating and applying algorithms and any thought provoking programming.
Tampa, Florida, USA
Davi Sales Barreira
davibarreira
Phd student at FGV - Rio de Janeiro, Studying applied math .
Interested mostly in Math and Julia programming.
Doutorando em Matemática Aplicada Fortaleza
