Skip to content
View sgoguen's full-sized avatar

Highlights

  • Pro

Block or report sgoguen

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
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@EluciusFTW
Guy Buss EluciusFTW
Professional software developer. Here to have some fun on the side, mostly in C#, F# and Typescript.

Leipzig, Germany

@speakeztech
SpeakEZ Technologies speakeztech
Secure, Intelligent Services - IoT, AI, Cloud, Media

United States of America

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@darklang
darklang darklang
Darklang is a project to allow you build cloud backends and CLIs with no bullshit: no thinking about infra, no devops, just code.
@gbaydin
Atılım Güneş Baydin gbaydin
Probabilistic Programming, Deep Learning, Artificial Intelligence

University of Oxford Oxford, United Kingdom

@houstonhaynes
Houston Haynes houstonhaynes
Founder - SpeakEZ.tech - 30+ year engineering lead for operational & analytic systems in media, e-commerce, automotive, finance and healthcare.

SpeakEZ LLC North Carolina USA

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

Draper Boston

@ningit
Rubén Rubio ningit

Universidad Complutense de Madrid

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@j2kun
Jeremy Kun j2kun
Author of Math ∩ Programming and pimbook.org, currently at Google. Currently writing pmfpbook.org

@googlers Portland, OR

@lutzhamel
Lutz Hamel lutzhamel
Interested in machine learning, programming languages, logic programming.

University of Rhode Island Rhode Island

@Thorium
Tuomas Hietanen Thorium
Chief Technology Officer, F# (fsharp) - developer

London, UK

@bgavran
Bruno Gavranović bgavran
Building neural networks that generate provably correct code, and the software infrastructure for training them.

London, United Kingdom

@barry-jay-personal
Barry Jay barry-jay-personal
I've left the university to work on my book and explore other opportunities

self-employed Sydney, Australia

@olydis
Johannes Bader olydis
Trying to make developer tools suck less and hacking on tree calculus. Interests: PL design, formal verification, automatic program repair, education.

New York City, USA

@jkone27
gparmigiani jkone27
software developer and daydreamer
@TIHan
Will Smith TIHan
I like to learn a lot of different things

Olympia, WA

@7sharp9
Dave Thomas 7sharp9
C++, F#, Rust, Swift, python, hired gun, guitarist

Moirae Software Engineering Ltd UK

@abuseofnotation
Jencel abuseofnotation

@sofia-municipality Sofia, Bulgaria

@lorisdanto
Loris D'Antoni lorisdanto

University of California San Diego Madison

@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using C++

Bloomberg London, UK

@vzarytovskii
Vlad Zarytovskii vzarytovskii
C++ compiler backend (previously - F# compiler and tooling team lead) @ Microsoft

@microsoft Prague

@T-Gro
Tomas Grosup T-Gro
F# team at Microsoft.

@microsoft Czechia

@psfinaki
Petr psfinaki
Software developer in Prague. Into music, languages, traveling, coffee and open source.

Prague

@vvvv
vvvv vvvv
A visual live-programming environment for .NET

the interwebs

@piantado
steve piantadosi piantado

UC Berkeley Berkeley, CA

@symbolica-ai
Symbolica symbolica-ai

United States of America

@onurhos
Onur Hos onurhos
Software developer. F#/C# enthusiast. Functional Programming Fanatic.

Papara Istanbul / Turkey

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle