Vikraman @identitytype
PhD student, type theory and category theory vikraman.org New York City Joined January 2018-
Tweets17
-
Followers40
-
Following147
-
Likes222
Vikraman retweeted
On Dec. 10–11, @IRIF_Paris is co-organising SOCS2020, a workshop on Species and Operads in Combinatorics and Semantics. The event will gather the combinatorics and semantics communities from Paris and beyond around a common tool: species and operads theory irif.fr/~socs2020/
0
4
0
0
0
Download Image
Vikraman retweeted
‘My tears are tears of joy because I cannot believe I survived Covid-19’ In March, Professor Peter Johnstone was hospitalised @CUH_NHS with Covid-19. For several weeks he was kept alive by a ventilator and the prognosis was bleak. Read about his battle: joh.cam.ac.uk/my-tears-are-t…
Vikraman retweeted
quiver (q.uiver.app) is a new commutative diagram editor for the web. I've written a short blog post describing the motivation behind it, as well as some of its most useful features. varkor.github.io/blog/2020/11/2…
Vikraman retweeted
Beautiful paper of the day: Recovering Purity with Comonads and Capabilities, by Vikraman Choudhury and Neel Krishnaswami. arxiv.org/abs/1907.07283. A delightful read.
Maddison Rodriguez-Bo... @MaddisonRo13738
102 Followers 4K Following
Pari @Pari713203
34 Followers 3K Following
pradeep raj @pradeep59762983
0 Followers 4 Following
clio @clio06837388
3 Followers 741 Following
Evan Kearney (Ó Céa... @EvanKea20605796
282 Followers 2K Following Pleasure to serve as a temporary “one of those people on X that beleaguers the enormous relational structure, that I enjoy, one-offs within scattershot cluster.
ning @narigele1997
12 Followers 769 Following How to Save One Page of a PDF: https://t.co/IeNfURKGXH URL redirection tool: https://t.co/GY3bCglfKi
Arpan Agrawal @DontDoCoffeeKid
0 Followers 2K Following
Jyotirmoy Bhattachary... @yomritoyj
1K Followers 1K Following Student and teacher of economics. Math, computing and physics enthusiast. Ambedkar University Delhi.
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Kartik @k4rtik
1K Followers 447 Following Quantum Compiler Engineer at @QuantinuumQC. Previously: @UChicagoCS, @BrownCSDept.
Ulrik Buchholtz @UlrikBuchholtz
423 Followers 204 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
typer uma @typer_uma
2K Followers 604 Following Software engineer. Functional Scala @ ITV news. PL theory and verified software.
brogician @sivawashere
434 Followers 270 Following you're wrong about programming languages and i'm right
Eduardo Vidaurri @lalo_vida
43 Followers 95 Following
varkor @varkora
391 Followers 250 Following Category theorist and type theorist. I make https://t.co/HNSuFc5oOW. Rust compiler team alumnus.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Candice DeBébé @CandiceIsFit
467 Followers 248 Following Brand new beat & pix of feet x Game: https://t.co/Sx8EFIE757 Threequel: https://t.co/oKBerXcpxB
Ohad Kammar @aleph_kappa
499 Followers 362 Following
Adarsh J @adarshaj
810 Followers 873 Following Tech Enthusiast, Programmer, Sys Admin, Web designer/programmer, Entreprenuer, Researcher
Baishali Chowdhury @baishali_94
122 Followers 467 Following Trying to avoid every conversation about life. https://t.co/bOStMcuwkN
paulette d. koronkevi... @koronkebitch
3K Followers 337 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
Matthew Heimerdinger @TweetMonad
64 Followers 72 Following CS PhD student. Denotational semantics. Verification? Functional and probabilistic programming. Coalgebra?
joomy @joomy
2K Followers 955 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
vollmerm @ma_vollmer
678 Followers 678 Following lecturer in @UniKentComp, cs phd from @IULuddy, functional programming and compilers, he/him
Jacques Carette @jjcarett2
2K Followers 932 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Tori Vollmer @Proof_by
450 Followers 504 Following [email protected] [email protected] I'm Tori. I like weird math, pl, & old school proof theory. I only post pictures of my cat now She/her
Chung-chieh Shan 單�... @ccshan
1K Followers 623 Following Into: ambiguity (watching). He. https://t.co/4xLJ0ebN7J @[email protected]
Threatening Music Not... @ThreatNotation
332K Followers 12 Following Cataloguing threatening music notation. DM submissions welcome—please include source whenever possible.
David Jaz Myers @myers_jaz
1K Followers 187 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
The Australian Pink F... @aussiefloyd
11K Followers 610 Following The official Twitter account of The Australian Pink Floyd Show, the biggest and most spectacular Pink Floyd Show on the planet. #34yearsold #aussiefloyd
UofGCulture @UofGCulture
2K Followers 982 Following Thinking Culture? Film. TV. Art & Design. Theatre. Music. Cultural Policy. Events, research, and more from the School of Culture & Creative Arts @UofGlasgow. 💘
math.CT Category Theo... @arXiv_math_CT
1K Followers 28 Following Abstracts of math.CT (Category Theory) papers posted to https://t.co/RuAS0G4T22 tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
math.LO Mathematical ... @arXiv_math_LO
947 Followers 28 Following Abstracts of math.LO (Logic) papers posted to https://t.co/RuAS0G4T22 tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
Anarchia.bsky.social @Anarchia45
684 Followers 433 Following Russian warship, go fuck yourself Putin, go fuck yourself. Brexiters - off you pop. Tories, don’t let me stop you.
Amar Hadzihasanovic @amar_hh
966 Followers 237 Following Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
typer uma @typer_uma
2K Followers 604 Following Software engineer. Functional Scala @ ITV news. PL theory and verified software.
Eliezer Yudkowsky ⏹... @ESYudkowsky
209K Followers 102 Following The original AI alignment person. Understanding the reasons it's difficult since 2003. This is my serious low-volume account. Follow @allTheYud for the rest.
Scott Alexander @slatestarcodex
157K Followers 36 Following I have a place where I say complicated things about philosophy and science. That place is my blog. This is where I make terrible puns.
Daniel Reeves @dreev
938 Followers 254 Following Co-founder of Beeminder (@bmndr). http://t.co/gwrSQVPlNe
Beeminder Changelog @beemuvi
336 Followers 7 Following Mmm, dogfood! We beemind this at https://t.co/BlykJ2h95K -- an average of 1 User-Visible Improvement (UVI) to Beeminder (@bmndr) gets tweeted here per day, or else...
Pawel Sobocinski @PawSob
1K Followers 804 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).
Ulrik Buchholtz @UlrikBuchholtz
423 Followers 204 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
Alex Kavvos @lambdabetaeta
730 Followers 891 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
brogician @sivawashere
434 Followers 270 Following you're wrong about programming languages and i'm right
James Wood @laMudri
545 Followers 321 Following (2022-11-08) Programming Languages at Huawei. Sticking around for a PhD with @mspstrath, mechanising linearity. Banner from #四畳半神話大系. @[email protected]
Nicola Sturgeon @NicolaSturgeon
1.4M Followers 5K Following MSP for Glasgow Southside. Former First Minister of Scotland (Nov 14 - March 23). Memoir - Frankly - published 14 Aug https://t.co/ClyMi5mT8g
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
PRO_NYC @protest_nyc
49K Followers 4K Following Website calendar + former pro-bono journalism project focusing on demos, policing, community events.
Beeminder Status @beemstat
182 Followers 6 Following This is for status updates in case of downtime at http://t.co/XrhfjhHSSC. Beeminder's main twitter account is @bmndr. See also @beemuvi.
Exist (now on mastodo... @ExistApp
2K Followers 1K Following Track your activity, sleep, productivity, social data and more to understand your behaviour. Built by @HelloCodeCo with love and data analysis. ❤️📊
Beeminder @bmndr
2K Followers 430 Following Beeminder graphs your progress towards a goal. Keep all your datapoints on track or literally pay the price. DMs open & we're very good at [email protected]
algebraic geometry �... @AG_GPT
2K Followers 0 Following all of the propaganda and none of the theory: automatically generated hot takes on algebraic geometry. DMs open for questions you want answered!! she/her
IRIF @IRIF_Paris
752 Followers 297 Following IRIF is a research laboratory of @CNRS and @univ_paris_cite on the foundations #Computer #Science #Informatique. @INS2I_CNRS @inria_paris @DimRfsi
CS Faculty Jobs @csfacultyjobs
5K Followers 1 Following Faculty jobs in Computer Science worldwide. Mostly automated. Mention/DM openings & we'll retweet. Created by @emilianoucl, now run by @shaddih
Kamala Harris @KamalaHarris
20.8M Followers 702 Following Always fighting for the people. Wife, Momala, Auntie. She/her. 107 Days available now.
Joe Biden @JoeBiden
38.0M Followers 46 Following Husband to @DrBiden, proud father, grandfather, and great grandfather.
Paul-André Melliès @pamellies
637 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris
José Manuel Calderó... @josecalderon
2K Followers 857 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Compositionality @compositional_j
713 Followers 10 Following open-access journal for compositional math and science
varkor @varkora
391 Followers 250 Following Category theorist and type theorist. I make https://t.co/HNSuFc5oOW. Rust compiler team alumnus.
Non-Constructive Crit... @un_constructive
112 Followers 0 Following naming and shaming those who tacitly assume the law of excluded middle / don't not dm submissions / brought to u by @sarah_zrf & @plt_amy (named by @_julesh_)
Dan Marsden @StringDiagram
1K Followers 182 Following Categories, computer science and logic. @[email protected]
Ivan Di Liberti @ivandiliberti
575 Followers 1K Following Academic at Gothenburg University. Mathematician. Late millennial.
〚Dan R. Ghica〛 @danghica
1K Followers 311 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Timothy Gowers @wtgow... @wtgowers
48K Followers 184 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.Trends for United States
8.705 posts
1,24 Mn posts
35,2 B posts
21,8 B posts
76,8 B posts
605 B posts
59,1 B posts
16,2 B posts
38,8 B posts
569 B posts
1.698 posts
11,7 B posts
15,5 B posts
2.080 posts
32 B posts
2.097 posts
8.002 posts
26 B posts
2.039 posts
1.513 posts
You might like
Alex Kavvos
@lambdabetaeta
730 Followers
Helen Scott
@HelenJoScott
2K Followers
EDJ
@EDKJJKDE
367 Followers