Tori Vollmer @Proof_by
[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 Canterbury, England Joined July 2016-
Tweets2K
-
Followers450
-
Following506
-
Likes5K
Tori Vollmer retweeted
@Proof_by is looking for a new officemate as I got moved into my office last week. She feels lonely please help her! #categorytheory
0
3
7
912
0
Download Image
Lurking around my house at 2am with all the lights off listening to vampire themed Korean RnB
I am going to convince everyone to start pronouncing SML as "smell" for obvious reasons
I need to go to sleep bc I have to pretend to be capable of teaching concurrency in Java in the morning but my brain keep repeating "past tense of mind is mound" and it's keeping me up
I am an independent man is my favorite k-pop song.
Tori Vollmer retweeted
feeling this diagram on an emotional level rn
Tori Vollmer retweeted
happy october, everyone
Tori Vollmer retweeted
At long last, Season 2 of Bee and Puppycat is now on Netflix!
For just one moment in my life I'd like to live in the space between thinking an idea is stupid because it's probably nonsense & wrong and thinking that same idea is stupid because it's obvious & trivial.
Example of Alan's smug look.
Tori Vollmer retweeted
The #ECOOP22 paper "How to Take the Inverse of a Type" by Daniel Marshall, Dominic Orchard received both a Distinguished Paper AND a Distinguished Artifact Award! Congratulations to the authors!👏 @dorchard @UniKentComp 🔗: 2022.ecoop.org/details/ecoop-… 📄: starsandspira.ls/docs/ecoop22-d…
I bought a push down mandoline. It is a dopamine machine. I've chopped all the vegetables and I need to chop more. Must chop.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
julia🦄 @KamerynJW
6K Followers 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
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
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
beka_valentine @ kole... @defnotbeka
3K Followers 2K Following a dyke who hacks on things. she/xey/ey. [email protected]
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Liam Bright @lastpositivist
62K Followers 4K Following Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]
Zanzi Tangle, now at ... @tangled_zans
3K Followers 327 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Alexandra ✨ @EulerWept
4K Followers 373 Following \mathbb{🥺} | she/her | 1312 | antifa | I study math | 🧗🏻♀️
Colin Barrett (NEET a... @cbarrett
5K Followers 4K Following Unemployed tech worker. Ex @Apple @Mozilla et al. 🏳️🌈 (any/all)
David Thrane Christia... @d_christiansen
3K Followers 623 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
wuc9521 @wuc9521
84 Followers 1K Following
Shirley @DooteauthQTys
36 Followers 3K Following
Aditya Bantwal @adityabantwal
229 Followers 3K Following MSc Intelligent Systems @CITEC_Bielefeld. Interested in graph theory, formal logic, and algorithmic cheminformatics.
Luna @AuraAzure168342
8 Followers 733 Following
Brooke @Pousso137369
284 Followers 4K Following See the world on the road, and get to know yourself on the way!
Sakhile @Sakhile76499038
204 Followers 4K Following
Reven @Reven37511816
0 Followers 3 Following
Christos Perivolaropo... @ccperivol
270 Followers 741 Following Computer science understander @GoogleDeepmind
@curbo.org at the oth... @jcurbo
220 Followers 2K Following 👨💻 Cyber researcher @JHUAPL 📐 Doctoral student @HopkinsEngineer (space cyber) 🔭 Amateur astronomer 🕹️ Video game connoisseur 📚 History buff ✈️ USAF vet
gregory carmel schare @ggschare
78 Followers 531 Following 'puter things | average lisp enjoyer | disgruntled software minimalist | in search of the ultimate epic bee metaphor
Ravi Mohan @ravi_mohan
2K Followers 1K Following Programmer, Wargamer. Student of Taiji Quan, Finance, Ancient Languages, Mathematics, Military History Retweets == Hmm, interesting "Naro va Kunjaro va"
Jva @Jva71331590
0 Followers 2 Following
the very angry tex co... @defunct0r
342 Followers 324 Following Human disaster, student. Into math and music. I think I might like algebraic topology (she/her)
Rimma🇺🇦 @RimmaH112514
720 Followers 656 Following Some weird Finnish person living in Berlin. Math education enthusiast Writer Red Bull appreciator
Joe Zimmerman @joe_zimmerman
1K Followers 2K Following PL & compilers / AI / rationality / moral philosophy
Doug Birbrower @douglas0
280 Followers 5K Following OCCUPATION: financial advisor to governments and nonprofits INTERESTS: Yankees, Santos FC, math
🥢 Jon 🍲 @ionathanch
953 Followers 432 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @ionchy.ca on bsky | coädmin on https://t.co/kUlV1hNtrR
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.
Jason @jasonwritestext
9 Followers 51 Following All views expressed are my own. Programming languages, compilers, performance & concurrency nerd. Also category/topoi/linear logic because of course.
Robert Jacobson @rljacobson
116 Followers 391 Following R&D-oriented computer scientist, mathematician, and software engineer with broad experience. I have particular interests in compilers, mathematical modeling
elm💉💉💉 @elmessina
238 Followers 779 Following virologist, writer, mom, music fan, maker of costumes and fixer of pants, autistic, she/her, views my own
Keith E Peterson @KeithEPeterson_
318 Followers 163 Following
Christine Rizkallah @c_rizkallah
377 Followers 329 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).
anna @aldlatour
627 Followers 2K Following Computer Scientist. Postdoc interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Opinions my own. @[email protected]
Octave Larose @OctaveLarose
95 Followers 73 Following PhD student at @UniKent. I do programming language implementation. I'm just trying to vibe
Joel Svensson @sve10362122
294 Followers 2K Following Implementing a Lisp like language for microcontrollers. LispBM is a lisp or scheme like language with concurrency and an Erlang inspired message-passing system
Ben Stucky @beanstalk... @beanstalk555
278 Followers 2K Following Math and computer science teacher and learner @Beloit_College. Here for my students in one way or another. he/him. Mastodon: https://t.co/kBBwvZyZ1E
Tej Kashi @TejasviKashi
588 Followers 4K Following Databases and distributed systems. Senior Software Architect @pgEdgeInc. MMath CS @UWaterloo, Ex-@IIScBangalore
Free @freecrazysun
73 Followers 1K Following
Lia Troy @troy_lia
2 Followers 79 Following
careful frogs @careful_frogs
38 Followers 190 Following Puzzling is not a solitary game. Undergrad. Math, lit, phil.
Lef @elefthei
1K Followers 1K Following PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
After Math @after_math_cast
187 Followers 508 Following The podcast about math. Join Sarah and Ifaz as we explore the lifes of other mathies, and explore math's influence on culture, careers, and society as a whole.
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Peter @peterhanukaev
6 Followers 91 Following
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Daniel Litt @littmath
50K Followers 884 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
julia🦄 @KamerynJW
6K Followers 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
Algebraic Geometer @BarbaraFantechi
10K Followers 2K Following Full Prof, cis white woman, #BiInSci. Opinions my own. https://t.co/bOV22mJQbg Graph from https://t.co/W5M7KnClOP
julesh @_julesh_
10K Followers 136 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
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
José Manuel Calderó... @josecalderon
2K Followers 852 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
beka_valentine @ kole... @defnotbeka
3K Followers 2K Following a dyke who hacks on things. she/xey/ey. [email protected]
Dr. Marissa Kawehi Lo... @MarissaKawehi
8K Followers 1K Following Kānaka maoli & Black. Assistant Professor of Mathematics @ UW Madison. Usually tired (not sleepy). Forever dreaming of home (Moku o Keawe).
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Simon Burton @fridaysimon
730 Followers 639 Following Mathematical physics, quantum computers. @[email protected]
Rimma🇺🇦 @RimmaH112514
720 Followers 656 Following Some weird Finnish person living in Berlin. Math education enthusiast Writer Red Bull appreciator
Show Me The SUBS @ShowMeTheSUBS
38K Followers 65 Following English subs provided by khh fans for khh fans. Waiting for #SMTM12.
bitdizzy is absent @bitdizzy_
426 Followers 235 Following she/her 🏳️⚧️ | avant-garde programmer | god's favorite daughter (derogatory) | 兩亂
Dan Ports, @dan@discu... @danrkports
5K Followers 683 Following Exclusively on Mastodon these days: https://t.co/uq8vRRSnQa Distributed systems and operating systems. @MSFTResearch @uwsyslab
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
arXiv math.CT Categor... @mathCTbot
2K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCVb @mathDGb @mathDSb @mathFAbot ...
Vince Vatter @VinceVatter
9K Followers 659 Following Mathematician at the University of Florida @UF. Combinatorics, GraphTheory, AI.
Julia Lepetit Wants Y... @JuliaLepetit
112K Followers 707 Following NYC. Host for @drawfeeshow, Drawtectives. Aspiring Video Game Artist. French + American, formerly deaf. She / Her. Twitch streamer at @sss_stream
Christine Rizkallah @c_rizkallah
377 Followers 329 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).
MSP Group (now at mas... @mspstrath
856 Followers 20 Following Mathematically Structured Programming group @UniStrathclyde We are interested in type theory, category theory, and how to stop seeing them as different things.
anna @aldlatour
627 Followers 2K Following Computer Scientist. Postdoc interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Opinions my own. @[email protected]
Octave Larose @OctaveLarose
95 Followers 73 Following PhD student at @UniKent. I do programming language implementation. I'm just trying to vibe
Joel Svensson @sve10362122
294 Followers 2K Following Implementing a Lisp like language for microcontrollers. LispBM is a lisp or scheme like language with concurrency and an Erlang inspired message-passing system
Ben Stucky @beanstalk... @beanstalk555
278 Followers 2K Following Math and computer science teacher and learner @Beloit_College. Here for my students in one way or another. he/him. Mastodon: https://t.co/kBBwvZyZ1E
Tej Kashi @TejasviKashi
588 Followers 4K Following Databases and distributed systems. Senior Software Architect @pgEdgeInc. MMath CS @UWaterloo, Ex-@IIScBangalore
Dr. Mirman @mmirman
2K Followers 756 Following Founder of @anarchy_ai_inc | Dr of Deep Logic @the_sri_lab | radically closed development
Andrew K. Hirsch @andrewkhirsch
574 Followers 913 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
careful frogs @careful_frogs
38 Followers 190 Following Puzzling is not a solitary game. Undergrad. Math, lit, phil.
Black In Math @BlackInMath
4K Followers 179 Following The 1st #BlackinMathWeek took place Nov 8-14, 2020! Organized by @mathematichole_ @mathdwight @angela_tabiri @itsafronomics @916ice @MarissaKawehi @blkmathmagic
(s)ad Astra 🏳️�... @astradiol
863 Followers 390 Following 𝑆𝑝𝑎𝑐𝑒 𝑎𝑛𝑑 𝐿𝑜𝑔𝑖𝑐; 𝒮ℴ𝓎𝓁ℯ𝓃𝓉 𝓌𝒾𝓃ℯ 𝓅𝒶𝒾𝓇𝒾𝓃ℊ. 𝔓𝔲𝔯𝔢 𝔪𝔞𝔱𝔥𝔰 𝔓𝔥𝔇. 🏳️⚧️ 𝒔𝒉𝒆/𝒉𝒆𝒓 postdoctoral fellow in CS at @wesleyan_u
favonia @favonia
315 Followers 98 Following 👤 any pronoun 💖 emoji lover ⚡ algebraic effects 🐘 https://t.co/21bfwnK8m9
David Jaz Myers @myers_jaz
1K Followers 188 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Lef @elefthei
1K Followers 1K Following PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Math Lady Hazel 🇦�... @mathladyhazel
105K Followers 13 Following Please subscribe the best math and science newsletter! https://t.co/tf4xYz9Q6k
András Kovács @andrasKovacs6
909 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
School of Computing a... @UniKentComp
2K Followers 1K Following World class research, excellent teaching and successful graduates.
University of Austin ... @UATX_math
689 Followers 54 Following One of the Top 10 Mathematics Departments in Austin, TX. Funded by the AMR. Blocked by several UATX co-founders. Pronouns: y'all / all y'all. Parody.
Dr. Beth Radulski @BethRadulski
2K Followers 605 Following Sociologist, #Neurodiversity, and #Autism Researcher. #ActuallyAutistic. She/They
usa = oligarchy+jingo... @anawww_k
386 Followers 4K Following black lives matter/// land back/// no police / rent / prisons / medical bills/// ana (she/her / they/them) - white - trans - gay af - demis - mathy - nd - aspy
Pseudospectre @pseudo... @frightfulHoblin
1K Followers 2K Following I talk about philosophy, math, politics, books, and my cat. Black lives matter. Trans rights are human rights. Free Palestine. He/him
Artem Chernikov @archernikov
4K Followers 1K Following Michael Brin professor of mathematics at @UofMaryland. Mathematical logic, model theory -and connections to combinatorics, algebra, etc.
Xavier Ripoll @xaviripo
173 Followers 564 Following
Irene Zhang @schemeprincess
6K Followers 250 Following [email protected] on Mastodon. schemeprincess on Instagram.
Symmetric Monoidal Jo... @abomnblejoeman
785 Followers 1K Following Joe. MS in math. Homotopy theory/Higher Category theory PhD student. Disabled Bi Progressive Christian. 28. He/Him. Mutuals: @joebonuscontent
Steph 🍉 they/them @StephDoesMath
1K Followers 4K Following Chicago-style Latinx • 🇲🇽🇵🇷 •gag manga character•📍SoCal • 1st Gen College Grad • 💍 •🖖🏽• RTs≠endorsements•they/she• 🐈⬛🐈 • 32
Ruha Benjamin @ruha9
64K Followers 5K Following ✍🏽 • RACE AFTER TECHNOLOGY: Abolitionist Tools for the New Jim Code • VIRAL JUSTICE: How We Grow the World We Want • IMAGINATION: A Manifesto 📚Trends for United States
129 B posts
33,9 B posts
72,1 B posts
72,1 B posts
1,42 Mn posts
9.957 posts
5.652 posts
460 B posts
18,2 B posts
5.190 posts
3.763 posts
227 B posts
1.567 posts
1.249 posts
1.148 posts
2.453 posts
1.853 posts
1.958 posts
3.411 posts
38,8 B posts
You might like
vollmerm
@ma_vollmer
674 Followers
Andrew K. Hirsch
@andrewkhirsch
574 Followers
Alex Kavvos
@lambdabetaeta
725 Followers
Dominic Orchard
@dorchard
2K Followers
Matti Palli 🧙�...
@tritlo
3K Followers
Pedro Abreu
@p_droabreu0
1K Followers
José Manuel Calderó...
@josecalderon
2K Followers
Sam Lindley
@reifyreflect
639 Followers