typing...
- Beijing, China
-
11:50
- 8h ahead - https://sighingnow.github.io
Highlights
Cameron Pickett
capickett
Software engineer at @facebook. Originally from Seattle, still in Seattle.
@facebook Seattle, WA
Daniel Lemire
lemire
Daniel Lemire is a computer science professor. His research is on software performance in data engineering.
Université du Québec (TELUQ) Montreal, Canada
Shelley Vohr
codebytere
core eng @electron. collaborator @nodejs. organizer @queerjs 🏳️🌈. misc @tc39 @openjs-foundation. way too online. often caffeinated. cruciverbalist.
@microsoft Berlin
Henry Blanchette
rybla
programming languages, formal verification, functional programming, game theory.
CS PhD student at UMD UMD
Brent Yorgey
byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.
Hendrix College Conway, AR, USA
Shiwei Weng 翁士伟
arbipher
JHU Ph.D. Student //
Fudan B.Eng //
PL is the classics of computer science.
Johns Hopkins University Baltimore, Maryland, USA
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
University of Edinburgh Kirkwall, Orkney, Scotland
PreviousNext