I was listening to a Radiolab podcast that concluded with a quote by Suzuki Roshi: “In the beginner’s mind there are many possibilities, but in the expert’s there are few.” I’ve never given this . . . Read more

Hollow Knight is one of the best video games I’ve ever played. I used to play a lot of games during my school and college days but took a break during grad school. I recently resumed playing video games and stumbled upon Hollow Knight by chance. I began the game unenthusiastically, a . . . Read more

I’m putting this post here mainly as a bookmark to myself. Sam Harris mentioned this podcast in one of his discussions and so I had a listen. I don’t remember much about it’s content but I remember thinking just how much William James already knew about psychology and how . . . Read more

There are two ways of approaching any task and life in general: goal oriented process oriented For some reason, very likely a mix of cultural and biological, the default is the first approach. You do things in order to get somewhere, to accomplish something. . . . Read more

Terry Tao posted on Mastodon that he found a bug in a proof in one of his papers thanks to trying to formalize it in Lean. This is an excellent use case of Lean and tbh the only one tha . . . Read more

This looks like a really cool tool for visualizing proofs in Lean: https://github.com/Paper-Proof/paperproof https://lakesare.brick.do/lean- . . . Read more

I try to stay away from the internet meme culture as much as possible. I no longer find it funny to make fun of people unintentionally (I do still love absurd humor and find many of the controversial comics funny). I saw a Casey Neistat thumbnail on Nerdwriter1’s channel but I stayed . . . Read more

I came across this video by NumberPhile and 3Blue1Brown about the density of primes that are 1 mod 4 vs the density of primes that are 3 mod 4. The main fact is quite cool but there was something that he said during in the middle of t . . . Read more

xD . . . Read more