Dima Pasechnik 🇺🇦 🇳🇱

@tao@mathstodon.xyz there is an ethical/philosophical component to the third component in particular. The food analogy it too crude here. For a proof is only really digestible if there is a maths community consensus on it. There are maths examples of similar situations in the pre-LLMs era: 4-colouring problem, CFSC --classification of the finite simple groups, etc. These demonstrate indigestible proofs, with constant (although seemingly running out of steam) more or less (less in the CFSC case) successful attempts to improve their digestibility. These also demonstrate the social side of indigestibility - CFSC declared "complete" by the main driving forces of the program, in part for reasons of finances, well ahead of real completeness resulted in the crumbling of the program. A similar, but much larger in scale, affecting all the branches of the maths, crumbling would occur if top mathematicians started to declare maths "solved" - in exchange for being showered by grants from LLM/AI dealers. And this seems to be happening already.

@tao it would be nice to have "LLM-generated content" CW on literal quotes of bots.

@molly0xfff as soon as the "regulations" are gone, there won't be any "illegals", isn't it ? Everyone will be a sovereign citizen... 🙂

@AmenZwa@mathstodon.xyz don't forget Raspberry Pi

@ThePSF @pypi no, 1.5M from a company with annual revenue of 3B, and software stack relying on Python, is not impressive at all.

@vicgrinberg kijk es

@AmenZwa same here, except that fountain pens were allowed already in the 1st year. My handwriting with most anything but a fountain pen gets impossible to read even for me after a few sentences, so texts are written with a #fountain #pen Lately it's a basic Japanese Pilot, and a bit less basic (and ready to fly, it's a pen which is closed hermetically, and so changes in air pressure don't cause leaks) Taiwanese TWSBI Vac 700.

@vitaut@mastodon.social that's Bare Metal Linux?! As "bez OS" would mean "without OS" in a number of languages...

@jonmsterling@mathstodon.xyz @ofc1996@mathstodon.xyz "new" is very subjective. Erdős didn't have many truly new ideas by any normal measure. What can count as one of half a dozen of his truly new idea is the Probabilistic Method https://en.wikipedia.org/wiki/Probabilistic_method Disclaimer: my Erdős number is 2, in two ways (via two different publications and coauthors)

@Kampfdiestel@mastodon.social @xkcd@mastodon.xyz "Borat" was a thing: https://youtu.be/Zw16aew4Pt0?si=F4RlT4YbsXnDoi8s

@chris108 @christianp @Colinvparker I struggle to remember what "m" in am/pm means. Midnight ? Midday? And "a" and "p". A as in "after"? P as in "past" ? I have been to Estonia and Finland, where in summer it can be light outside at 3:00. (past midnight, or after midnight, or...) 12h time scale should be banned:-)

@clemens how about https://ukrainianvillagevoices.bandcamp.com/album/ukrainian-village-voices

@clemens if one is very keen, old LPs can be bought, e.g. https://www.discogs.com/sell/release/8621426

@3xfactorial @christianp indeed. Now added here: https://en.wikipedia.org/wiki/List_of_mathematical_societies#Europe

@dif reminds me of сопромат (Materials Science 101) I had to take over 40 years ago as a part of an applied maths MSc....

@Andrev vape pens?! nooo...

@vitaut the guy should do capoeira, such a talent...

@MartinEscardo more precisely, networkx uses pygraphviz, and perhaps the latter alone is enough (although networkx has all kinds of topological sort implemented) https://pygraphviz.github.io/documentation/stable/index.html

@vitaut g-strings?

@mrhamel @ThePSF @pypi it's a handout, not a gift 🙂 Anyway, there should be no such gifts. There should be a tax regime which would fund opensource software development properly.

@kravietz@agora.echelon.pl but first of all, thank Apple for not supplying a proper package manager with their toolchains!

@zanzi@mathstodon.xyz @dpiponi@mathstodon.xyz might be a good exercise to verify it in a proof assistant 🙂

@mayaisloading@beige.party well, finding jobs for 2 academics in the same town isn't easy

@littmath@mathstodon.xyz not that the formula in Defn. 3.1.1 in your paper is readable for a mere mortal 🧐... What is \(R^1\) ? What are all these lower and upper * in indices doing?

@littmath@mathstodon.xyz what's "middle convolution"? The rest is clear, for some value of clear...

@mayaisloading@beige.party @jaxroam@mastodon.social @mwguy@infosec.exchange @molly0xfff@hachyderm.io I'm afraid that in this country the only solution is a revolution. In this sense I'm not a liberal 🙂

@molly0xfff I Robin Hood diversifying from highway robberies, apparently

@tao pre-compiled tables are rather common in implementations of numerical methods, such as e.g. computing the Г - function. It's remarkable that it's essentially the same trick helps in formal proofs.

@andrejbauer @jonmsterling more like early days of telegram. "just open this URL and start typing your posts" 🙂

@vitaut at least these dogs have been extracted from doghouses

@SanskritFritz@fosstodon.org @libreoffice@fosstodon.org that's a relatively small number. to compare https://github.com/Homebrew/homebrew-core/pulls have over 250K patches/PRs...

@mrhamel @ThePSF @pypi my point is that in other jurisdictions organisations such as python.org get government grants.

@Andrev @RosaCtrl does the thick crust of some of these meant to play the same role as in Cornish pasties - where it's meant for miners down the mine, with their very dirty hands, to hold, and then to throw away?

@mrhamel @ThePSF @pypi it's an extreme libertarian p.o.v. No taxes, just handouts from the rich to the poor. When rich feel generous 🙂

@christianp LMS should become UKMS, no?

@minirop@shelter.moe @vitaut@mastodon.social "...due to French trademark issues it has been decided to s/bez/fak." Is there a small Greek island called Fakos?

@mayaisloading@beige.party @jaxroam@mastodon.social @mwguy@infosec.exchange @molly0xfff@hachyderm.io there's even a concept of citizen's arrest in many countries, including USA; these kids are committing a crime. If a private citizen (usually this just means literally anyone, the citizenship doesn't matter) arrests, leave alone names, any of them, it would be perfectly legal. https://en.m.wikipedia.org/wiki/Citizen%27s_arrest

@skewray @christianp I believe mathstodon.xyz is sustainable, right? otherwise it would not be running. Should we start mathstube.xyz ? Any estimate for how much the hosting/bandwidth may cost? @ColinTheMathmo

@antoinechambertloir@mathstodon.xyz @jonmsterling@mathstodon.xyz @ofc1996@mathstodon.xyz Shannon basically invented information theory (where the use of the term entropy was proposed by John von Neumann). It's indeed another side of the probabilistic method, for a different purpose. (I don't know when it was realised).

@mayaisloading@beige.party @jaxroam@mastodon.social @mwguy@infosec.exchange @molly0xfff@hachyderm.io I'm here working, on an H1-B visa. I don't think I can do a revolution here 🙂

@christianp I counted maths societies based on the island of GB: LMS, IMA, Trinty Maths Soc., Royal Stats Soc., Mathematical Association... There is also CMS, and more than one regular conference, e.g. BCC.

@skewray @christianp @ColinTheMathmo I am not sure what "your website" is in this context.

@mayaisloading@beige.party home country? oh well, not everyone really has one. Our home "country" can be perhaps described, qua our passports, as European Union, at best; the only EU language everyone in the family speaks is English. We relocated from UK, where medical services didn't provide our not very healthy son adequate care (any idea how inadequately treated epilepsy looks like?), and schools were routinely excluding him. At least the latter two things are much better here in Illinois, believe it or not. H1-B visa is a standard temporary employment US visa.

@vitaut@mastodon.social @minirop@shelter.moe this won't do as a serious OS name, as it suggests that its kernel is literally wooden. (Les bois is French for "the woods")

@chris108 @christianp @Colinvparker it's all Greek to me...

@Gargron@mastodon.social the piss is yellower on the other side. ¯\_(ツ)_/¯