Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @noamzoam
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @noamzoam
-
Pinned Tweet
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees.pic.twitter.com/KpB0raTFus
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 ∉ σ"?pic.twitter.com/lNGB3wiDiS
Thanks. Twitter will use this to make your timeline better. UndoUndo -
slides over here: http://noamz.org/talks/syco5.2019.09.04.pdf … links mentioned during talk:
@thegeorgejkaye's λ-term visualiser & gallery (https://www.georgejkaye.com/fyp/visualiser.html …) and@jcreed's (inverse) lambda map drawer (https://jcreedcmu.github.io/demo/lambda-map-drawer/public/ …)https://twitter.com/_julesh_/status/1169251578865430528 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Noam Zeilberger 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: https://britishcombinatorial.wordpress.com/2019/06/20/combinatorics-at-strathclyde-2/ …pic.twitter.com/z2uomF4bOx
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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!): http://cla.tcs.uj.edu.pl/
Thanks. Twitter will use this to make your timeline better. UndoUndo -
If you agree, consider signing Peter Cameron's petition:https://britishcombinatorial.wordpress.com/2019/06/20/combinatorics-at-strathclyde-2/ …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Surprised and concerned to read that the Combinatorics group at
@StrathCIS is under threat of elimination https://cameroncounts.wordpress.com/2019/06/19/combinatorics-at-strathclyde/ …. This kind of clear-cutting of mathematical expertise is a detriment to the long-term interests of computer science.Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
enjoyed giving a new version of an old talk for the proof theorists at QMUL. Not sure whether this slide was appropriate, though.pic.twitter.com/BNIYgL2gXn
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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. https://www.georgejkaye.com/fyp/gallery.html …pic.twitter.com/skP1AM3Fd2
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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).pic.twitter.com/hmn0e4gjG8
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
The visualiser lets you inspect λ-terms as certain kinds of graphs, while also keeping track of various interesting statistics. https://www.georgejkaye.com/fyp/visualiser.html …pic.twitter.com/xEhRTctR8M
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Want to build a more visual connection with the λ-calculus? Check out the λ-term visualiser and λ-term gallery by George Kaye (
@thegeorgejkaye)! https://www.georgejkaye.com/fyp/Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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! http://cla.tcs.uj.edu.pl/ pic.twitter.com/CvGfRw0URg
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Noam Zeilberger Retweeted
I was in the audience and filmed Dana Scott telling the story of what the lambda stands for.https://youtu.be/juXwu0Nqc3I
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Noam Zeilberger Retweeted
The
#Postdoc opening in Liquid#Haskell and Relational#Types is closing soon! Apply till 30th April@IMDEA_Software. https://software.imdea.org/open_positions/2019-04-postdoc-relationaltypes.html …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Noam Zeilberger Retweeted
Cleaned up the lambda-map drawing widget enough to toss it up on a webpage, enjoy: https://jcreedcmu.github.io/demo/lambda-map-drawer/public/index.html …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
followup question: 1 ⊕ 1/3 ⊕ 1/5 ⊕ 1/7 ⊕ 1/9 ⊕ ... = ?
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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
@PawSob adapting@CmonMattTHINK)Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Noam Zeilberger Retweeted
Finally some good news!! The
@guardian 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!#ClimateBreakdownhttps://www.theguardian.com/environment/2019/apr/05/why-the-guardian-is-putting-global-co2-levels-in-the-weather-forecast …Thanks. Twitter will use this to make your timeline better. UndoUndo
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.