Reposted by Noam ZeilbergerSophie Huiberts @sophie.huiberts.me · 12/10/2026Too many people are calling on the community to "change how we value papers". Not enough people are posting "this is what we look for in our next hiring round". 59724 97
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 21/09/2026Blas Jaime, the last known native speaker of the Chaná language, sadly passed away a few days ago at the age of 92. obituary (in Spanish): www.elonce.com/sociedad/murio-blas-… Wikipedia article on […]mathstodon.xyzOriginal post on mathstodon.xyz 000 0
Reposted by Noam ZeilbergerJakob @jdw.mathstodon.xyz.ap.brid.gy · 11/09/2026RE: mathstodon.xyz/@highergeometer/1172… So what's the takeaway from this? Never upload anything of value to the internet anymore? So many people in math over the last 30 years put so much time into writing amazing lecture notes and have been putting them on the internet […]mathstodon.xyzOriginal post on mathstodon.xyz 003 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 18/08/2026Got around to listening to this episode of aboutlogic with Dana Scott, interviewed by Thorsten Altenkirch and Deniz Sarikaya: www.youtube.com/watch?v=opLbbZ-_AWE It is always a pleasure to hear Scott talking about intellectual history, he gives such a vivid and lucid account (even at […]mathstodon.xyzOriginal post on mathstodon.xyz 000 0
Reposted by Noam ZeilbergerGreg Restall @consequently.hcommons.social.ap.brid.gy · 04/08/2026I noticed that in the last day or so I’d got increased traffic to my rarely-visited personal site. Quite a few folks were reaching the home page, and a surprising number were landing on an old post of mine from 2004 about Haskell. Why on earth did _that_ happen? Well, on August 2, John […]hcommons.socialOriginal post on hcommons.social 043 4
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 29/07/2026I wrote an answer to a MathOverflow question, "Was a computational hardness argument ever used to solve a mathematical conjecture?", mentioning @tito's work on negatively resolving BV = pomset logic. mathoverflow.net/a/513714/1015mathoverflow.netWas a computational hardness argument ever used to solve a mathematical conjecture?Let $P$ be a property of positive integers. Suppose that $P(n)$ can be decided in finite time, but all known algorithms take a long time. Based on experiments done so far, it is conjectured that $P... 010 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 14/07/2026Today I had the opportunity to give a talk at CT 2026 (ct2026.com) about our paper with Bryce Clarke and Gabriel Scherer on "The free bifibration on a functor" (arxiv.org/abs/2511.07314). Here are the slides […] [Original post on mathstodon.xyz] 010 1
Reposted by Noam ZeilbergerJames Grimmelmann @jtlg.bsky.social · 19/05/2026It was fun talking about generative AI and legal interpretation tonight at Pint of Science. Here are my slides: james.grimmelmann.net/talks/2026-0... 082 8
Reposted by Noam ZeilbergerNoam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/03/2026I wrote a letter to Knuth asking about this, and he wrote back! 010 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/03/2026I wrote a letter to Knuth asking about this, and he wrote back! 010 1
Reposted by Noam Zeilbergerrobinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 21/02/2026Very interesting, and characteristically careful and hype-free, from Daniel Litt on how good current AI models really are or aren't at mathematical research. (He cautiously decides that they're probably a bit better than he thought.) […]mathstodon.xyzOriginal post on mathstodon.xyz 131 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 20/02/2026@julesh oops, yes you are right! (Set,+) is an ordinary co-multicategory (the representable co-multicategory of the underlying monoidal category), so the problem only arises from the combination with (Set,x), i.e., the not-quite-linearly distributive structure that you point out. 100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 20/02/2026@julesh this bigger class are related to so-called "premulticategories" as considered by Sam Staton and Paul Levy in "Universal Properties of Impure Programming Languages" (doi.org/10.1145/2429069.2429091). Basically, premulticategories are what you get by starting from the […]mathstodon.xyzOriginal post on mathstodon.xyz 101 1
Reposted by Noam ZeilbergerTom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 13/02/2026With apologies for the delay, the recordings of the talks at the Types and Topology Workshop in celebration of @MartinEscardo's 60th birthday (tdejong.com/mhe60) are now on YouTube (where available) 📺 www.youtube.com/@mhe60/videos (also linked from the workshop webpage) Many […]mathstodon.xyzOriginal post on mathstodon.xyz 053 5
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 12/02/2026The arXiv's new "make everyone write in English to promote linguistic diversity" policy went into effect yesterday (blog.arxiv.org/2026/01/13/non-engli…), and they have now released a feedback survey […]mathstodon.xyzOriginal post on mathstodon.xyz 026 6
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/02/2026@joey here's a link to Ryoma's homepage www.math.akita-u.ac.jp/~ryoma, in particular my counterexample was inspired by the construction used in Theorem 23 of this paper: arxiv.org/abs/2008.01413. But looking again at your original post, I think the argument you gave works as an […]mathstodon.xyzOriginal post on mathstodon.xyz 000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/02/2026@joey (this example is inspired by Ryoma Sinya's work on approximation of languages by regular languages.) 100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/02/2026@joey indeed I think not, the forgetful functor from REG to Lang does not have a left adjoint. It should be possible to construct a counterexample using the fact that the non-regular language L = {0^n 1^n|n} is the intersection of the infinite family of regular languages Rk = {0^n 1^m | m=n mod […]mathstodon.xyzOriginal post on mathstodon.xyz 100 1
Reposted by Noam ZeilbergerOpen Access Tracking Project @oatp.fediscience.org.ap.brid.gy · 09/02/2026The CNRS is breaking free from the Web of Science | CNRS www.cnrs.fr/en/update/cnrs-breaking…cnrs.frThe CNRS is breaking free from the Web of ScienceFrom January 1st 2026, the CNRS will cut access to one of the largest commercial bibliometric databases, Clarivate Analytics' 045 5
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 06/02/2026[knuth, ulam, computers + math] I just checked and the original preface with these two paragraphs still appears in the second edition of Volume 1. On Knuth's TAOCP page [www-cs-faculty.stanford.edu/~knuth/…] in the "Errata for Volume 1 (2nd ed.)" he mentions that "In the third […]mathstodon.xyzOriginal post on mathstodon.xyz 000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/02/2026[knuth, ulam, computers + math] Here is the opening of Ulam's article: > Although to many people the electronic computer has come to symbolize the importance of mathematics in the modern world, few professional mathematicians are closely acquainted with the machine. Some, in fact, seem even to […]mathstodon.xyzOriginal post on mathstodon.xyz 000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/02/2026[knuth, ulam, computers + math] Possibly the reason that neither paragraph is cited more often is that they were both eventually removed -- at least, they do not appear in the preface to the 3rd edition of Volume 1. I am not sure why, or whether they were still there in the 2nd edition. The […]mathstodon.xyzOriginal post on mathstodon.xyz 200 2
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/02/2026[knuth, ulam, computers + math] > I wish to show that the connection between computers and mathematics is far deeper and more intimate than these traditional relationships would imply. The construction of a computer program from a set of basic instructions is very similar to the construction of […]mathstodon.xyzOriginal post on mathstodon.xyz 101 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/02/2026[knuth, ulam, computers + math] While looking for some sources to help motivate the study of computer programming to very young undergraduate students, I ended up reading the preface to Volume 1 of Knuth's _The Art of Computer Programming_ -- in an electronic copy of the Second Printing from […]mathstodon.xyzOriginal post on mathstodon.xyz 211 2
Reposted by Noam Zeilbergerploum @ploum.mamot.fr.ap.brid.gy · 19/01/2026Giving University Exams in the Age of Chatbots How I managed to give an exam while giving the students the choice to use a chatbot or not. And what I learned in the process. ploum.net/2026-01-19-exam-with-chat…ploum.netGiving University Exams in the Age of ChatbotsGiving University Exams in the Age of Chatbots par Ploum - Lionel Dricot. 717118 118
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 15/01/2026RE: mastoxiv.page/@arXiv_mathCT_bot/115… Another article uploaded to the arXiv (technically, being updated) in a non-English language, making me think about how this policy change will soon go into effect […]mathstodon.xyzOriginal post on mathstodon.xyz 003 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 02/01/2026RE: mathstodon.xyz/@slava/1158226310933… I for one am eagerly looking forward to Volume 5 of The Art of Computer Programming, on "Lexical scanning" and "Parsing techniques". Hopefully Knuth will get around to finishing it in the next couple years, before he's 90! […]mathstodon.xyzOriginal post on mathstodon.xyz 110 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025@robinhouston So you can distinguish Q(M) from Q(M*) by viewing it as being equipped with a 2-coloring and not just being 2-colorable. In map enumeration people usually consider rooted maps. I believe that Q defines a bijection between half-edge rooted general maps and corner-rooted bipartite […]mathstodon.xyzOriginal post on mathstodon.xyz 000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025@robinhouston about the question of whether it defines a bijection, you're right that a map M and the dual map M* have essentially the same incidence/radial map, but here is the precise statement of from Schaeffer's article: "The mapping Q and R are bijections from maps with n edges respectively […]mathstodon.xyzOriginal post on mathstodon.xyz 200 2
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025@robinhouston note that M*, Q(M), and R(M) are defined in a uniform way for maps on arbitrary surfaces, not just on the sphere. 100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025@robinhouston Gilles Schaeffer calls it the "incidence map" Q(M) of a map M in www.lix.polytechnique.fr/~schaeffe/…, but yes, I think it is essentially the same thing as what you call the radial graph. Here is a figure from his article. 100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025@robinhouston oh, now I see what you mean but that's hard for me to visualize. Could you draw a picture? 100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025@robinhouston (corresponding OEIS entry: oeis.org/A007137)oeis.orgA007137 - OEIS 000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025@robinhouston just to clarify, in one place you wrote "non-bipartite" and in another "bipartite" -- which is it? I suppose you mean bipartite in the standard sense, i.e., admitting a proper 2-coloring of the vertices? And what sizes are you looking at to do exhaustive enumeration? This paper ( […]mathstodon.xyzOriginal post on mathstodon.xyz 300 3
Reposted by Noam ZeilbergerTom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 18/12/2025The slides for Types and Topology (tdejong.com/mhe60) are all up on the website now (where available)! @MartinEscardotdejong.comTypes and Topology: A workshop in honour of Martín Escardó's 60th birthday 123 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 12/12/2025I just spent a fun few days in Glasgow, where I was in town for Malin Altenmüller's (maltenmuller.github.io) successful viva at Strathclyde! I really enjoyed Malin's thesis work and it's always a pleasure to visit the @mspstrath.maltenmuller.github.ioMalin Altenmüller 002 2
Reposted by Noam Zeilbergersoaproot @soaproot.sfba.social.ap.brid.gy · 03/12/2025@noamzoam The blog post is a delightful read. True the policy change took longer than it should have, but it is a story of perseverance and eventual success (and some great stories of how mathematicians were able to balance career and family). 001 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 03/12/2025RE: social.sciences.re/@pyviv/115655070… I did not realize that CIRM had a "no babies" policy until as recently as 2015. Thankfully, this has changed. Viviane Pons describes the process in this blog post (in English).social.sciences.re 101 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 27/11/2025[teaching / functional programming project / Lambek calculus / new AI vs old AI] Every year in my functional programming course I assign a mini-project for students to complete in small groups, as a significant portion of their course grade. The topic varies […] [Original post on mathstodon.xyz] 010 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 26/11/2025@dpiponi topological recursion is also something I've wanted to understand for a while (because I know that it has lots of connections to map enumeration, and hence should have links to lambda calculus!), but the physics math has always been impenetrable to me. I like this summary, it is much […]mathstodon.xyzOriginal post on mathstodon.xyz 110 1
Reposted by Noam ZeilbergerTom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 24/10/2025@MartinEscardo is turning 60 this year! In celebration, Eric Finster and I are organizing a two-day workshop on 17-18 December 2025 at the University of Birmingham. tdejong.com/mhe60 The full list of over 20 invited speakers can be found on the website and reflects Martín's diverse […]mathstodon.xyzOriginal post on mathstodon.xyz 011 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 17/10/2025Are you a PhD student registered in a US institution and interested in conducting part of your doctoral research (4-9 months) in France? Then consider applying for a Chateaubriand Fellowship! chateaubriand-fellowship.orgchateaubriand-fellowship.orgChateaubriand Fellowship 1210 10
Reposted by Noam ZeilbergerTimothy Gowers @wtgowers.mathstodon.xyz.ap.brid.gy · 01/10/2025I've just realized that I missed a trick by not posting here on Mastodon about a project to create a database of "motivated proofs", which has received funding from the AI for Math Fund, a joint venture of Renaissance Philanthropies and XTX Markets. Very roughly, that means not just proofs but […]mathstodon.xyzOriginal post on mathstodon.xyz 005 5
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 26/09/2025(the issue also contains some mildly amusing and cringey advertisements.) 000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 26/09/2025Visited the library of the Institut Henri Poincaré yesterday, and they had a small rack with free-for-taking copies of some old journals. Was delighted to find a copy of the issue of Communications of the ACM containing the original article on Hoare logic! 131 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 22/09/2025@andrejbauer definitely one of my favorites, but your comment brought to mind an entry in the encyclopedia appendix to Girard's Locus Solum, which I remembered as a backhanded compliment to Martin-Löf. Looking at it again I see that I was misremembering, and […] [Original post on mathstodon.xyz] 000 0