Stories and Cheat-Sheets

Be GReaT

I came across an article (1) titled ‘Language Models are Realistic Tabular Data Generators’ which argues just that. The process is something like

  1. Convert your tabular data into sentences;
  2. Fine tune a large language model on those sentences;
  3. Ask it to generate new ones.

I found this …

Be GReaT

Generating Functions

This is another homework question from Brett Yorgey’s Haskell course, which basically develops the ideas in https://www.cs.dartmouth.edu/~doug/powser.html. The goal is to create a type in Haskell that can represent a formal power series so that we can do do cool things with generating …

Generating Functions

Boolean Monoid

The homework question asks ‘How many different instances of Monoid are there for the Boolean data type?’ In stead of a mathematical proof I chose a search, motivated by the fact that there are $16$ possible binary operators on the set $B = [True, False]$ and that I didn’t want to …

Boolean Monoid

Chess Journal

7/10 If a defending King is chasing down a passed pawn the rule of the square is a shortcut to determine whether or not the King will be fast enough. If the King is able to enter the square there will be multiple routes to the pawn (the journey will contain a lateral/vertical move that can occur at …

Chess Journal

Some Notes on Math Pedagogy

This is an unstructured collection of reflections on teaching and learning maths.

Notation. The flexible way that notation is applied in higher studies was a challenge for me as a high school graduate. For a long time it really did matter to me that vector quantities were written $\textbf{v}$ or …

Some Notes on Math Pedagogy