dimpase.mathstodon.xyz.ap.brid.gy - Profile | ThreadSky

Welp, I have just cancelled my Microsoft Office 365 recurring subscription. Two reasons. 1. I only ever use it to check tracked changes to the copy edits on novels—once a year—which my publishers process in Word. As of this month, LibreOffice is good enough for the job (just tested at book […]

submitted 1 day ago • 16 comments

a not so happy (not really) caturday, starting with a cute train, which took over 2 hours longer than it should have, and a missed flight

submitted 4 days ago • 0 comments

I think this is an important read if you have seen the latest Quanta article(s) on AI and mathematics. Harris was interviewed for the project, and sets out his experience on the other end of the pipeline, and how it relates to what was published (with many fingers in the pie, including editors […]

submitted 6 days ago • 0 comments

Travelling to a Kyoto RIMS conference, with an 8h layover in Taipei. (saving grant money by flying non-direct flight). Where is the best stinky tofu in town?

submitted 11 days ago • 0 comments

Excellent. https://alex.party/posts/2025-05-05-the-future-of-web-development-is-ai-get-on-or-get-left-behind/

submitted 15 days ago • 2 comments

“I started a spreadsheet, which is what middle-class professionals do when faced with systemic problems — we quantify things, as if converting human suffering into Excel cells might render it more manageable.” Via @gvwilson […]

submitted 16 days ago • 3 comments

Eine absolute Leseempfehlung: "Die Katze des Rabbiners" von Joann Sfar. Unglaublich tiefgründig, unglaublich witzig, unglaublich berührend. Ich habe spätestens auf Seite 25 gewusst, dass es eine fünf Sterne Buch sein wird - und der Rest hat nicht enttäuscht […] [Original post on mastodon.social]

submitted 17 days ago • 1 comment

FYI, if you happen to be a scientist in a large English speaking country with uncertain financing for your future career, my employer, Okinawa Institute of Science and Technology (OIST) is looking for grad students, postdocs and PIs. It's a research institute, so no undergraduates, and the […]

submitted 18 days ago • 0 comments

https://www.nature.com/articles/d41586-025-01396-2

submitted 19 days ago • 0 comments

In the near future MathOverflow is going to hold a round of moderator elections for two positions, to replace mods who retired last year https://meta.mathoverflow.net/q/6067/4177

submitted 19 days ago • 0 comments

MacArthur "genius" nominations - I am asked for tips on US-based CS early/midcareer academics who should be nominated (no, not by me directly, I am CS nobody, basically). Please PM or post suggestions.

submitted 20 days ago • 0 comments

Sometimes you see an image so striking that you have to state plainly that there are concentration camps inside the US with kidnapped people in them suffering

submitted 21 days ago • 4 comments

People are saying we should write jumble words to mess up the training of AIs; I say we should just write sentences like those of the length Jane Austen would write, that have such non-local structure and nested clauses that, what with the drift of attention and the window of tokens, the LLMs […]

submitted 23 days ago • 13 comments

Wired magazine has become indispensable again, with hard-edged coverage of Trump regime's outrages and the endless invasions of our privacy by basically everyone. Example: https://www.wired.com/story/police-records-car-subscription-features-surveillance/ Get a subscription. It's not expensive […]

submitted 22 days ago • 2 comments

Dan is het echt een noodsituatie. 'Verschillende lezers melden aan NU.nl dat dat glijbanen in aquaparken door de stroomstoring niet meer werken.' https://www.nu.nl/buitenland/6354043/grote-stroomstoring-legt-spanje-portugal-en-zuiden-van-frankrijk-plat.html

submitted 23 days ago • 2 comments

A tale of civilizational decline and rebirth. Around 250 BC Archimedes found a general algorithm for computing pi to arbitrary accuracy, and used it to prove that 223/71 < π < 22/7. This seems to be when people started using 22/7 as an approximation to pi. By the Middle Ages, math had backslid […]

submitted 27 days ago • 0 comments

A quotation from Adlai Stevenson > The whole notion of loyalty inquisitions is a natural characteristic of the police state, not of democracy. Knowing his rule rests upon compulsion rather than consent, the dictator must always assume the disloyalty, not for a few but of many, and guard […]

submitted 27 days ago • 0 comments

I am in favor of this life tip.

submitted 28 days ago • 3 comments

C23 C language standard made a decision which breaks C functions with arbitrary number of arguments. How does one define an arbitrary function pointer in C23? (not only variadic, which is a special case) https://gitlab.com/embeddable-common-lisp/ecl/-/issues/775

submitted 29 days ago • 0 comments

Ahh, it's time for the biannual tradition Feds: "Everyone needs a RealID to fly by this date. We really mean it this time!" States: continue to not bother to comply Feds: "Okay, well we'll accept applications for extensions, but NEXT time we'll really mean it." […]

submitted 30 days ago • 1 comment

Don’t work at Palantir.

submitted 30 days ago • 26 comments

France and Germany unveil Docs, a homegrown alternative to Google Docs https://www.techspot.com/news/107225-france-germany-unveil-docs-collaborative-tool-rival-us.html In a push for digital independence, Europe debuts its own collaboration tool

submitted 30 days ago • 0 comments

Did a little protesting in "middle of nowhere" Montana and I gotta say the amount of positive response from passersby was heartening.

submitted 32 days ago • 1 comment

Dit zou satire moeten wezen. Maar ik weet het niet zeker. https://speld.nl/2025/04/18/pvv-coalitie-bezuinigt-fors-op-onderwijs-en-jeugdzorg-om-toekomstige-achterban-te-creeren/

submitted 33 days ago • 1 comment

I boosted several posts about this already, but since people keep asking if I've seen it.... MITRE has announced that its funding for the Common Vulnerabilities and Exposures (CVE) program and related programs, including the Common Weakness Enumeration […] [Original post on infosec.exchange]

submitted 35 days ago • 5 comments

So why is Microsoft insisting on pushing out a feature it is very clear users just do not want? What is the point of it? It just does not make any sense. Recall makes no sense. It is one of rather many functions that Microsoft wants to force people into using. Personally I also do not want […]

submitted 36 days ago • 4 comments

Kaashif did the 4th year project with me 6 years ago, and, well: https://us.pycon.org/2025/schedule/presentation/138/

submitted 36 days ago • 0 comments

Via Nathan Kalman-Lamb One of hundreds of people abducted by #ICE & sold to slavery in #ElSalvador was a 19 yr old with no criminal record in the US or Venezuela & no tattoos of any kind. An ICE kidnapper who grabbed him outside his house said, "He's not the one." The other said, "Take him […]

submitted 37 days ago • 3 comments

Foreign Friends with Travel Plans to the U.S. for Conventions: A bit back I said you should maybe reconsider those plans. I would like to amend my prior statement. Cancel them. Cancel them now. We cannot keep you safe from our own government. Take your holiday in Spain or something.

submitted 37 days ago • 203 comments

A question for #Debian people (of which I am one, at lest currently), what's better, in your opinion? - Net Install - Live Install - Complete Install I don't think there's one answer, but I am interested in opinions. https://www.debian.org/distrib/ #Linux #FOSS #FLOSS #OpenSource

submitted 37 days ago • 2 comments

A revised version of the “The countable reals“ paper is available. We threw out the faulty proof of "all maps are continuous", which therefore been relegated to an open problem. The topos is very good at defying proofs that use the recursion theorem from computability. This is not a surprise […]

submitted 49 days ago • 0 comments

I'm always curious to hear what real-world numbers are like around any new tariffs and here's keyboard.io explaining how if Trump actually goes through with it, prices would double for their high-end keyboards (with no additional profit, all money goes to tariff charges) […]

submitted 43 days ago • 0 comments

Possibly contentious, but I hope not too much "We made the decision to leave some statements in Chapter 10 without proof. The majority of the these have to do with the notion of Gray product. ... The missing proofs will be supplied elsewhere" Where? https://mathoverflow.net/q/490685/4177

submitted 43 days ago • 2 comments