FrozenWinters
Follow
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
Matheus Levi
MathLevi20
"The only way of discovering the limits of the possible is to venture a little way past them to the impossible."
Null Island
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
Julius Hamilton
hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.
Hamilton, Inc. Salt Lake City
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
kammitama5
just a functional girl..in a functional world :)
PhD 🍬date. Mostly at the intersection of 💻 & Pure Math (Arith. Geometry + Alg. Graph Theory) + Quantum.
University of Vermont Ganymede
Vadim Leshkov
bewrrrie
PhD student in pure mathematics at the University of Virginia
(homotopy theory,
$(\infty,n)$-categories).
Charlottesville, VA
Λ
DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge!
I am not a technology nerd!11!!!
Also, i'm so sorry for my geniusness and successness. =)
Saul Shanabrook
saulshanabrook
PhD student at @uwplse advised by @gilbo.
Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.
University of Washington Seattle, WA
Matteo Capucci
mattecapu
Independent Researcher.
Applied Category Theory + ε.
Retired web dev.
Glasgow, UK
lane
lane-core
systems design, formal verification, (homotopy) type theory, and categorical nonsense
san francisco
PreviousNext