Mathematician (category theory for general systems theory & cybernetics), socialist, aspiring psycohistorian, meme enjoyer (shitpost is not endorsement).
Public Key
npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Profile Code
nprofile1qqsrxypahcrv3y2pverxnm593saemq67ag8p9a9k64an8n4elcgr4tspz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0ds45g2ye
Show more details
Published at
2026-09-09T11:38:41Z Event JSON
{
"id": "6da810dea71898790f92f47179465335f7c2f05c2dd685cc985ac11ce7bc8e8f" ,
"pubkey": "33103dbe06c89141664669ee858c3b9d835eea0e12f4b6d57b33ceb9fe103aae" ,
"created_at": 1788953921 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/mc",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"Matteo Capucci\",\"about\":\"Mathematician (category theory for general systems theory \u0026 cybernetics), socialist, aspiring psycohistorian, meme enjoyer (shitpost is not endorsement).\\nCurrently: ARIA double grantee, 🇮🇹 based, finishing my PhD @mspstrath\\nCustodian of CT Zulip, email me for an invite.\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/000/289/048/original/b9cf149b7fa7c036.png\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/000/289/048/original/fa3e28d287c437b3.jpeg\",\"nip05\":\"[email protected] \",\"fields\":[[\"Pronouns\",\"he/him\"],[\"Website\",\"https://matteocapucci.eu\"]]}" ,
"sig": "022e4deaceaa741d81bd91556703270e6e17023b1e4e4cd14e0915ada0dcd6ff3501aa19e194dd364a99df15c983d162412bd3d14d45b6ff56fad362f1dc224e"
}
Last Notes npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci Animist as in *everything* has a categorical soul if you listen careful enough. Not just three things. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…xuzd a corollary of the pigeonhole principle lol npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci We should replace *computational trinitarianism* (limited to 3, narrow focus on computation) with *categorical animism* (unlimited, correct focus on the shared language) npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…pw0n I often say that it's fun that MartÃn-Lof and Grothendieck arrived at the same ideas from two different ends: always work relative to a base domain of variation. Of course this fun fact is computational trinitarianism. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci libreoffice is frustratingly clunky to use, and somehow doesn't get right extremely basic things like ctrl+z? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…p8rt it's in the middle of a very technical proof, I'd rather refer you to the book :S npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci some good old diagram p*rn (from Gray's Formal Category Theory) npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…k4d0 the only obstacle to a federated Europe npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…xuzd wow, really? do you have a pointer? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…xja6 so cool! this fits very well with Lawvere's distinction of mengen and kardinalen, the first being sets with some additional, somewhat impalpable even, geometric structure, which when forgotten leaves a mere kardinal. I wonder if the coalgebraic structure can indeed be understood as geometric... npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…t6k2 it's glass screens. whenever two people interact with a glass screen in-between they get feral. that explains both road rage and social media /s though clearly there is a role of 'detachment' induced by being physically separated from another person npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…u3x7 that's amazing, though I'm puzzled by such a short deadline! this effectively nullifies their effort in a week's time :( npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci calling the double negation translation *negging* npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…htrj I'm positive 95% of people 99% of the time just use it to read PDFs. Imagine spinning up Photoshop each time you want to open an image. It's learned digital helplessness, alas. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci Today's hot take is that Barr's theorem is more interesting than Gödel's incompleteness. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…htrj yeah, the thing doesn't want to die!! It's bloatware at best, spyware at worst. My eyes bleed every time I see someone pulling it up. Why are people inflicting that on themselves, I'll never know. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…htrj It's comical. You open a PDF and 60% of the screen is taken up by 'features' you will never use. Its miniature Windows. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…xja6 they're recreating philosophy from first principles npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…9rpf alas npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…9rpf uhm why bot and top are not swapped with 0 and 1? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…9rpf abstract nonsense, right next to discarded nonsense npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…4hp5 yikes. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…a3ey All* mathematicians! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…g0zc that's the scariest thing to me. it's not news very bad guys can be in charge of nations and be despotic. but 41% of American being ok with it? that's chilling, and that fuels mistrust :( npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci really good read on how statistics is more rhetoric than science npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci literally trump's foreign policy right now btw. the EU should make those game theory paper proud by playing tit-for-tat. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci maybe we shouldn't hold conferences in an up-and-coming fascist state. and yeah I'm not risking arrest to visit either. shame. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…g0zc Also if you're in a Prisoner Dilemma and start questioning your cooperation strategy when defection looks so promising... think again npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci gotta claim my enrichment basis is larger than Lawvere's. obviously he used it better. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…ku5y this is the way npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…l3hr consider a probability space X. conditioning is when you restrict your space of outcomes to a subset A, and thus you end up with a normalised measure on A. integration is dual: you coarse-grain X to some new Y where each point concentrates the mass of the fiber over it. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci conditioning is when subsets, integration is when quotients npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…vhyf word npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci you're telling me this category theory is applied? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…a3ey big if true! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci https://media.mathstodon.xyz/media_attachments/files/115/864/021/428/920/484/original/3b1585ce7b6395aa.png npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…a3ey 🤯 npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…d423 'please sir, I want some more' npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci help how do I lock out npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…q92d quantitative logic, you can check out my latest talk about it npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…kun9 🤯 thanks!! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci if anyone knows how to render 'proof DAGs', where branches can rejoin, I'd be happy to reward you with internet points on TeX.SE 👇 npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…a3ey cantorian numerology npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci fending off the intrusive thoughts (rewrite ebproof) npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci I'm a bit on the edge so everyday I go through a mini heart attack thinking I found some unfixable mistake in the paper I'm writing, only to discover I didn't a few minutes later when I check it again. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci just submit to SCML. try sending it to FICS. bro write a LOFT paper. just make it for NMR. submit to MFPS. dude it's worth an attempt to LICS. format it for SLALM. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci that's new... someone force-fed a blog post of mine to an LLM to generate this plagiarized bullshit post npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…w8t5 Maybe we should structure formal mathematical libraries like informal mathematical libraries, ie in textbooks and papers. Sure, grand projects like the 'stacks project', which give an opinionated and coherent systematization of an entire field, would be extremely valuable to have, but then I think we should mostly embrace plurality, just like we do now in informal maths. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…4x5t it's the Grothendieck construction of the embedding of Cat in CAT npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…ztfm amazing essay, so spot on. I've occasionally said an analogue thing re LLMs in education: they are not ruining anything, just exposing the massive inadequacies of the system already in place npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…ywac You reminded me of this cool blog post by Tom Leinster https://golem.ph.utexas.edu/category/2012/10/the_zorn_identity.html npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…dh59 @nprofile…3zl5 *cries in lax functors* npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…8eua @nprofile…4t9g damn the case seems pretty strong then :O npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci proof by induction (derogatory) npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…8eua @nprofile…4t9g 🤯 It never occurred to me the explanation could be this simple! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci like check this out npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci Girard would have *killed* at rap battles npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…8eua @nprofile…4t9g I've always been puzzled by the claim the universe might be BH, there something I must be missing: how can the universe be so small and massive to be a BH and yet it contains many things that are less dense than one?? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…dg4r they must have heard I'm not coming this year 😄 mi mancherà ! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci the unreasonable effectiveness of drawing a nice diagram npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…3zl5 I guess 'misleading' rather than 'wrong' is more appropriate. It's especially misleading the ambiguity of treatment of ',' and '\otimes'. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci what a cool paper https://arxiv.org/abs/2512.06564 npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…3zl5 sure it is! but that's two big restrictions! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci the folk maxim that 'linear logic is the language of symmetric monoidal categories' is just so wrong, you can't even tensor proof terms without the MIX rule! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci how your email finds me npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci chatgpt casually reaching nirvana npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…8eua 🤷 npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…8eua @nprofile…q502 weird, it never appeared on my timeline. I suspect you might have 'quiet' posts on, meaning your posts are public but do not appear on timelines (I learned of this when I tried to quote boost your AI-in-math toot) npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…65we @nprofile…ywac yep npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…stct @nprofile…00p2 @nprofile…qq28 training loss keeps going down, it's test loss which goes up after a while. two different functions! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…ywac loss npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci there's literally only one thing about arxiv I hear everyone complaining about, namely AI slip submission (and, relatedly, the broken endorsement scheme), and this is what we get instead? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci why does arxiv have opinions on language? 😠npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci it's amazing how bad streaming platforms can be re quality of the video *even when it's offline content*. like? shall I pirate it to see it well? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci how much set theory is just shelah papers? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…p3nn why does arxiv have opinions about line numbers in margins 😓 npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci oufffff lean's onboarding experience is ridicolously good npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…3zl5 they might rediscover theory-building from first principles, as 'problem-solving heuristics' lol npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…8eua uh yeah this was supposed to be a quote-boost of that toot of yours. let me fix that! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci A corollary to this is that in the near future we might see easily-automated puzzle-solving lose status compared to human-guided theory-building. I wonder how this will change the social reality of mathematics, especially in the eye of the general public, where puzzle-solving is disproportionately represented... npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…fhty my fridge doesn't have a screen? 😠npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci GDPR is great but it's definitely the wrong solution for the right problem. Who thought companies would stop hoarding data in order to not have the users go through an extra checkbox? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci Another App That Asked For My Personal Data For No Good Reason Besides Profiling Has Been Hacked npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci when theory works in practice 🎉 npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci why on earth would anyone buy a fridge that runs adverts on it 😵😵 npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…pg9k nominative determinism npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci I should start a Zotero religion npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…p67e @nprofile…rrqe 'this is worth the firing of the arts department' thinks satisfied the bureaucrat npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…08ww They probably calibrated their model on a family of 4 rather than a single guy who doesn't even shower at home npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…es2w uh right! so can I prove constructively |P|_0 and not be able to recover a witness? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…8fyt jeez :( npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…08ww no because my gauge does not register it. they do say they make up the numbers. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…p3nn precisely npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…l4xy wow they've been trying since 2016! npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci these guys overestimated the usage so much at some point they sent me a check (by post!) rather than a bill. one would think after this incident they would recalibrate their estimation model for my account, but no. I guess decent statistical methods haven't reached to water companies just yet. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci the water company vastly overestimating my consumption and then sending me a leaflet scolding me for my high usage. my brother in christ you made up that number. npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…es2w oh I see! I've heard hottist use 'mere' to that end. I like 'crudely' too. I'm also partial to just say 'not not' in front of things since people seem to have an intuitive grasp of it (sadly, classical logic is a delusion pupil are coerced in rather than intue). npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci changed the lightbulb at my desk to a comically bright one npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…es2w Probably @nprofile…hgtl ? npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4 Matteo Capucci @nprofile…es2w Someone recently told me it has been proven that intuitionistic logic cannot arise as a multivalued logic in this way, ie you would end up with a stronger logic afaiu. It's quite fascinating!
