The Zeroth of March
An example of how generalisation is cool.
✋🏽! You seem to have stumbled upon my place on the internet. Welcome!
My name is Aadi Bhure. I am a doctoral researcher at Norwegian Geotechnical Institute (NGI), working on developing a landslide-tsunami model. My position is part of a Marie Skłodowska-Curie Actions doctoral network called POSEIDON. Under the supervision and guidance of Finn Løvholt, Callum Tregaskis, André Brodtkorb. The research page will have more technical stuff.
Please send emails to . I am also on Mastodon.
A Tiny Discount Calculation
When discounts are tiered, it is possible to buy more than one needs yet pay less? When is it impossible?
Lessons from applying for PhD positions
Some advice I would give my past self.
Spectral Methods for Hyperbolic Problems
The paper Spectral Methods for Hyperbolic Problems by Gottlieb and Hesthaven highlights some methods to address the disadvantages of spectral methods when applied to hyperbolic problems. This end-semester project reproduces the results by implementing those techniques, and also tries to explain their working. Although the discussion sticks to Fourier expansions, the techniques apply to general spectral methods.
Lean Into 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
Maths is nothing to be scared of, and is in fact quite a lot of fun!
Free Product of and
I was recently tasked to draw the Cayley diagram of the free product of and . It looks quite nice and interesting, so why not put it up here?