Skip to content
View sdiehl's full-sized avatar
3.2k followers · 916 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. butler-portugal butler-portugal Public

    Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

    Rust 1

  2. usolver usolver Public

    A model context protocol server for solving complex numerical, optimization and logical constraint problems.

    Python 36 5

  3. write-you-a-haskell write-you-a-haskell Public

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

    Haskell 3.4k 257

  4. tiny-graphrag tiny-graphrag Public

    A tiny 1000 line implementation of GraphRAG in Python

    Python 77 12

  5. wiwinwlh wiwinwlh Public

    What I Wish I Knew When Learning Haskell

    Haskell 2.6k 244

  6. zkp zkp Public

    A framework to execute and verify algorithms using Groth16 zkSNARKs.

    Haskell 89 10