Skip to content
View sdiehl's full-sized avatar
3.3k followers · 931 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Highlights

  • Pro

Organizations

@pydata @DataHaskell @llvm-hs @protolude

Block or report sdiehl

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
@onechronos
OneChronos onechronos
The Smart Market for Institutional Investors

New York

@barko
Mika Illouz barko
@smu160
Saveliy Yusufov smu160
-O3 -march=native

OneChronos NYC

@maplant
Matthew Plant maplant
Rust programmer with a penchant for compiler construction

OneChronos New York

@virtualritz
Moritz Mœller virtualritz

phyron.com berlin

@Munksgaard
Philip Munksgaard Munksgaard

@leaf-insurance Denmark

@jstoobysmith
Joseph Tooby-Smith jstoobysmith
Postdoc at Reykjavik University working on formalisation in physics
@pishleback
Michael pishleback
Studied pure maths at Imperial College London. Employed in software development.

Waymont Consulting Ltd Eastbourne

@kris-brown
Kris Brown kris-brown
Applied Category Theory research at the Topos Institute Stanford PhD 2021

Topos Institute

@abhin4v
Abhinav Sarkar abhin4v
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer @google.

@google Bangalore, India

@NonDairyNeutrino
Nathan Chapman NonDairyNeutrino
High-Performance Computational Physics in Julia | M.S. Student | Physics & Engineering Faculty

Central Washington University Washington State

@ishmandoo
Ben Wiener ishmandoo

Boston

@declanoller
Declan Oller declanoller
Research scientist at Sony AI. Physics PhD, Brown University. Interested in lots: ML, RL, optimization, program synthesis, to name a few.

Boston, MA

@elisabethstenholm
Elisabeth Stenholm elisabethstenholm
👩‍💻 Software developer | λ Functional programming enthusiast | 👩‍🎓 PhD in Homotopy Type Theory
@bniehoff
Ben Niehoff bniehoff
Theoretical physics and code
@cu1ch3n
Cui Chen cu1ch3n
PhD candidate @hkuplg / @NixOS user and package maintainer

@hkuplg Hong Kong, China

@zackbach
Zack Eisbach zackbach
CS + Math @ Northeastern. Logic, types, compilers, and categories.

@apple Boston, MA

@alex-lew
Alex Lew alex-lew

MIT (@probcomp) Cambridge, MA

@olynch
Owen Lynch olynch
@MixedMatched
alessandra simmons MixedMatched
embedded systems and formal methods enthusiast / cs+philosophy major at northeastern
@akshayka
Akshay Agrawal akshayka
Working on marimo.

@marimo-team

@wspringer
Wilfred Springer wspringer
Maker, visual thinker, and bass player. Specializes in Web, WebAssembly (WASM), lightweight architectures, and functional programming for mere mortals.

East Pole Netherlands

@romac
Romain Ruetschi romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems

Lausanne, Switzerland

@GStechschulte
Gabriel Stechschulte GStechschulte

Lucerne University of Applied Science Lucerne, Switzerland

@JosseVanDelm
Josse Van Delm JosseVanDelm

KU Leuven Leuven, Belgium

@ConnorBaker
Connor Baker ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!

Costa Mesa, CA

@Ingvarstep
Ihor Stepanov Ingvarstep
I am excited to develop AI systems for the expenditure of human knowledge.

Knowledgator Engineering Kyiv, Ukraine

@mgaudet
Matthew Gaudet mgaudet
Monkey Wrangler @mozilla

Edmonton

@antiagainst
Lei Zhang antiagainst
AI Compiler & Runtime. Currently: Triton, IREE, MLIR, LLVM. Previously: SPIR-V, Vulkan, Metal.

AMD AI Group Seattle

@lukstafi
Lukasz Stafiniak lukstafi

Zurich

@zzzDavid
Niansong Zhang zzzDavid
ECE PhD Student at Cornell

@cornell-zhang Ithaca, NY

@tetsuo-cpp
Alex Cameron tetsuo-cpp
Systems programmer and compiler hacker, software @FabricCryptography

@FabricCryptography Melbourne, Australia

@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron

@ianchanning
Ian Channing ianchanning
Lead AI engineer for research focused startups

@charphq Lier, Belgium

@likejazz
Sang Park likejazz

Dnotitia Seoul

@grypp
Guray Ozen grypp
Compiler Research at @NVIDIA

Google Switzerland

@Lunens
Lunens Lunens
@saulshanabrook
Saul Shanabrook saulshanabrook

PhD @ University of Washington Seattle, WA

@sigma-andex
Jan Schulte sigma-andex
deep learning, functional programming. rust, typescript, python, purescript, haskell, scala.  🌍🌳🐟⛵️🎨🏔

Betalyra Sociedade Unipessoal Lda. Portugal

@JakobR
Jakob Rath JakobR

Austria

@fedelebron
Federico Lebrón fedelebron

Google Mountain View, California

@philschmid
Philipp Schmid philschmid
AI Developer Experience @google-deepmind | prev: Tech Lead at @huggingface , AWS ML Hero

@huggingface Nuremberg

@gmarkall
Graham Markall gmarkall
Compilers / Python / Numerical methods

@nvidia UK

@apaszke
Adam Paszke apaszke
Author of PyTorch. Research Scientist @ Google.

@google Berlin, Germany

@AntonLydike
Anton Lydike AntonLydike
PhD Student at Edinburgh University, doing compilers and synthesis

The University of Edinburgh Edinburgh, Scotland

@makslevental
Maksim Levental makslevental
DSLs, compilers, accelerator architectures, and math.

Apple Boston, Massachusetts

@ijstokes
Ian Stokes-Rees ijstokes
Computational scientist with a strong background in large scale distributed systems. Loves Python.

Boston Consulting Group Syracuse, New York

@paddymul
Paddy Mullen paddymul
Python/PyData/Jupyter dev. Thoughtful bug filer, aspirant open source messaging crafter, sometimes lisper.

Independent Boston, MA

@michel-steuwer
Michel Steuwer michel-steuwer
I am a professor at TU Berlin, leading the Chair of Compilers and Programming Languages.

TU Berlin Berlin

@kc611
Kaustubh kc611
OSS | Python and Compilers

Jalgaon, Maharashtra