[go: up one dir, main page]
Skip to content
View Emraors's full-sized avatar
3 followers · 97 following
  • Sinapsi s.r.l.
  • Milan

Block or report Emraors

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
@dpiponi
Dan Piponi dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

@runarorama
Rúnar runarorama

@unisoncomputing Boston

@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

@mortberg
Anders Mörtberg mortberg

Sweden

@kim-em
Kim Morrison kim-em

Canberra

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@debasishg
Debasish Ghosh debasishg
Programmer at large. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy

LeadIQ India

@pcapriotti
Paolo Capriotti pcapriotti
Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.

Wire Berlin, Germany

@miikka
Miikka Koskinen miikka
Dealing with the abstract.

Helsinki, Finland

@ANG13T
Angelina Tsuboi ANG13T
Programmer, Mechatronics Dev, and former NASA Scientific Researcher. Currently focused on space, cybernetics, and mechatronics development.

Mars || Sagittarius A*

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@riccardobrasca
Riccardo Brasca riccardobrasca

Paris

@stepchowfun
Stephan Boyer stepchowfun
real numbers are horrifying

Notion Labs, Inc. San Francisco, CA

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

Draper Boston

@gcanti
Giulio Canti gcanti
mathematician and rock climber

Milan, Italy

@stevana
Stevan A stevana
@bitemyapp
Chris A. bitemyapp
☦️
@oubiwann
Duncan McGreggor oubiwann
Hacking code across the solar system since '81.

[1, -i]

@andreabedini
Andrea Bedini andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.

@tweag Perth, Australia

@ztellman
Zach Tellman ztellman

San Francisco, CA

@nomeata
Joachim Breitner nomeata

Freiburg, Germany

@effectfully
effectfully
@0atman
Tristram Oaten 0atman
Professional amateur developer. Amateur professional producer.

http://noboilerplate.org London, UK

@bgavran
Bruno Gavranović bgavran
Principal Scientist - Categorical Deep Learning @symbolica-ai

Symbolica London, United Kingdom

@cstml
Vlad L cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Sheffield, United Kingdom

@goodlyrottenapple
Samuel Balco goodlyrottenapple

United Kingdom

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

University of Ljubljana Ljubljana, Slovenia

@burrsutter
Burr Sutter burrsutter
A lifelong developer advocate, community organizer, and technology evangelist

Red Hat Raleigh, NC

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@aphyr
Kyle Kingsbury aphyr

@jepsen-io USA

@ninegua
Paul Liu ninegua
Abstraction! Abstraction! Abstraction!

DFINITY Oregon, USA

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

Vancouver, BC

@gdijkstra
Gabe Dijkstra gdijkstra
@EncodePanda
Pawel Szulc EncodePanda
@swannodette
David Nolen swannodette
Lead developer of ClojureScript. Software Engineer at https://vouch.io

New York

@eliben
Eli Bendersky eliben

@google California

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

ista International GmbH Essen, Germany

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@JohnWCartmell
John Cartmell JohnWCartmell
**Data driven** software engineer and metamathematician. Sometime specialist in CASE tools, sometime in laboratory workflow and scientific instrumentation.

Macclesfield, Cheshire, UK

@rebeccaskinner
Rebecca Skinner rebeccaskinner

St. Louis

@anurudhp
Anurudh Peduri anurudhp
PhD Candidate at Ruhr University Bochum, Germany. Working on programming languages and logic for quantum computing.

Ruhr University Bochum

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@414owen
Owen Shepherd 414owen

Principled FP Ltd Ireland

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@gabrielelana
Gabriele Lana gabrielelana
Software craftsman, socio-technical architect, Elixir/Erlang, Haskell, Rust, JavaScript/TypeScript, quantified self, 25 years on the field and still love

CleanCode Milan/Italy

@cdsmith
Chris Smith cdsmith

Groq, Inc. Buford, GA

@DanySK
Danilo Pianini DanySK
Software engineer, assistant professor at the University of Bologna, located in Cesena.

Alma Mater Studiorum - Università di Bologna Italy

@ToposInstitute
Topos Institute ToposInstitute