Skip to content
View grthomson's full-sized avatar
5 followers · 13 following
  • Scotland

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Organizations

@ONSdigital

Block or report grthomson

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
grthomson/README.md

Hello! 👋

Top Langs
(github-readme-stats)


Python
Python
Apache Spark
Spark
 Linux
Linux
 Docker
Docker
 C
C
 Rust
Rust

About me:

☕︎‧ For work I research and implement statistical methods for ETL/ELT pipelines.

☁️ I am learning DevOps using KodeKloud, GitHub's CI/CD tools and DockerHub.

🔭 I started with Lean in 2018 and hope to do more, especially software verification.

∞🍩 I like Hopf Algebras and formal semantics and I try to reconcile the two — recently excited to find this paper.
Currently working on defining the Loday-Ronco Hopf Algebra on binary trees in Lean.

🧠 I am building a second brain with Obsidian and have a plan to get it running online.



Ferris the Rust crab

Pinned Loading

  1. perceptron-playground perceptron-playground Public

    Experiments with single/multi-layer perceptrons for entity resolution

    Python 2

  2. ONSdigital/scalelink ONSdigital/scalelink Public

    Python and PySpark implementation of Goldstein et al.'s Scalelink method of data linkage.

    Python 6 1

  3. docker-rust-postgres docker-rust-postgres Public

    Minimal Rust + PostgreSQL microservice (Actix Web), containerised with Docker. Includes Compose and CI publishing to Docker Hub.

    Rust 2

  4. ImperialCollegeLondon/real-number-game ImperialCollegeLondon/real-number-game Public

    A gamification of the theorems in MATH40002 Analysis 1

    Lean 83 8

  5. optibin optibin Public

    Evaluating binary classification tasks with optimal sampling methods

    TypeScript 2

  6. monty monty Public

    A simple Monty Hall Problem game, with Monte Carlo Simulation shell script

    C 2