Skip to content
View eurisko-info-lab's full-sized avatar
4 followers · 48 following

Achievements

Achievement: YOLOAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Block or report eurisko-info-lab

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@MiguelGarcia-E
Miguel Garcia MiguelGarcia-E
@miguelpagano
Miguel Pagano miguelpagano

FAMAF-UNC Córdoba, Argentina

@jkoppel
Jimmy Koppel jkoppel
@int-index
Vladislav Zavialov int-index

@serokell

@djspiewak
Daniel Spiewak djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.

@nvidia Chicago, IL

@adamw
Adam Warski adamw
Distributed systems & Scala expert, OSS Developer, R&D @softwaremill

https://www.softwaremill.com Warsaw, Poland

@sdiehl
Stephen Diehl sdiehl
I build software.

@onechronos London

@thma
Thomas Mahler thma
FP afficionado. Working as an IT architect.

ista International GmbH Essen, Germany

@ilya-klyuchnikov
ilya-klyuchnikov

@facebook London

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

(open to employment) San Andreas, California, USA

@zachallaun
Zach Allaun zachallaun
Elixir at @Whatnot-Inc. Fancy keybards at @keycult. Formerly @recursecenter.

Raleigh, NC

@woodrush
Hikaru Ikuta woodrush
Ph.D in Information Science and Technology (UTokyo)

@mantra-inc Tokyo, Japan

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@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

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@edwinb
Edwin Brady edwinb
@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@swarnpriya
Swarn Priya swarnpriya
Post-Doctoral Researcher at Virginia Tech | Ph.D. from Inria, Sophia Antipolis | Interests: PL, Model Checking, Theorem Provers

@SiFive @CertiK @inria @virginiatech

@pigworker
Conor McBride pigworker

Glasgow

@txa
Thorsten Altenkirch txa

The University of Nottingham Nottingham, UK

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@matijapretnar
Matija Pretnar matijapretnar

Faculty of Mathematics and Physics, University of Ljubljana

@CrowdHailer
Peter Saxton CrowdHailer
I love code and I love lamp

Memo Stockholmen

@marmelab
marmelab marmelab

France

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@Bubobubobubobubo
Raphaël Forment Bubobubobubobubo
PhD, live-coder and developer.

Paris | Lyon | Toulouse

@nad
Nils Anders Danielsson nad
@odersky
odersky
@hmemcpy
Igal Tabachnik hmemcpy

Israel

@VictorCMiraldo
Victor Cacciari Miraldo VictorCMiraldo

@converge-io Utrecht, the Netherlands

@mroman42
Mario Román mroman42

Tallinn, EE

@gallais
G. Allais gallais

Glasgow, Scotland

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@seba--
Sebastian Erdweg seba--

KIT

@mcimini
Matteo Cimini mcimini
@plum-umd
Programming Languages at University of Maryland plum-umd

College Park, MD

@dvanhorn
David Van Horn dvanhorn

@plum-umd Washington, DC

@hirrolot
hirrolot
At any cost, but for free
@Innf107
Prophet Innf107
@bnorm
Brian Norman bnorm
git commit -m "Is this thing on?"

@JetBrains Minneapolis, MN, USA

@youqad
Younesse Kaddar youqad
Research Associate at the University of Oxford. Director of Recursive Safeguarding Ltd. Cofounder of Proof Relevant Ltd.

University of Oxford Oxford, UK

@mbuliga
mbuliga
mathematician, from the very applied to the very abstract, can do anything (which is interesting, time provided).
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@Deducteam
Deducteam Deducteam
@commercialhaskell
Commercial Haskell SIG commercialhaskell
@fpco
FP Complete fpco