СОБОЦИНЬСКИЙ

@PawSob

Academic. Fan of concurrency, string diagrams and linear algebra. Author of Graphical Linear Algebra blog at .

Tallinn, Estonia
Vrijeme pridruživanja: ožujak 2012.

Tweetovi

Blokirali ste korisnika/cu @PawSob

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @PawSob

  1. 29. sij

    The triumphant final part of the running example 😊

    Poništi
  2. proslijedio/la je Tweet
    14. sij

    There are still a few days left if you want to apply for the Applied Category Theory School. Hurry!

    Poništi
  3. 10. sij

    The CFP for SYCO 7 in Tallinn is out. submission deadline 17 February. Submit your work and come and hang out with the Compositionality group in Tallinn!

    Poništi
  4. proslijedio/la je Tweet
    10. sij
    Poništi
  5. 9. sij

    At age 13 I recorded a gangsta rap song in a professional studio.

    Poništi
  6. 13. pro 2019.

    So should I finally leave the Labour Party, or wait around for the leadership election?

    Poništi
  7. 9. pro 2019.

    I’m more and more happy about my decision to leave the UK 😀

    Poništi
  8. 4. pro 2019.

    The cute thing is that the commutativity equation becomes a string diagram. The thing in the bubble, translated to classical f.o. logic, is ∀x,y,z . (m(x,y)=z) ⇒ (m(y,x) = z)

    Poništi
  9. 3. pro 2019.

    Any guesses about what this is? I'm thinking about getting it printed on a t-shirt.

    Poništi
  10. proslijedio/la je Tweet
    1. pro 2019.

    By the way, if you know yourself, or you know someone who knows someone who would like to read the draft (:= help me proofreading 320 pages), please step forward!

    Prikaži ovu nit
    Poništi
  11. 29. stu 2019.

    Nothing more relaxing than an afternoon of drawing string diagrams.

    Poništi
  12. 18. lis 2019.

    One of my favourite things about Tallinn so far is the very efficient and *free* public transport network.

    Poništi
  13. 3. lis 2019.

    Just an amazing paper - it changed the way I think about relations and influenced most of my research in the last few years.

    Prikaži ovu nit
    Poništi
  14. 3. lis 2019.

    Cartesian Bicategories I by Aurelio Carboni and Bob Walters.

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    3. ruj 2019.

    Liebe Frau Merkel Ich schreibe auf German so du kann see du and ich are lang befriended. Please bitte (hah, nicht bitter!) can du helpen mir? Kann du sayen das die negotiazionen sind very produktiven und die backshtop ist finisched? Eine kleine nachtmusic Boris

    Prikaži ovu nit
    Poništi
  16. 30. kol 2019.
    Poništi
  17. 28. kol 2019.

    The accents are a nice touch

    Poništi
  18. 27. kol 2019.

    I like how they’ve put some empty spaces in there.

    Poništi
  19. 20. kol 2019.
    Poništi
  20. 12. kol 2019.

    Arguing whether category theory is good or bad is a bit like arguing whether electric drills are good or bad. Sure, you could work without them. But why? Just to avoid reading the instructions?

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·