✋🏼! 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), as part of a Marie Skłodowska-Curie Actions doctoral network called POSEIDON.
Under the supervision and guidance of Finn Løvholt and André Brodtkorb. I am working on developing and implementing a landslide and tsunami model.
This link for a bit more,
this to find me on Mastodon. Use
The Zeroth of March
A Tiny Discount Calculation
Lessons from applying for PhD positions
Spectral Methods for Hyperbolic Problems
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.