Skip to content
View sdiehl's full-sized avatar
🦫
🦫
3.5k followers · 1.1k following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Highlights

  • Pro

Organizations

@pydata @onechronos @DataHaskell @llvm-hs @protolude

Block or report sdiehl

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 write about math and programming on my eponymously named blog.

I work on formal methods applied to combinatorial auctions and market infrastructure at OneChronos. (We're hiring)

Tech

Rust, Python, TypeScript, C++, CUDA, Haskell, OCaml, Lean

Connect with me

Personal Website Bluesky LinkedIn

Pinned Loading

  1. prism prism Public

    A functional language with algebraic effects, multishot continuations, and native codegen

    Rust 163 8

  2. typechecker-zoo typechecker-zoo Public

    A menagerie of cute implementations of modern typechecking algorithms

    Rust 454 18

  3. zero-to-qed zero-to-qed Public

    From Zero to QED: An informal introduction to formality with Lean 4

    Lean 125 20

  4. wiwinwlh wiwinwlh Public

    What I Wish I Knew When Learning Haskell

    Haskell 2.7k 241

  5. bulletproofs bulletproofs Public

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

    Haskell 554 49

  6. clifford-kernels clifford-kernels Public

    (triton + cuda-oxide + mlx) GPU kernels for building transformers over Clifford algebras

    Python 2