Over the last couple of years, I lived in Chicago and couldn’t go on hikes. The land there is flatter than a pancake. It’s a perfect place for long-distance biking but an extremely boring one for hiking. I hiked the Loudon Heights trail at Harper’s Ferry and absolutely lo . . . Read more

I have always wanted to learn tactics writing in Lean. But for whatever reason, none of the tutorials that exist online have been helpful. I suspect that the best way to learn to write tactics to play around and modify the existing ones. I came across this short, 4-page tactics tutorial that look . . . Read more

An improved search engine for Lean: https://loogle.lean-fro.org/ https://github.com/nomeata/loogle I haven’t used it yet but it looks promising. I personally don&rs . . . Read more

I like to think that I am generally a very fit person. I exercise almost everyday and generally lead an active life. Just for fun, I recently tried a Yoga Sculpt class and it kicked my ass. This made me realize two things: When working out alone, it’s easy to not be full . . . Read more

We use integers so much in math that it never occurred to me before yesterday that this is a weird word with a weirder symbol associated to it. Wikipedia explains this very nicely. The words integer and entire sh . . . Read more

India landed Chandrayaan-3 on the Moon! Amazing!!! . . . Read more

There is a strong correlation between my daily habits and my level of productivity. When I’m at my peak performance, everything feels automated and flowing. In the past month, I relocated to Baltimore. Prior to that, I was frequently on the move, both for work and family commitments. . . . Read more

I’ve always been fascinated by the history of mathematics. Some of the classic and dramatic discoveries I read a kid were those of non-Euclidean geometry, Galois theory, the proof of Fermat’s last theorem, as well as Cantor and Gödel’s breakthroughs in logic. However, some of the more commo . . . Read more

My favorite part about William Gibson’s writing is his world . . . Read more

I built my first PC! There were several Black Friday discounts that make the build substantially cheaper. Still the price ended up being slightly higher than I had hoped. https://pcpartpicker.com/list/FmpjQ6 . . . Read more