Gokul Rajiv
gok99.bsky.social
Gokul Rajiv
@gok99.bsky.social
(recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Reposted by Gokul Rajiv
I'm at the types store shopping for types
February 18, 2025 at 2:24 PM
Would be cool if Lean had some parallelism support...
December 11, 2024 at 6:38 AM
Academic friend took a personality quiz which told him he should be an academic.

I have an idea for a personality quiz that asks you a series of "do you want to be a ____" questions, and when you answer yes, the test ends and says "do what you want lol"
November 28, 2024 at 12:38 PM