Kiran's banner
Kiran's profile picture

Kiran

@kirancodes • 1,714 subscribers

Research Scientist in NYC I work in Programming Languages research, on formal verification. British South Asian diaspora~

Shorts

category theorists don't want you to know that category theory is dead simple if you are allowed to visualise it in 3d tear down the category cabal now!!!

category theorists don't want you to know that category theory is dead simple if you are allowed to visualise it in 3d tear down the category cabal now!!!

151,285 Aufrufe

> makes a bun rewrite in zig > filled with OOB bugs > pic related LMAOOOOO maybe leave this to the pros (rust devs) Zig community in absolute shambles, as usual

> makes a bun rewrite in zig > filled with OOB bugs > pic related LMAOOOOO maybe leave this to the pros (rust devs) Zig community in absolute shambles, as usual

54,405 Aufrufe

Videos

LIVE
1.2k

Anya Rossi

sweetdream.ai

SweetDream.aiSponsored•Livecam
Streaming Now

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

HD live stream
Exclusive private shows
1.2k viewers online

Free preview available • Premium content

never writing latex by hand ever again. You are not ready.
1:22
kirancodes's profile picture

never writing latex by hand ever again. You are not ready.

Kiran

34,904 Aufrufe • vor 3 Monaten

others: *bwaaa emacs looks so ugly, vscode looks more smooth* me: *yawn*
0:21
kirancodes's profile picture

others: *bwaaa emacs looks so ugly, vscode looks more smooth* me: *yawn*

Kiran

16,155 Aufrufe • vor 4 Monaten

Keine weiteren Inhalte verfügbar