andrewbuss
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
Gus Smith
gussmith23
Recently graduated Computer Architecture and Programming Languages PhD @ University of Washington
University of Washington Seattle, WA
Caleb Evans
caleb531
Hi, I'm Caleb, a web developer who lives for Christ by building enjoyable apps and useful tools. I hope you are blessed by what I've made!
Carlsbad, CA
Hydro
hydro-project
A research project at UC Berkeley designing new programming models for distributed systems.
Berkeley, CA
Caden Haustein
brightly-salty
A student who spends most all of his free time doing open source software development, mainly in Haskell + Rust.
Check out Mlatu!
United States
Aoyang Yu
permui
Senior in Computer Science, interested in programming language theory.
Zhejiang University Hangzhou, China
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)
Bruno Bentzen
bbentzen
Assistant Professor in the School of Philosophy at Zhejiang University, China.
Zhejiang University Hangzhou, China
Henry Swanson
HenrySwanson
At this point it's mostly "fun Rust projects" and "occasional math blog". I should make more time for things.
Redwood City, CA
Naomi Smith
spinda
computer scientist & firewall dragon • ⚧️ • 🩷💛💙 • email: [email protected]
@PLSysSec UC San Diego
PreviousNext