8000 tgiannak (Theophilos Giannakopoulos) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View tgiannak's full-sized avatar
5 followers · 13 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report tgiannak

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@deviant-logic
Alec deviant-logic

Somerville, MA

@salmans
Salman Saghafi salmans
@michaelficarra
Michael Ficarra michaelficarra

@shapesecurity, part of @f5networks Colorado, USA

@schirice
Silviu Chiricescu schirice

Draper Laboratory

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@arunthomas
Arun Thomas arunthomas
@amstrnad
Strnad amstrnad
@rmculpepper
Ryan Culpepper rmculpepper

PLT Prague, CZ; Boston, MA, USA

@cobbal
Andrew Cobb cobbal

Salt Lake City

@lambdageek
Aleksey Kliger (λgeek) lambdageek
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.

@Microsoft Boston, MA

@sean-stromsten
sean-stromsten
@dandougherty
Dan Dougherty dandougherty
@tnelson
Tim Nelson tnelson

Brown University Providence, RI

0