Hey, I’m Pranav. I like mathematics, programming, and writing GPU kernels. I hope you enjoy your stay.

October 1 2026

I do have a writeup to Problem 33, which is now the note combinatorics-1. But the problem as I expected, is not hard enough to be open. And when I the list checked last night, it was closed. The proof in the writeup was verified in lean (by codex).

September 28, 2026

There is this Problem 33 from the 2026 Barbados problem list. I think I have a solution to Problem 33, and I sent an email to Daniel Carter, who posed the problem. I have a rough one (very rough) in the WIP note. The constructed graph has already been checked programmatically.