Skip to content
View lemastero's full-sized avatar
🕺
Everything is possible!
🕺
Everything is possible!
87 followers · 155 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2

Block or report lemastero

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
@iQuHACK
iQuHACK iQuHACK
MIT's Annual Quantum Hackathon

MIT: Cambridge, MA

@effectfully
effectfully
@vpatryshev
Vlad Patryshev vpatryshev
1998-2021: SF Bay Area 2021-now: South Carolina 2022-now: Gascogne

York, South Carolina

@sonchava
Paweł Sączawa sonchava
@umazalakain
Uma Zalakain umazalakain

Glasgow, Scotland

@categorical-crypto
categorical-crypto
@williamdemeo
William DeMeo williamdemeo
I do formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.

IO @input-output-hk Boulder, CO, USA

@jmchapman
James Chapman jmchapman
Free the group. Nuke the kernel. Power to the n.

@input-output-hk Glasgow, UK

@kustosz
Marcin Kostrzewa kustosz

reilabs.io Lisboa

@dfirsov
Denis Firsov dfirsov
@fredrikNordvallForsberg
Fredrik Nordvall Forsberg fredrikNordvallForsberg

University of Strathclyde Glasgow, UK

@jamesmckinna
jamesmckinna
@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@iamnotacake
Anatolii Lishchynskyi iamnotacake

Ukraine, Kyiv

@GaloisInc
Galois, Inc. GaloisInc

Portland, OR

@alexandru
Alexandru Nedelcu alexandru
Scala and Haskell enthusiast, @typelevel contributor, author of @monix

@ing-bank România

@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@abailly
Arnaud Bailly abailly

Pankzsoft Nantes, France

@MateuszKubuszok
Mateusz Kubuszok MateuszKubuszok
When I don't program for a living, I live for programming. Or not. (Depends on the weather outside).

Żory, Poland

@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

@iwilare
Andrea Laretto iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？

Tallinn University of Technology Tallinn, Estonia

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

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

McMaster University Hamilton, ON

@ceedubs
Cody Allen ceedubs

central Indiana, USA

@eed3si9n
eugene yokota eed3si9n
I work on build tooling around Scala. Learning machines at Netflix. I'm also a core developer for @sbt and Zinc, off the work, in my own free time.

New Jersey

@JasonGross
Jason Gross JasonGross

Machine Intelligence Research Institute Berkeley, California, United States

@np
Nicolas Pouillard np
«Type Theory Hacker»

Angers, France

@tkerber
Thomas Kerber tkerber
Technical Architect at Shielded. Ethically Evil. ^.^

Input Output (@input-output-hk) Edinburgh, UK

@pchiusano
Paul Chiusano pchiusano

Unison Computing, a public benefit corp New Orleans, LA

@amir
Amir M. Saeid amir

Dublin, Ireland

@jeltsch
Wolfgang Jeltsch jeltsch
I’m passionate about functional programming, logic, type theory, category theory, and more.

@well-typed Tallinn, Estonia

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@ept
Martin Kleppmann ept
Distributed systems + security protocols researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn

University of Cambridge Cambridge, UK

@JBakouny
Joseph Bakouny JBakouny

USJ-ESIB

@protolambda
protolambda protolambda
Protocol architect, specialized in Ethereum R&D.

OP Labs

@cryptosubtlety
Quan Thoi Minh Nguyen cryptosubtlety
Senior security engineer @google. Personal account.
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@emina
Emina Torlak emina

University of Washington Seattle

@cb372
Chris Birchall cb372
Principal/principled software engineer at 47 Degrees. Previously @ovotech, @guardian, @m3dev.

@47deg Bury St Edmunds, UK

@RustanLeino
Rustan Leino RustanLeino
Lover by day, hacker by night

Amazon Web Services Seattle, WA, USA

@rkuhn
Roland Kuhn rkuhn

Actyx AG Kassel, Germany

@mroman42
Mario Román mroman42

Oxford, GB

@rssh
Ruslan Shevchenko rssh

Kiev, Ukraine

@NorfairKing
Tom Sydney Kerckhove NorfairKing
Professional Weirdo

CS Kerckhove Zürich

@derekelkins
Derek Elkins derekelkins
@avieth
Alexander Vieth avieth

Montreal, Quebec, Canada

@aakoshh
Akosh Farkash aakoshh
@brendanfong
Brendan Fong brendanfong
@jdchristensen
Dan Christensen jdchristensen

University of Western Ontario