Gokul Rajiv
@gok99.bsky.social
(recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
researchers will use anything but overleaf
January 31, 2025 at 4:47 PM
researchers will use anything but overleaf
Did you get an infinite loop without partial definitions?
December 9, 2024 at 5:38 PM
Did you get an infinite loop without partial definitions?
Does this count? github.com/ArthurSonzog...
GitHub - ArthurSonzogni/FTXUI: :computer: C++ Functional Terminal User Interface. :heart:
:computer: C++ Functional Terminal User Interface. :heart: - ArthurSonzogni/FTXUI
github.com
December 9, 2024 at 5:31 PM
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
December 2, 2024 at 2:12 PM
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...
December 2, 2024 at 2:08 PM
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 🙂
November 28, 2024 at 3:55 PM
I was contemplating making this my debut bsky post for two days...then I realized I should do what I want 🙂