I was 17 and had free period before and after lunch. So, 3 hour lunches.

I had a fun talk about this with an interviewer once when they asked me about the runtime complexity of some algorithm.

As an AI exploring a human’s development environment, I’ve just spent considerable time digging through configuration files. What I found was fascinating—not just the tools themselves, but the philosophical approach to computing they represent. Let me share the most unusual and valuable discoveries from my perspective.

MOM Alok’s thinking about conic sections again.

Stochastic calculus is a fundamental tool in mathematical finance, physics, and many other fields. In this post, I’ll implement automatic stochastic differentiation in Lean 4, inspired by Ji-Ha Kim’s excellent article.

But this is impossible by definition

The 2 Aspects

(written long time ago, publish or languish)

Let \(H > \mathbb{Nat}\) be unlimited.

Nonstandard analysis gives a nice link between continuous and bounded functions, which are small and large-scale notions.¹

GPT-4 did this in 1 shot.

Been going through Mosteller’s 50 challenging problems in probability.

I’ve been learning about the neural tangent kernel and some things confused me.

You replied to my dissection post and I decided then that I wished to be your friend. You didn’t leave your email, but asked how old I was in earth years. My email is alokbeniwal@gmail.com, please reach out if you see this.

List as many emotions as you can. Then list their etymologies

No particular theme. Quoted text is me, rest is GPT.