aadi.ink

✋🏼! You seem to have stumbled upon my place on the internet. Welcome!

Spectral Methods for Hyperbolic Problems

Keywords: #spectral #fourier #pde #computing
As part of an end-semester project, demonstrate filtration and resolving the Gibbs phenomenon by projecting onto a basis of Gegenbauer polynomials.

Lean Into Lean

Keywords: #computing #lean
I had been trying to get into Lean. It’s an interactive theorem prover, and I’ve been curious about it since I first heard about it during a talk by Kevin Buzzard himself. We were fortunate to have an in-person workshop about Lean recently and I have some notes! Let the lack of organisation and detail be a reflection of how little experience and knowledge I have of Lean. Be sure to keep that in mind while reading.

Making Sense of Division by Zero

Keywords: #meta
What is mathematics?

Free Product of $\mathbb Z_3$ and $\mathbb Z_4$

Keywords: #group theory
I was recently tasked to draw the Cayley diagram of the free product of $\Z_3$ and $\Z_4$. It looks quite nice and interesting, so why not put it up here?