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 次观看

> 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 次观看

Videos

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

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

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

Free preview available • Premium content

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

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

34,904 次观看 • 3 个月前

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

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

16,155 次观看 • 4 个月前

没有更多内容可加载