Next formalization: the Descent Lemma. Discovered a new proof (to me, at least) that made this one easier to formalize. 1/n

There's a neat property about the quadratic formula that most people don't seem to be aware of. The root given by the plus sign is always where the curve crosses the x axis with a positive derivative, and the root given by the minus sign always has a negative derivative.

Insightful book on history of real analysis. milneopentextbooks.org/wp-content/upl…

My first Black Clover Art. My first sketch of Asta 🖤🍀 Traditional drawing #Art #Sketch #BlackClover

What do you think of empathy?

Love you youtu.be/kvyX16jxPqU?fe…

Why does it feel like a random "Sunday, 31 August" 😴

Have a look at the brilliant art my friend made. Amazing person. Amazing art. Full of #creativity

Today is the only day you can repost this !

You have seen the famous bell curve hundreds of times before. Contrary to popular belief, this is NOT a probability, but a probability density. What are densities, and why do we need them? Read on:

It's only called an acronym when you pronounce the abbreviation as a real word(eg: SONAR, LASER, NASA, UNICEF). Otherwise, it is known as an initialism(eg: ATM, USB, UN, WHO)