brendanzab
Follow
π΅βπ«
writing elaborators
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. π¨βπ¨π¨βπ»π¨βπ¬
- Melbourne, Australia
- http://voyager3.tumblr.com
- @brendan@types.pl
- @brendanzab.bsky.social
Julie Moronuki
argumatronic
Teacher, (type) writer, Haskell den mom.
Cofounder of @typeclasses
@joyofhaskell MONTANA
Paul D. Fernhout
pdfernhout
"The biggest challenge of the 21st century is the irony of technologies of abundance in the hands of those still thinking in terms of scarcity."
Adirondack Park, NY
Nicolas P. Rougier
rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.
@INRIA Bordeaux, France
Niini
cute-the-niini
Dream-eating witch by night. PL-weaving glitch by daylight.
<your dreams, soon>
srrrse
withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.
Berlin
Hayleigh Thompson
hayleigh-dot-dev
Hi, I'm Hayleigh! Catch me doing dev rel things with @wbkd or building an isomorphic web framework @lustre-labs.
Dave Herman
dherman
I like computers and people.
Iβve spent my career helping people express their thoughts through the code they write and the tools they use to write it.
LinkedIn San Francisco, CA
Matthew Fluet
MatthewFluet
Associate Professor;
Dept. of Computer Science;
Rochester Institute of Technology
Rochester Institute of Technology Rochester, NY
David MacQueen
dmacqueen
Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.
University of Chicago Los Gatos, CA
Justin Lubin
justinlubin
I co-design programming systems with domain experts!
University of California, Berkeley
Alex McLean
yaxu
Para-academic research fellow as part of non-profit Then Try This
Then Try This Sheffield, UK
PreviousNext