Arjun

@javathunderman@discuss.systems
81 Followers
271 Following
357 Posts

CSE PhD @ UC Santa Cruz (formerly undergrad @ UMD)

interested in architecture/hardware/systems, PL/compilers, graph algorithms, etc.

webhttps://arjun.vedantham.xyz
username?anagram
Sorry, no hot take. Didn't read it
discuss.systems has no downtime thanks to its reliable team of sysadmins (Dan's 4 cats)
Surprise surprise, the AI startup that messaged me over LinkedIn is even shadier than I thought initially (thanks PL zoomer discord)
How do I obtain a cheap (print) copy of Types and Programming Languages
Postcards acquired today, lmk if you want one

video review is done best in tennis, rugby, and cricket. It's OK in American football and Major League Soccer (the top-flight US league). Idk about hockey.

Baseball seemed to have a good strike zone challenge system when it was part of that pilot

Est-ce qu'il y a une différence entre les mots (français) "une langue" et "un langage"?

J'ai vu que l'article sur la Wikipedia utilise les mots "un langage de programmation" pour "programming language"

ICFP keynote talk is on hardware 🔥
I wonder which PL or architecture faculty I could get away with impersonating (this is a joke)
river 👍