Double Date

My strangest experience on Tinder was in Sichuan. Dunno why but I got >100 matches in 12 minutes, a truly bizarre experience, felt like my guts were getting swizzled with hot gravel. But something worse approaches.

Worse Than a Sranc

In R Scott Bakker’s Second Apocalypse series, there’re these monks called the Dûnyain and these goblins called the Sranc.

thanks whole foods lady

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

Another way of doing big O notation

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

Through Claude's Eyes: The Most Unusual Power Tools in a Developer's Config

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.

Compactness of the Classical Groups

MOM Alok’s thinking about conic sections again.

Automatic Stochastic Differentiation in Lean 4

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.

Derivative AT a Discontinuity

But this is impossible by definition

Just because 2 things are dual, doesn't mean they're just opposites

The 2 Aspects

Boolean Algebra, Arithmetic POV

(written long time ago, publish or languish)

discontinuous linear functions

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

Continuous vs Bounded

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

  1. Credit to Takuma Imamura for showing me this definition ↩

Minimal Surfaces

GPT-4 did this in 1 shot.

November 2, 2023

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

NTK reparametrization

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

Kate from Vancouver, please email 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.