Skip to content
View oisdk's full-sized avatar
140 followers · 88 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx2

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx2

Highlights

  • Pro

Block or report oisdk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@Icelandjack
Icelandjack
@Talndir
Talndir
@txa
Thorsten Altenkirch txa

The University of Nottingham Nottingham, UK

@emilypi
Emily Pillmore emilypi
Yeehaw

Salt Lake City, Utah

@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@KingoftheHomeless
KingoftheHomeless
@dwhjames
Daniel James dwhjames
@Boarders
Callan McGill Boarders
@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@zenzike
Nicolas Wu zenzike

Oxford, UK

@yangzhixuan
Zhixuan Yang yangzhixuan

Imperial College London Web

@keikonakata
Keiko Nakata keikonakata
Programming, constructive mathematics and topology, which are all beautifully related.
@umazalakain
Uma Zalakain umazalakain

Glasgow, Scotland

@co-dan
Daniel Frumin co-dan

Groningen

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@ecavallo
Evan Cavallo ecavallo

Göteborgs universitet

@laMudri
James Wood laMudri
@typeswitch-dev
typeswitch-dev

@mirth-lang

@wilbowma
William J. Bowman wilbowma
Paren-wielding meta-theorist.
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@wouter-swierstra
Wouter Swierstra wouter-swierstra

Universiteit Utrecht Utrecht, the Netherlands

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@plaidfinch
finch plaidfinch
control plane engineer @oxidecomputer; founder & cryptography consultant @starlingcyber; previously: @penumbra-zone, @boltlabs-inc, @GaloisInc, @plclub

@oxidecomputer

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@cj-xu
Chuangjie Xu cj-xu

SonarSource Bochum, Germany

@spitters
Bas Spitters spitters

Aarhus University Denmark

@kcsmnt0
Katie Casamento kcsmnt0
@emdash-ie
Emily Bourke emdash-ie
I’m a programmer and musician living in London.

London

@copumpkin
Daniel Peebles copumpkin

Washington

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@UlfNorell
Ulf Norell UlfNorell
@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@edwinb
Edwin Brady edwinb
@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@johncarlosbaez
johncarlosbaez
@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@scott-fleischman
Scott Fleischman scott-fleischman
@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@dorchard
Dominic Orchard dorchard
Co-director of Institute of Computing for Climate Science, University of Cambridge and Senior Lecturer at the School of Computing, University of Kent

Canterbury, UK

@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-ai New York, NY, USA

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@ccshan
Chung-chieh Shan ccshan
@MatthewDaggitt
Matthew Daggitt MatthewDaggitt
@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo