Maynard's Site    

Index Mailing list

Maynard's Site

Maynard's math and stuff

Filter by tag: language more me visualization interactive math programming prose .pdf


The website index.

Github: @Quelklef

more me

My github is @Quelklef

Hello, I am


A close look at the phrase, 'Hello, I am [name]'

Associativity is About Composition


The definition of associativity of an operator $\cdot$ is that $a \cdot (b \cdot c) = (a \cdot b) \cdot c$. Let view $a$ and $b$ as actions, and $c$ as an object. This can be more easily done by making the variable replacements $f = a$, $g = b$, $x = c$ to produce $f \cdot (g \cdot x) = (f \cdot g) \cdot x$. Now associativity reads as a statement about composition, and indeed looks very close to the definition of composition, $f(g(x)) = (f \circ g)(x)$.

Compression Algorithms

math .pdf visualization

A compression algorithm can be thought of simply as a function $: F \to F$ over the set of files $F$. Under this interpretation, lossless algorihms are bijective functions. Though a lossless algorithm cannot compress every file, we usually don't actually care about compressing every file; because of this, there are clever ways to reach desired behaviour.

Abuse of Parentheses


Parentheses are used a lot: for functions, e.g. $f(x)$, tuples, e.g. $(0, 2)$, ideals, e.g. $\mathbb Z / (4)$, and a bunch more. This is a collection of these different uses.

That a Line Splits a Plane

math .pdf

Vector-based proof that a line splits a plane into two parts.

Van der Waerden

math .pdf

A Lower Bound and Approximation for the Van der Waerden Number Function $W(c, k)$

Stealing Utensils and Splitting the Callstack


Using Promises to break out of the callstack, told through a story about utensils.

We Don't Walk on Our Feet


Ruminations on shoes.


more me

My email is

Twitter: @Quelklef

more me

My twitter is @Quelklef.

Mailing List

more me

A mailing list sign up.

The Halo Problem

math programming

A strange problem I had when coding.



Keyboard-only minesweeper


math .pdf

Proving that $f(a + b) = f(a) + f(b) \implies f(cx) = cf(x)$ is pretty easy when $c$ is an integer or a rational. But does it generalize to real $c$? As it turns out, no, but it comes close. This is a mistaken proof of generalization to real $c$ with a discussion of the subtle error made.

Fitch-Style Proof Helper

interactive math

Interactive propositional and first-order logic proof helper

Analytic Function Visualization

interactive math visualization

Interactively visualize the $\varepsilon$-neighborhoods of complex-analytic functions.