Grant Yang

Hi! I am Grant, a first-year ENGRUD at the University of Washington, and I plan on studying electrical engineering. You can find my mathposting on this blog.

You can also read my resume.

Highlighted Blog Posts

  1. Nov 05, 2025 how to use lean: propositions as types
  2. Oct 31, 2025 the spectral theorem - by agastya ravuri
  3. Aug 28, 2025 trying to learn differential geometry
  4. Jul 11, 2025 a monad is a monoid in the category of endofunctors

Projects & Demos

  • ROTARTSI82/Scacus: A UCI chess engine written in C++, with magic bitboards and multithreading. Supports both normal chess and the anti-chess variant, rated at about ~1600 Lichess ELO in chess.
  • ROTARTSI82/ATCS
    • ATCompilers: A compiler for a custom Pascal dialect targeting MIPS32 assembly, written in Java.
    • LLM: Trained a custom 40M-parameter character-level transformer on my text messages. The transformer was implemented from scratch in PyTorch, and I performed a scaled-up training run of a 150M-parameter model on UW's Hyak Klone supercomputer cluster.
    • ATNeural: A toy neural network for digit recognition written in Rust, implementing backprop and the ADAM optimizer.
  • WebGL Ray Tracer with GLSL
  • 4-Bit Breadboard Computer

Tech Stack for this Website

deployment status The source code for this website can be found on GitHub at ROTARTSI82/blog.