👋
say hi
PLT + compilers; haskell champion; agda newbie.
- Glasgow, UK
-
10:48
(UTC +01:00) - http:https://cyberglot.space
- @cyberglot
Block or Report
Block or report cyberglot
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Hydro
hydro-project
A research project at UC Berkeley designing new programming models for distributed systems.
Berkeley, CA
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystems Lausanne, Switzerland
Sky Wilshaw
zeramorphic
Part III Mathematics student at Cambridge. Soon to become a PhD student at Nottingham, researching semantics of memory safety and borrowing.
Cambridge, UK
oxc
oxc-project
⚓ A collection of high-performance tools for JavaScript and TypeScript written in Rust.
Chris Shank
ChrisShank
𝕮 • Exploring how tools can help us learn, create, & think better 🧠 • Building FactSet's next generation of web apps 👨💻 • I love to climb 🧗
FactSet
ℓittle Languages
Little-Languages
A community that's building little languages that are composable and multi-modal.
Gabriela Moreira
bugarela
Research Engineer at @informalsystems working on Quint
@informalsystems Joinville, SC - Brazil
Cas van der Rest
casvdrest
PhD candidate at TU Delft, working on topics in programming language semantics
TU Delft
Jonas Betzendahl
lambdaTotoro
λΠpunk, queer
⚠ This account kills fascists! ⚠
Fancies Haskell, Types, Logic, Mathematics and alike.
Bielefeld, Germany
Andrei
deiu
PhD, blockchain engineer, and standards expert. Former MIT/W3C. Single malt, neat.
Paris, FR
Will Crichton
willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.
Brown University Providence, RI
Wilfred Hughes
Wilfred
PL enthusiast, Emacs addict, and an advocate for human factors.
Bay Area, USA
PreviousNext