Type Theory @type_theory
An online study group, open to all, dedicated to learning type theory. github.com/type-theory ##typetheory on freenode Joined October 2015-
Tweets43
-
Followers496
-
Following254
-
Likes1
Join the Type Theory Study Group today at 2PM EST / 7PM GMT over Hangouts on Air! plus.google.com/events/cr0mptp…
0
1
3
0
0
Type Theory retweeted
Type Theory Study Group Meeting #4 will be held on the 30.01.2016 at 2PM EST / 7PM GMT. More info: groups.google.com/forum/#!topic/… @type_theory
Interested in helping to lead a discussion for the online type theory study group? Let us know! groups.google.com/forum/#!topic/…
Type Theory retweeted
i just wanna say the folks in the @type_theory group have been incredibly responsive in helping me understand the text. v appreciated
Type Theory retweeted
Type Theory Meeting #4: groups.google.com/forum/#!topic/… Please vote for the date&time that suits you best: doodle.com/poll/b46sniznw… @type_theory
Type Theory retweeted
My notes for #TypeTheory Meering 3: Hypothetical Judgements & Statics with @dannygratzer and @m4farrel: drive.google.com/file/d/0By21cC…
The next meeting of the Type Theory Study Group is happening today at 4:30 PM EST! Here's the link to the Hackpad: ttsg.hackpad.com/Type-Theory-St…
Type Theory retweeted
My notes for #TypeTheory Meeting 1.5: Special Topics on ABTs with @jonsterling & @sdbo & @freebroccolo: drive.google.com/file/d/0By21cC…
It's official! There will be a #TypeTheory Study Group meeting today at 4:30 PM EST on Google Hangouts. Please see: groups.google.com/forum/#!topic/…
Type Theory retweeted
@type_theory My notes for the first #TypeTheory meeting: drive.google.com/open?id=0By21c…
Type Theory retweeted
@type_theory greetings from Greece. Goodnight and keep up the good work.
Type Theory retweeted
#TypeTheory Study Group Meeting #1 is happening right now: youtu.be/5JuOjqCZZTU
Type Theory retweeted
Now I need to make it home in time for the @type_theory Study Group Friday night party.
Here's the link to the Hangouts on Air for the meeting today: plus.google.com/u/0/events/c6e…
Interested in volunteering to take notes at the meeting today? We want your help! Feel free to add your name here: ttsg.hackpad.com/Type-Theory-St… …
Got questions for the meeting today? Feel free to add them to the list on Hackpad! ttsg.hackpad.com/Type-Theory-St…
Reminder: the first meeting of the Type Theory Study Group will be today @ 6pm EST over Hangouts on Air. Please see: groups.google.com/forum/#!topic/…
Looks like there will be mini-courses offered by @admitscut and @existentialtype at the HoTT workshop in May! fields.utoronto.ca/programs/scien…
Curious about Homotopy Type Theory? Check out this upcoming workshop happening May 16-20th at The Fields Institute: fields.utoronto.ca/programs/scien….
The first meeting of the Type Theory Study Group will happen this Friday @ 6pm EST over Google Hangouts. Please see: groups.google.com/d/msg/type-the…
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
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
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Jacques Carette @jjcarett2
2K Followers 933 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
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
Denis Moskvin, ανε... @deniok
1K Followers 256 Following Аny resemblance to the views of HSE University management in this Twitter account is purely coincidental.
Samuelqu030527 @vincentz037
2 Followers 46 Following
Opisoo @Opisoo458
67 Followers 2K Following
一葉扁舟 @yaoerhg
170 Followers 2K Following
hamid @1hamidr
101 Followers 1K Following How dare Mr Fox exploit the system that was stratified to exploit him?
Paul McGee @logical_canine
167 Followers 997 Following Atheist. Maths, Delphi, C++, Cat theory, FP ... in that order. And now Rust I guess. Yes. Rust. Fine.
Gabrielle Oliveira @io_gabx
3K Followers 2K Following Hi, I'm a 19 yo individual who likes OCaml and Rust. I also like logic, dependent types, math & formal proofs o/ https://t.co/l9voJmuQ8w ️💕
Brian Lee @brianlee_lck
48 Followers 715 Following Trying to good work with Math and Computing @Cambridge_Uni @Harvard
Michael Herstine @unwoundstack
129 Followers 754 Following I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code. I sometimes spout-off opinions on other topics.
Ethan Xu @EthanxXu
5 Followers 173 Following
Daniel Yeh @danielykf_1874
3 Followers 169 Following
Ascar Shen @As_shen98
11 Followers 217 Following
Tal Boker @TalBokerr
195 Followers 3K Following
spe_ty @import_ty
12 Followers 82 Following SNU CSE 20 / interests: Type theory, Static analysis, Rust, LLVM, Software architect
So What @bluekinda
6 Followers 615 Following
Valentinus Sofa 🎗 @SofaValentinus
293 Followers 2K Following - Interested in distributed computing, cryptography, and cybersecurity - I love philosophy, science & technology, history, art, and literacy.
fredcheng @neumanncheng
23 Followers 3K Following
Jo Roe @JoRoe19
3 Followers 185 Following
beka_valentine @ kole... @defnotbeka
3K Followers 2K Following a dyke who hacks on things. she/xey/ey. [email protected]
H. M. B. @Love2Read2End
151 Followers 2K Following CompilersOptimisation•Ontologies•DSLs(LanguageEngineering)•Scala•PhilosophyOfMath&Logic(Intuitionistic)•TypeTheories&Semantics•WebSite👇🏻LivingWittgensteinian•
Juan @h_juan
20 Followers 79 Following Lead Instrumentation and Controls Engineer / Electronics Engineer / Developer
Adrian Trejo Nuñez @atn1990
47 Followers 585 Following 🇲🇽Software Engineer. Fútbol, basketball, and MMA.
JB @JBezivin
4K Followers 3K Following Observing the world from Brittany. “Let's cultivate our garden.” Voltaire, Candide JBezivin @jbezivin.bsky.social on bsky @[email protected] on Mastodon
Raptazure @raptazure
972 Followers 488 Following reading poetry ＆ philosophy | previously computer science (haskell etc.)
Functional programmin... @Fpc2020Japan
293 Followers 462 Following 主に日本国内の関数型カンファレンスのまとめを記載させて頂いております半 botです問題がございましたらDMにてご連絡くださいFunctional programming conference 2019 in Japan のアカウントはこちら→ https://t.co/VCGKD56ywH
Lars Brünjes @LarsBrunjes
16K Followers 7K Following Director of Education at @InputOutputHK #Cardano, CTO at @GeniusyieldO, PhD in Pure Mathematics, passionate about #Haskell.
izysa @asyzise
47 Followers 493 Following previously use https://t.co/KzyidWK4UH, still use https://t.co/7T0PE2CnVI; - статевих хромосом XY, 時間帯 UTC+8
Ankush Das @Das8Ankush
559 Followers 670 Following Asst. Prof. @BU_Tweets. Previously Applied Scientist @Amazon. PhD from @CSDatCMU. Interned @MSFTResearch and @Meta. Ugrad @iitbombay.
Shane Montague @ackgoonthen
97 Followers 2K Following
Uhuru @Uhuru57
2 Followers 323 Following
Math-Phys-Cat Group @math_phys_cat
1K Followers 3K Following A Brazilian research group on Mathematical-Physics and Categorification #mathphyscat #pesquisabrasileira | https://t.co/PczcQ8hkh4
Sayan Ghosh @City_Of_Stars_S
15 Followers 589 Following Graduate student of Mathematics interested in Equivariant Homotopy Theory and Symplectic Topology. Project Assistant(RA) Department of Mathematics IIT Kharagpur
Stefan Ciobaca @ciobaca
50 Followers 651 Following
koto @kotoromo1
56 Followers 2K Following Reposteo arte que me gusta y de vez en cuando memes que me dan risa. Nunca olvidar como el feed de ___ son puras morras chinas con pistola 以上
Mehmet Oguz Derin @mehmetoguzderin
574 Followers 4K Following Oguz 𐱅𐰼𐰭𐰆𐰍𐰔 To compute デリン メフメトオグズ 데린 메흐메트오구즈
beike @beikejun07
33 Followers 2K Following
JohnDDugan @johnddugan
143 Followers 5K Following
Guillaume FLORENT @gflorent73
153 Followers 94 Following Sailor ~ Olympic medallist ~ Outdoor sports ~ Travel ~ Software developper ~ Engineer ~ Maker
rmsam @R67199569
0 Followers 127 Following
DreamLinuxer @DreamLinuxer
12 Followers 241 Following
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Edward Kmett @kmett
16K Followers 823 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
∃ugene -Yokota 🥙... @eed3si9n
5K Followers 568 Following enjoys music, good food, coding, and talking about them. learning machines at employer. @scala_sbt core dev. mastodon: @[email protected]
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
Heather Miller @heathercmiller
14K Followers 987 Following Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
@pchiusano@universeod... @pchiusano
6K Followers 126 Following working on @unisonweb Mastodon: @[email protected]
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
Tomas Petricek (find ... @tomaspetricek
9K Followers 933 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
fogus @fogus
12K Followers 325 Following Clojure Core. Nubank. computing antiquary. Bibliophile. DC/VA. https://t.co/JYz4uM7OEn @[email protected]
Stephanie Weirich @fancytypes
3K Followers 355 Following
Strange Loop Conf @strangeloop_stl
13K Followers 57 Following The Strange Loop software conference in St. Louis, MO. Videos: https://t.co/nzeElviisT.
Ulrik Buchholtz @UlrikBuchholtz
427 Followers 204 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
mandubian @mandubian
2K Followers 589 Following AI, Programming, Science with proofs & humility Cooking, Wine & personal minds, no insult or disrespect AI topic also on @[email protected]
Dr Eugenia Cheng --no... @DrEugeniaCheng
26K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025
Maxwell @mxswd
2K Followers 405 Following I make good apps. Previously at and NICTA. Contact me via form on personal website.
typelevel.scala @typelevel
9K Followers 110 Following Let the Scala compiler work for you. We provide type classes, instances, supplements to the standard library, and much more. Now at @[email protected]
Ilan Godik @IlanGodik
355 Followers 499 Following Deep in Functional Programming and learning about Type Theory. Also interested in AI.
Ulf Norell @ulfnorell
611 Followers 96 Following
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Artem Zvyagintsev @corba77
549 Followers 4K Following machine learning engineer, programmer, and mathematician: former Topos and Synthetic Differential Geometry theorist.
Paul-André Melliès @pamellies
638 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris
lvicente.sanchez @lvicentesanchez
206 Followers 316 Following Software Engineer. Scala, Purescript, OCaml and some Rust. Opinions and Tweets are very much my own.
@doppioslash@mastodon... @doppioslash
3K Followers 4K Following Mind Contortionist and Bit Enchantress. Graphics Programmer, Proceduralism, Houdini, PBR, UE5, Unity, Rust, GameAI, Computer Vision. Book Author. I'm @shadercat
Lauper @egorlaufer
41 Followers 661 Following
Jack Pooley @jackpooley
181 Followers 1K Following Mobile & Rust @the_matter_labs / @zksync. Interested in decentralised/local-first software and AI models, ZK, FV & WASM. ⛷️🧗(🪁🏄)🏋️ 🇨🇭➡️🇬🇧 ➡️🇨🇦 ➡️🇨🇭
Johan Glimming @glimming
684 Followers 4K Following CEO @ FUNCTOR, PhD, CTO, researcher in Computer Science. MSc Oxford, Maths Institute, formerly research fellow, Cambridge 🌐 https://t.co/qx88UJlKQt https://t.co/xZbtyedLTp
hamid @1hamidr
101 Followers 1K Following How dare Mr Fox exploit the system that was stratified to exploit him?
Andrei Formiga @andreiformiga
658 Followers 372 Following I like (programming)? languages @[email protected] https://t.co/K8es4FEAnx
Jarle Stabell 💙 @jarlestabell
436 Followers 5K Following https://t.co/jBIavnVMlx @[email protected] Computer programmer since the age of 12. Studied maths. Hobbyist dancer.
John Ky @newhoggy
439 Followers 1K Following
Vineeth Varghese @vineethvarghese
91 Followers 272 Following
Chad Scherrer @ChadScherrer
3K Followers 1K Following Probabilistic modeling in Julia Join me on https://t.co/dCOd2E2fKz! I'm @[email protected]
CGenie @CoolGenie
58 Followers 456 Following Catholic, husband, mathematician, programmer. Also on https://t.co/uDVgz16oJ8
Abstract potato memes @AbstractPMemes
206 Followers 3K Following
Human Erin and Dog V @M27182818
56 Followers 82 Following Mom. Mathematician. Computer Scientist. Solver of Problems. Disabled. DEI Advocate. Wrangler of Chaos. These are my personal opinions.
Andrew @ndr_qef
33 Followers 1K Following
Kevin Wright @thecoda
1K Followers 1K Following Parent, programmer, owner of far too many gadgets, visualising Big Data before it became trendy. Will code in Scala for fun and profit.
Nothing but antic cla... @joranwei
367 Followers 638 Following Done here. See: https://t.co/HKIEHAvuof
Florian Lammel @FlorianLammel
20 Followers 298 Following
LambdaCat @lambda_cat
806 Followers 355 Following LambdaCat is a blog series which explains interesting/useful/cool Functional Programming tidbits. (Written by @doppioslash)
Senior Principled Eng... @argha7c
266 Followers 81 Following Engineering @Netflix. No backward compatibility for tweets.
FSCD 2016 @fscd2016
11 Followers 2 Following News about the 1st International Conference on FSCD - Formal Structures for Computation and Deduction. Porto, Portugal, 22-26 June 2016
Gary Fixler 🗹 @gfixler
806 Followers 606 FollowingTrends for United States
28,8 B posts
124 B posts
37,7 B posts
25 B posts
11,1 B posts
66,5 B posts
10,3 B posts
5.875 posts
41,6 B posts
19,8 B posts
429 B posts
18,2 B posts
1.357 posts
3.166 posts
33,6 B posts
36,5 B posts
3.034 posts
79,1 B posts
You might like
Well-Typed
@welltyped
6K Followers
ICFP Conference
@icfp_conference
4K Followers
Galois
@galois
6K Followers
David Van Horn
@lambda_calculus
5K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
gelisam
@haskell_cat
1K Followers
Lennart Augustsson
@Augustsson
2K Followers
Scott Fleischman
@scottfleischman
869 Followers
Steven Shaw
@steshaw
1K Followers
Carter T Schonwald
@cartazio
2K Followers
Jeremy Gibbons
@jer_gib
2K Followers
Derek Dreyer
@HerrDreyer
3K Followers