Skip to content
View ahmadsalim's full-sized avatar
📈
Probabilistic Programmer
📈
Probabilistic Programmer
93 followers · 50 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Block or report ahmadsalim

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
@zfnmxt
Robert Schenck zfnmxt
@johncarlosbaez
johncarlosbaez
@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@dustinvtran
Dustin Tran dustinvtran

Google DeepMind San Francisco, CA

@athas
Troels Henriksen athas

DIKU Copenhagen, Denmark

@henglein
Fritz Henglein henglein
Professor of Programming Languages and Systems

Department of Computer Science, University of Copenhagen (DIKU) Copenhagen

@amanoukian
amanoukian
@lawmurray
Lawrence Murray lawmurray
Machine learning, statistics, C++.

Bangkok, Thailand

@eb8680
eb8680
@Lysxia
Xia Li-yao Lysxia
@neerajprad
Neeraj Pradhan neerajprad

Meta Redwood City

@fritzo
Fritz Obermeyer fritzo
Inference Engineer. Bayesian pragmatist. λ-calculus researcher.

Bellingham, WA

@brandonwillard
Brandon T. Willard brandonwillard
applied math/stats person

.txt Chicago, IL

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@thamelry
thamelry
@UlrikBuchholtz
Ulrik Buchholtz UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics

University of Nottingham

@twiecki
Thomas Wiecki twiecki
Bayesian modeling & Data Science.

@pymc-labs

@shapr
Shae Erisson shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling

@RecurseCenter Medford, MA, USA

@junpenglao
Junpeng Lao junpenglao
I used to do brain stuff.

@google Zurich, Switzerland

@gasche
Gabriel Scherer gasche
@shooka
Nicolai shooka
Core Services at @shinetools. Monorepo advocate.

@shinetools, @ageras-com, @billysbilling Denmark

@TeamSPoon
Douglas R. Miles TeamSPoon

@TeamSPoon https://github.com/logicmoo

@JBakouny
Joseph Bakouny JBakouny

USJ-ESIB

@MisanthropicBit
MisanthropicBit
@fbie
Florian Biermann fbie
Types are for the week.

@NESTechnology @dotnestech Copenhagen

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@jmid
Jan Midtgaard jmid
Hacks on FP and property-based testing. Former academic.

Denmark

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@konne88
Konstantin Weitz konne88
@graydon
Graydon Hoare graydon

Vancouver, BC

@pigworker
Conor McBride pigworker

Glasgow

@GgnDpSngh
Gagandeep Singh GgnDpSngh
Tenure Track Assistant Professor of Computer Science at UIUC.

UIUC Illinois, USA

@effectfully
effectfully
@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-ai New York, NY, USA

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@mietek
Miëtek Bak mietek
@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

@thorecaspersen
Thore Caspersen thorecaspersen

Novo Nordisk Copenhagen

@scas-mdd
Stefan scas-mdd
@sbocq
Sébastien Bocq sbocq

Brussels

@reynir
Reynir Björnsson reynir

@robur-coop Denmark

@gallais
G. Allais gallais

Glasgow, Scotland

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@ksmandersen
Kristian Andersen ksmandersen
Building iOS Apps & Developer life

@tiimoapp Remote, Denmark

@mellson
Anders Bech Mellson mellson
Software Developer Driving Green Energy Solutions at Energinet | Former CTO @statelyai 🏡

Energinet Svendborg, Denmark

@njustesen
Niels Justesen njustesen

Copenhagen

@ahf
Alexander Færøy ahf
@torproject & @irssi core developer. @bornhack organizer. Interested in cryptography, privacy enhancing technologies, security, and distributed systems.

The Tor Project Copenhagen, Denmark