#CDMX #Mexico #calculus #math

Here is a short discussion regarding how "mathematical libraries" should and should not be organized in proof assistant / repositories such as Rocq, Isabelle, Agda, Lean, and many more. I don't have any answers. I only have questions. But I do have some thoughts, which I would like to discuss […]

[serious bug uncovered in Sage 9.7-10.6 (fixed in 10.7)] Maxim Kontsevich (https://www.ihes.fr/~maxim/) reported patently wrong answers from modular forms code in https://github.com/sagemath/sage/issues/41267. We were able to pin them down to setting Parallelism().set(nproc=k), for any k>1. The […]

[underground documentary about militarisation of a Russian high school] https://www.dailymotion.com/video/x9sfi8i

Wow. "By 1974, Garfield’s citation tools had become influential enough that a conference was convened at the Center for Advanced Study in the Behavioral Sciences to assess their implications.[9] Merton attended, and he warned Garfield directly: “I’d like to get on the record the problem of goal […]

In Mexico City for a week, vacation/work (for my spouse).

Hello Providence, RI. Attending an ICREM workshop. https://icerm.brown.edu/program/semester_program_workshop/sp-f25-w3

Gotta love The Guardian for those quotes from Europeans on #mamdani's win in NYC: "Verbeek backed this with a comment he had overheard in an Oslo cafe, in which Mamdani was described as an American politician who “finally” sounded normal." “Normal. That’s the word,” Verbeek wrote in his […]

@chris__martin our new checkbook with a logo of my choice arrived today. This all you need to know about US banking.

Hiring - US, fully remote - I don't know why the posting lists so many programming languages but IMO the main familiarity you need at this point is just typescript. Application is there, or feel free to talk to me. http://job-boards.greenhouse.io/renaissancelearning-nam/jobs/4962850008

The last thing tying me to the Google ecosystem is my phone. Can anyone out there recommend an open source phone that they have had good success with?

Whoever "welcomes this" really didn't get the point... and should be kept far from any science policy decisions. The problem is not that we have the wrong scientific metrics, but that we rely on scientific metrics way too much: https://www.nature.com/articles/d41586-025-03281-4

🧵1/N tl;dr did not foresee a discussion of event sourcing in computer architecture to allow me to understand deep Buddhist philosophy... I'm reading "Geek Sublime" by Vikram Chandra: https://www.vikramchandra.co This also gives you insight into the notion of dependent co-arising! The state […]

RE: https://mastodon.social/@fesshole/115434534027489078 You're the victim of a protection racket.

David Ball, keyboard player, composer and producer from the band Soft Cell has died. So many other people should have died instead. I'm full of Frustration right now. #davidball #softcell

Some kinds of dedication you just don't want.

Getting ready for #pythonbrasil next week, here's my updated Minimal Sphinx repo and docs https://github.com/melissawm/minimalsphinx and the brand new Minimal MkDocs repo and docs https://github.com/melissawm/minimalmkdocs

My coauthor's surname was replaced by the first word in the title of the paper listed under our names, and that word was dropped from the title. Thanks, Springer's possibly AI-using typesetting company...

Another way to think of the Framework fiasco, perhaps: I'm not naive. I don't think that when, say, I bought my XPS 13, Dell didn't send some percentage of that to the Koch brothers or whatever fascist du jour. But I live in a society, and I needed a laptop. Framework's whole *thing*, their […]

Conventional wisdom says motherhood should wait for tenure as before you land a permanent post, #academia is just not that family friendly🙁 @carersinstemm.bsky.social are calling for change and to celebrate their new report, a Saturday🧵on parenting & academia! 1/9 👩‍🔬🧪🔭⚛️ ℹ️: carersinstemm.co.uk

Great job opportunity in a fantastic department which I can't recommend enough: a great place to work. (I'm still there after almost 30 year.) https://jobs.lse.ac.uk/Vacancies/W/1349/0/457569/15539/assistant-professor-in-mathematics/

#sagemath https://github.com/sagemath/sage/issues/40890

@chris__martin Hiawata Song, translated very nicely by a well-known early 20th century Russian poet and writer, Bunin, keeping the poetic meter etc, was compulsory reading in Soviet schools. Maxim Gorky, a bolshevik writer, produced Stromy Petrel Song, in exactly the same meter... (not kept in […]

I really do want to know though, are you aware of the economic protectionist measures taken by native american tribes and what do you think of them

my hobby is producing takes that absolutely nobody wants to respond to

[plea for a maths pdf] could please someone help me to a pdf /ebook of A Course in Real Algebraic Geometry Claus Scheiderer ISBN: 9783031692130 A Course in Real Algebraic Geometry, Springer 2024 https://link.springer.com/book/10.1007/978-3-031-69213-0 I can apparently only get a hard copy […]

@dpiponi I particularly enjoyed this part: On Saturday, Kirill Dmitriev, the head of Russia’s sovereign wealth fund who has been representing the Russian president, Vladimir Putin, in talks about the war in Ukraine with the Trump administration, wrote on X that he “had very positive discussions […]

You always thought Republicans were all Nazis but now you know for sure: https://www.theguardian.com/us-news/2025/sep/20/oklahoma-republicans-charlie-kirk

Of all the stupid things that this regime has done, this is right up near the top. Postdoctoral researchers come to the US on H-1B visas. This will further destroy the US science enterprise. Stupid stupid stupid. https://www.cbsnews.com/news/trump-h1b-visa-bill-100000-fee/

I feel like I'm not optimally using #obsidian - well I know, because I do not; I don't have a single extension. Anything you want to especially recommend? Cheat sheets. Extensions. Workflows. Automations. Etc. Links explicitly allowed, written tutorial preferred over videos, but will accept […]

[from macOS porting trenches: SNAFU all over again] so you think Apple has released macOS 26? Ha, try installing it on an Intel mac. It will install without complaining, but ,`uname` will think it's version 24, and won't install the latest Xcode for you. And for a good reason, cause if you do […]

Why use a URL shortener when you can use a phishy URL extender? https://phishyurl.com/ Keep your security people alert and awake, generate phishing-looking redirecting link #infosec

The thing that matters most to Musk is feeling like he's the smartest person in the room and now he's found the Tommy Robinson crowd he can finally live his dream.

I cannot. Just. No. Saying "but don't forget to follow your universities rules!" does absolve the authors of this book, published by Springer, of their responsibility

Trump regime's disgusting treatment of the Korean workers in Georgia seems designed to torpedo all foreign investment in the U.S. Reminder: They were almost certainly treated better than most of the people ICE is kidnapping and disappearing […]

Locked box with a scribbled note inside: 1. anita sarkisanisn 2. ex wife 3. karl (guy at gym) (eat shit karl) 4. trans (all) 5. hilary clinton 5. guy in apartment above (suspect jew?) 5. rest of jews 5. femininsm

Reminder that 100,000 people marched for Trans Pride in London earlier this year, but because they weren't violent fascists, there was minimal press coverage, unlike the Nazis today. https://www.them.us/story/london-trans-pride-march-turnout-record-uk-transphobia

wrote about Charlie Kirk's history of promoting political violence. if you want to oppose political violence, you need to repudiate the attack on Kirk, but you also need to be honest about what he advocated for, and not celebrate that. www.everythingishorrible.net/p/whitewashi...

The assassination of Charlie Kirk makes we worry we can no longer have peaceful discussions of whether gays should be stoned to death or civil and collegial debates about whether black people are inherently inferior. Our culture will suffer. New York Times tomorrow

european friends: do european countries have Authorities who issue Advice on food preservation, particularly canning? for example, in the US, the US Dept of Ag and various research universities (esp Univ of Georgia) research safe canning methods and tell us what is safe, not safe, etc.

"#bluesky's #tos contain a "binding arbitration" waiver that forces users to surrender the right to sue Bluesky no matter how the company harms them. This is so pro-enshittificatory, it's like a landing strip for the sole use of Enshittification Airlines, which can land a 747 full of […]

Just published a comprehensive FreeBSD Cheat Sheet for Linux Admins! Covers all the essentials: - Hardware info (pciconf → lspci) - Network commands (sockstat is amazing!) - Disk management & ZFS operations - Service management differences - Package management across systems Perfect for Linux […]

This paper on matroid bingo is really cool: https://arxiv.org/abs/2509.02832 Some completely reasonable constraints you might want to apply to bingo turn out to be the axioms for a matroid. I also like the dual Fano matroid in section 2.5. It gives a perfectly "fair" bingo game.

Springer now demand that your pre-acceptance version of a paper on the arXiv comes with a disclaimer: “This preprint has not undergone peer review (when applicable) or any post-submission improvements or corrections. The Version of Record of this article is published in insert journal title] […]

[University IT blues, Office365] Is there some kind of organised resistance against wholesale push to Office365 use? Everywhere I heard about it, and nowhere I hear about the real reasons for it, apart from "efficiency", "security", "industry standards", etc. In my case, I find it impossible […]

our backyard is in good paws

This should have been big news! Ten funding agencies from eight European countries have pledged to support a public infrastructure that is poised to replace academic journals: FWF 🇦🇹 RCN 🇳🇴 Forte 🇸🇪 ARIS 🇸🇮 SRC 🇸🇪 FCT 🇵🇹 CSIC 🇪🇸 DFG 🇩🇪 Formas 🇸🇪 ANR 🇫🇷 Only two of them issued press releases in […]

got some changes to the "git-rebase" man page merged into Git, hoping it will be a bit clearer for future people reading the docs https://github.com/git/git/commit/e345b776f6bdbc48b54f80f2bb990caf36a95a48