Skip to content
@sebeaumont
Simon Beaumont sebeaumont
Information scientist, mathematician and programmer. Obsessed with functional languages, machine learning, types and proof.

Vectis Verification England

@foxmean
Pathompong Kwangtong foxmean
Just a little man with a cat.

Thailand

@ayanamists
LI CHENXI ayanamists

NJU Nanjing, China

@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@bmorphism
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

@VernonGrant
Vernon Grant VernonGrant
Software Developer @twothreebird 👨🏻‍💻 Proud South African 🇿🇦

@twothreebird Cape Town

@Matthew-Mosior
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

@davibarreira
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