Tweets

You blocked @noamzoam

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @noamzoam

  1. Pinned Tweet
    17 Jun 2018

    C. S. Peirce: "It would scarcely be an exaggeration to say that the whole of mathematics is enwrapped in these trichotomic graphs; and they will be found extremely pertinent to logic."

    Show this thread
    Undo
  2. 17 Dec 2019

    bonus Hanukkah version:

    Show this thread
    Undo
  3. 17 Dec 2019

    In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees.

    Show this thread
    Undo
  4. 17 Sep 2019

    anyone familiar with pre-LaTeX Russian mathematics know whether μ was used as a symbol to denote *non*-membership in a set? So the "i μ σ" in this sentence would mean "i ∉ σ"?

    Undo
  5. 5 Sep 2019
    Undo
  6. Retweeted

    The University of Strathclyde wants to shut down its combinatorics research group. Pretty weird! Discrete mathematics is really important in computer science. Please join me in signing a petition to save the university from this dumb idea! Go here:

    Undo
  7. 21 Jun 2019

    In more positive news, I'm happy to point out that the program for the interdisciplinary CLA 2019 workshop is now online (with still a few days left to register!):

    Undo
  8. 21 Jun 2019
    Show this thread
    Undo
  9. 21 Jun 2019

    Surprised and concerned to read that the Combinatorics group at is under threat of elimination . This kind of clear-cutting of mathematical expertise is a detriment to the long-term interests of computer science.

    Show this thread
    Undo
  10. 18 Jun 2019

    enjoyed giving a new version of an old talk for the proof theorists at QMUL. Not sure whether this slide was appropriate, though.

    Undo
  11. 7 Jun 2019

    Finally, I definitely recommend spending a lazy afternoon strolling around the gallery! Here we've used it to display all linear λ-terms of size 8 with no beta-redices and with 2 crossings in their diagram.

    Show this thread
    Undo
  12. 7 Jun 2019

    You can also use it to generate normalisation graphs (really these are graphs of graphs!). For example, this particularly beautiful normalisation graph is generated by a linear term representing the formula "T ∧ F" (based on an encoding of boolean circuits due to Harry Mairson).

    Show this thread
    Undo
  13. 7 Jun 2019

    The visualiser lets you inspect λ-terms as certain kinds of graphs, while also keeping track of various interesting statistics.

    Show this thread
    Undo
  14. 7 Jun 2019

    Want to build a more visual connection with the λ-calculus? Check out the λ-term visualiser and λ-term gallery by George Kaye ()!

    Show this thread
    Undo
  15. 25 May 2019

    Have I mentioned CLA? It is a fun annual workshop on interactions between logic and combinatorics, where you might see slides like the one attached. CLA 2019 is 1-2 July in Versailles... still time to submit a talk proposal, and registration is free!

    Undo
  16. Retweeted
    3 May 2019
    Replying to and

    I was in the audience and filmed Dana Scott telling the story of what the lambda stands for.

    Undo
  17. Retweeted
    26 Apr 2019

    The opening in Liquid and Relational is closing soon! Apply till 30th April .

    Undo
  18. Retweeted
    21 Apr 2019

    Cleaned up the lambda-map drawing widget enough to toss it up on a webpage, enjoy:

    Show this thread
    Undo
  19. 7 Apr 2019

    followup question: 1 ⊕ 1/3 ⊕ 1/5 ⊕ 1/7 ⊕ 1/9 ⊕ ... = ?

    Show this thread
    Undo
  20. 6 Apr 2019

    1/10 ⊕ 1/6 = 5/29 1/6 ⊕ 2/3 = 7/10 1/5 ⊕ 2/5 = 3/7 1/4 ⊕ 3/4 = 2/3 3/5 ⊕ 1/3 = 3/4 5/8 ⊕ 7/8 = 10/27 1/7 ⊕ 1/7 = 0 1/6 ⊕ 1/5 = 2/9 4/5 ⊕ 1/5 = 3/4 4/5 ⊕ 5/6 = ? (Adapting adapting )

    Show this thread
    Undo
  21. Retweeted

    Finally some good news!! The have decided to include CO2 levels in their weather forecast. Please share this news so that all newspapers and news outlets follow the example. Now!

    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·