Skip to content
View sdiehl's full-sized avatar
3.2k followers · 926 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
sdiehl/README.md

Hi there 👋

I'm a software engineer in London. I build software and write about software.

Connect with me

Personal Website Bluesky LinkedIn

Technologies

The following is a list of technologies I specialize in and utilize.

⚙️ Compilers
MLIR, LLVM, CUDA, Triton, Tree-sitter, Cranelift, WASM, Clang.

🤖 Machine Learning
Transformers, PyTorch, Scikit-Learn, Deepspeed, TensorRT, vLLM, CUTLASS, ONNX.

🧱 Data Engineering
Fivetran, Snowflake, Redshift, dbt, Kafka, Spark, Dagster.

☁️ Cloud
AWS, GCP, Kubernetes, Kubeflow, Docker, Terraform, Github Actions, CDK.

📊 Data Science
Pandas, Numpy, Matplotlib, Seaborn

🏗️ Languages
Python, TypeScript, Rust, C++, Haskell, OCaml, Lean

Pinned Loading

  1. typechecker-zoo Public

    A menagerie of cute implementations of modern typechecking algorithms

    Rust 52 1

  2. mlir-egglog Public

    A toy compiler for NumPy array expressions that uses e-graphs and MLIR

    Python 93 7

  3. bulletproofs Public

    Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

    Haskell 542 48

  4. tiny-graphrag Public

    A tiny 1000 line implementation of GraphRAG in Python

    Python 85 12

  5. wiwinwlh Public

    What I Wish I Knew When Learning Haskell

    Haskell 2.6k 243

  6. usolver Public

    A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.

    Python 51 5