About

My pronouns are he/him/his.

This website is essentially a place where I can

• Sketch out the technical details of things that I like, for the purpose of remembering and organizing my thoughts
• Give (potentially bad) takes on a variety of subjects: Math, Statistics, Computer Science, Gaming, Books, etc.
• Provide updates of things that I may be currently working on.

This is all sort of depending on how much I utilize the blog. It’s probably helpful to think of this website as a giant work-in-progress. Pages may change over time, opinions may change over time, technical interests and know-how may change over time. I like lists, so here are some:

Technical interests:

• The probabilistic method in combinatorics
• (Bayesian) statistics and machine learning, begrudgingly
• Graph Theory, both applied and theoretical.
• Programming languages and Program synthesis
• SAT/SMT solvers
• Type Theory & Verification
• Coloring problems, Graph Homomorphisms

Non-technical interests:

• Recently I became a huge fan of the Monster Hunter series, putting in 500 hours into Monster Hunter World during COVID-19 quarantine
• Anime (unfortunately)
• Bouldering. Current skill: VB-V0. Personal Record: V4
• Olympic Weightlifting and Powerlifting. I don’t lift any more, but here are some old (unofficial) personal records since I am proud of them:
  • Snatch: 92kg, Clean&Jerk: 127kg @ 80kg weight class
  • Squat: 460lbs, Bench Press: 280lbs, Deadlift: 500lbs @ 203lb bodyweight.

Currently working on:

• Making this blog presentable
• Learning Haskell
• Getting back into gaming because I am working on…
• Not getting COVID-19

Stuff I want to work on:

• Getting back into a gym to climb rocks and/or lift weights
• Writing my own programming language
• Math Book Reviews
• Video Game Reviews
• Getting a solid 8 hours of sleep a night
• Figuring out how to track viewer statistics on this site