Skip to content
View hkailahi's full-sized avatar
:shipit:
Y = λf. (λx. f (x x)) (λx. f(x x))
:shipit:
Y = λf. (λx. f (x x)) (λx. f(x x))
28 followers · 56 following

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@recursecenter @ConferOpenSource

Block or report hkailahi

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
@DavHau
DavHau

Freelancer

@iagoleal
Iago Leal iagoleal
Generalized specialist

find / -name "Iago Leal"

@DeterminateSystems
Determinate Systems DeterminateSystems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪

Everywhere

@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@liuxinyu95
Liu Xinyu liuxinyu95

Beijing, China

@nicolaprezza
Nicola Prezza nicolaprezza
Hello, I'm an associate professor of Computer Science @ Ca' Foscari university in Venice. My research is focused on algorithms and data structures.

Ca' Foscari University Venice, Italy

@BenLangmead
Benjamin Langmead BenLangmead
Professor of Computer Science at Johns Hopkins University

Johns Hopkins University Baltimore, MD

@colah
Christopher Olah colah
I want to understand things clearly and explain them well. Interpretability at Anthropic. Formerly OpenAI, Google Brain.

Anthropic San Francisco

@patrickt
Patrick Thomson patrickt
Te occidere possuntque te edere possunt; licit est.

Queens, NYC

@JoseNunoOliveira
J.N. Oliveira JoseNunoOliveira

U. Minho & INESC TEC Braga

@zliu41
Ziyang Liu zliu41
functional programmer, snooker player

@input-output-hk Millbrae CA

@adamConnerSax
Adam Conner-Sax adamConnerSax

Brooklyn, NY

@conundrumer
David Lu conundrumer
@newlandsvalley
John Watson newlandsvalley

London

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@matt-noonan
Matt Noonan matt-noonan

Kataskeue LLC Ithaca, NY

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@adamrk
Adam Bratschi-Kaye adamrk

NYC

@IvantheTricourne
Carl J. Factora IvantheTricourne

New York NY

@vaibhavsagar
Vaibhav Sagar vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.

gadigal land/sydney

@AlexeyRaga
Alexey Raga AlexeyRaga
Haskell, Scala, F#

Arbor Networks Sydney, Australia

@newhoggy
John Ky newhoggy

Zendesk Sydney

@andrewthad
Andrew Martin andrewthad

@layer-3-communications Atlanta, GA

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@gwils
George Wilson gwils

Brisbane, Australia

@Lysxia
Xia Li-yao Lysxia
@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@chrisdone
Chris Done chrisdone

Artificial Labs @artificialio England

@int-index
Vladislav Zavialov int-index

@serokell

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@mossprescott
Moss Prescott mossprescott

New Haven, CT

@dfithian
Dan Fithian dfithian

@PatternDataworks Boston, MA

@rukav
rukav
@ystael
Chris Jeris ystael

Massachusetts, USA

@DanBurton
Dan Burton DanBurton

https://reach.sh San Francisco Bay Area, CA

@nicklawls
Nick Lawler nicklawls

ExtraHop Somerville, MA

@zerovolts
Zach Stone zerovolts
Web Dev / Computer Graphics

Boston, MA

@mitchellwrosen
Mitchell Dalvi Rosen mitchellwrosen

@unison Somerville, MA

@ashishsc
Ashish Chandwani ashishsc
I like the web, especially Elm. http://elm-lang.org/

@ExtraHop Boston, MA

@mstksg
Justin Le mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD

@Anduril Orange, CA

@asariley
Asa Riley asariley
@Dridus
Ross MacLeod Dridus

Omnibus MA, US

@seagreen
Ian Jeffries seagreen

Philadelphia, PA

@teropa
Tero Parviainen teropa

Counterpoint Helsinki, Finland

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@anton-k
Anton Kholomiov anton-k

Russia, Moscow region, Podolsk

@nboldi
Boldizsár Németh nboldi