Gokul Rajiv @gok99 - Bluesky Profile

Latest posts by gok99.bsky.social on Bluesky

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

I'm at the types store shopping for types

18.02.2025 14:24 — 👍 53 🔁 6 💬 3 📌 1

researchers will use anything but overleaf

31.01.2025 16:47 — 👍 1 🔁 0 💬 0 📌 0

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

11.12.2024 06:38 — 👍 1 🔁 0 💬 0 📌 0

Did you get an infinite loop without partial definitions?

09.12.2024 17:38 — 👍 0 🔁 0 💬 1 📌 0

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...

09.12.2024 17:31 — 👍 1 🔁 0 💬 0 📌 0

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

02.12.2024 14:12 — 👍 1 🔁 0 💬 1 📌 0

Glad it wasn't just me...

02.12.2024 14:08 — 👍 1 🔁 0 💬 1 📌 0

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

28.11.2024 15:55 — 👍 1 🔁 0 💬 1 📌 0

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"

28.11.2024 12:38 — 👍 2 🔁 0 💬 1 📌 0

@gok99 is following 19 prominent accounts

Nik Swamy
@lambdanik

I work on Programming Languages at Microsoft Research

nikomatsakis
@nikomatsakis.com

Weird Al meets Grace Hopper. Rustacean. He/him. I work for @AWSCloud. Opinions on twitter and elsewhere are my own.

Sam Lindley
@reifyreflect

Stephanie Weirich
@fancytypes

Tell me about types

Maxime
@maximemulder

Liker of programming and natural languages.

Umang Mathur
@umathur

Presidential Young Professor at the National University of Singapore. https://www.comp.nus.edu.sg/~umathur/

Manuel Rigger
@mrigger

Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.

@mflatt

Graydon Hoare
@graydon-pub

extremely dubious of "everything is public" social network

Chris Martens
@chrisamaphone

mostly not here, but there: https://hci.social/@chrisamaphone

Aws Albarghouthi
@awsto

Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/

Alexandra Silva
@xanovsky

Mom, foodie, traveller, computer scientist

Jenna DiVincenzo
@jcenzo

Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io

John Wickerson
@wicko3

Senior Lecturer at Imperial College EEE researching programming languages and hardware design.

Dipesh
@dipeshhh

Interested in Programming Languages and Systems.

Kumail Nanjiani
@kumail

My new special Night Thoughts is out NOW on Hulu. linktr.ee/kumailnanjiani

Matt Russell
@mattrusselluk

ICFP Conference
@icfp-conference

ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/

Chris Henson
@chenson

CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.