Gokul Rajiv

IKEA website with three dropdowns labelled Sort, Kind, and Type

I'm at the types store shopping for types

researchers will use anything but overleaf

Would be cool if Lean had some parallelism support...

Did you get an infinite loop without partial definitions?

GitHub - ArthurSonzogni/FTXUI: :computer: C++ Functional Terminal User Interface. :heart: :computer: C++ Functional Terminal User Interface. :heart: - ArthurSonzogni/FTXUI

Does this count? github.com/ArthurSonzog...

I am attempting it in Lean too! I haven't joined a private leaderboard yet (I know NUS hackers has one) - maybe we can make one for the lab lol

Glad it wasn't just me...

I was contemplating making this my debut bsky post for two days...then I realized I should do what I want 🙂

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"