Pinned post
Kiran
@kirancodes
Research Scientist in NYC
I work in Programming Languages research, on formal verification.
British South Asian diaspora~
I work in Programming Languages research, on formal verification.
British South Asian diaspora~
271 Following 3.1K Followers 3.2K Posts
Latest posts 5
BUY BUY BUY BUY stocks about to go through the roof tgirls are cracked ngl
THEYRE PUTTING JENSEN HUANG ON ESTROGENView quoted post on X
Hot take: Reading specs considered harmful
Researchers in FM seem to have two reactions to LLMs: (1) if applied, scaling up projects (tokenmaxxing) (2) if theory, frame shift to saving tokens, still human-based design (tokencelibate)
this annoys me.
DREAM BIGGER.
Abstractions no human could understand. GO BEYOND.
this annoys me.
DREAM BIGGER.
Abstractions no human could understand. GO BEYOND.
Billion dollar paper name: Refinement types via cannonical structures, squeezing liquid from a Rocq