Skip to content
View eurisko-info-lab's full-sized avatar

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

@miguelpagano
Miguel Pagano miguelpagano

FAMAF-UNC Córdoba, Argentina

@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

@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

@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

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

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

Paris | Lyon | Toulouse

@VictorCMiraldo
Victor Cacciari Miraldo VictorCMiraldo

@converge-io Utrecht, the Netherlands

@gallais
G. Allais gallais

Glasgow, Scotland

@dvanhorn
David Van Horn dvanhorn

@plum-umd Washington, DC

@hirrolot
hirrolot
At any cost, but for free
@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