Replying to
@ketan@climatejustice.social I don’t know what’s more depressing, that statistic or the choice of colours in the pie chart
Remote
AT
@at@mathstodon.xyz
mastodon 4.7.2Empty set fan, arbitrary topological space appreciator.
502 Followers
1043 Following
50 Posts
Joined November 05, 2022
Pronouns (en):
he/him
Pronouns (PIE):
*so/*tom/*(to)sio/*tosmōd/*tosmōi/*tosmi/*toi
Replying to
@stavvers @Nickiquote Is the gas sealed inside or is there the option of an afterburner?
Replying to
@zzt@mas.to @davidgerard@circumstances.run life, uh, finds a way https://en.wikipedia.org/wiki/Alexey_Dobrovolsky (just noticed that the reddit thread also links this)
Replying to
@0xabad1dea@infosec.exchange @endrift@social.treehouse.systems Turns out that even at Linguistics Summer Camp you’re weird if you start a conversation talking about ⟨u⟩/⟨u₂⟩ straight away 😅
Replying to
@0xabad1dea@infosec.exchange @endrift@social.treehouse.systems le-iu-u₂-ni-id maybe? There’s a Leonid here; v un-Hittite/Hurrian of them to to use ⟨u₂⟩ /u/ instead of ⟨u⟩ /o/ tho
Replying to
@mc Cones of Dunshire is really not that complicated, it’s just a special case of general Homotopy Colimits of Dunshire
Replying to
@0xabad1dea@infosec.exchange ever since taking my first Mandarin class I’ve been wondering if Chinese mathematicians write their end-of-proof-boxes like the mouth radical
Replying to
@hallasurvivor The notes I learnt algebra from (https://websites.math.leidenuniv.nl/algebra/algebra2.pdf#page=22) actually prove division with remainder in R[X] (by polynomials of lower degree with invertible leading coefficient) for arbitrary coefficient rings R, but the usual factorization in terms of roots only for integral domains R, and it’s sort of swept under the rug what stops you for more general R (it’s the failure of the evaluation map R[X]→R to be a homomorphism). You can still factor f=q⋅(X-a) if a∈R is a root of f∈R[X], but you can’t induct further because the other roots of f needn’t be roots of q, and the previous toot gives you an example: we have X²+1=(X-i)(X+i), but j also satisfies j²=-1, yet we have
(j-i)²=(j-i)tr(j-i)-det(j-i)=-2.
Replying to
@ionica @victorgijsbers Pleister op de wonde: brandwonden zijn ten hoogste vierdegraads, dus er is altijd een oplossing als je maar genoeg wortels neemt (in karakteristiek niet 2 of 3)
Replying to
@susankayequinn Is this the 2024 article referred to? https://doi.org/10.1088/1748-9326/ad0f72
Replying to
@pigworker@types.pl the word ‘bromide’ in all its meanings is just an elaborate practical joke played on us by inorganic chemists, historians, and the Bavarian Illuminati, I’m sure
Replying to
@mathias@pawb.fun @pastelexuvia@cathode.church it has such a lovely singing voice https://www.youtube.com/watch?v=gkzOeDT8ZT0
J.S. Bach - "Erbarme dich, mein Gott" from St Matthew Passion BWV244 with Otamatone
Replying to
@0xabad1dea@infosec.exchange you should probably break it to him that you did not grow up in the True West, nor see the Eagles above the peaks of Taniquetil and the Pelóri mountains; nor can any man since the world was made round, for all roads are now bent.
Replying to
@mttaggart@infosec.exchange More into PhD defences distorted into dark ambient soundscapes myself https://mobula.bandcamp.com/album/hooggeleerde-opponents
Replying to
@glyph@mastodon.social geez people it’s not a golden calf! go read another book! https://fed.brid.gy/r/https://bsky.app/profile/did:plc:qbe3b7ljafblsyy4dhkkgj7t/post/3mlgspujg722l
Replying to
@th@social.v.st (re: the alt text: going by the letter size, line length, and the top stroke after the ⟨S⟩, I think the last line says _collectiviseren_)
Replying to
@0xabad1dea also you can stare at air quality readings if you like that kind of thing https://www.luchtmeetnet.nl/ (via https://mastodon.nl/@nrc_nl/116489297227516414 )
Replying to
@bnuyaminim.bsky.social this is fine https://www.gld.nl/nieuws/8468680/brand-nog-lang-niet-geblust-luchtmacht-breidt-inzet-uit
Replying to
@CppGuy@infosec.space In that picture you can also see the big plastic pin (electric separation presumably?)! I don’t recall the seal being particularly tight, tho IIRC the port is recessed, and at 36V I don’t suppose you need electric car-level specs (tho a bike with a Mennekes connector would be cool in an impractical kind of way…)
Replying to
@CppGuy@infosec.space No idea! The ports on the bikes/batteries are behind a rubber flap, and the connectors don’t look particularly waterproof in any way (I suppose they’re also rated higher than the 4A chargers I’ve seen them attached to); in any case I’d have preferred a nonproprietary connector https://www.fietsaccuwinkel.nl/bosch-lader-charger-standard-4a
Replying to
@catsalad@infosec.exchange There are plenty of Bosch 36V ≤4A e-bike chargers that have no business not being on USB-C (if only USB chargers had the same satisfying contactor ka-chunk…)
Replying to
@isaactly_s the Linux thingy where if you type cat it will type the stuff you type back at you
Replying to
@MishaVelthuis Ze mogen van ProDemos ook iedereen die de Stemwijzer invult tracken https://stemwijzer.nl
Replying to
@0xabad1dea@infosec.exchange Amsterdam’s public fountains are remarkably shaped (I wonder if the foreskin has some hydrodynamic purpose?)
Replying to
@0xabad1dea alternate universe where the ⟨C⟩/⟨G⟩-split never happened, ⟨C⟩ just grew a tail
Replying to on social.treehouse.systems
@endrift@social.treehouse.systems @0xabad1dea@infosec.exchange I don’t recognize the word either (maybe we can trace it to the source and ask them)
Replying to
@0xabad1dea (who am I kidding; to get to lecture late, but slightly less stressed on the way there)
Replying to
@gsuberland@chaos.social ooh, another attestation of ‘spedrun’ for the Unexpectedly Strong Verb Files (at ~8:36)
Replying to
@nurkiewicz@fosstodon.org @timbray@cosocial.ca It did get some extra SHOULD NOTs slapped on in RFC 9100 (which obsoleted 7231) though https://www.rfc-editor.org/rfc/rfc9110#name-get
Replying to
@yvanspijk Interesting that it’s got the meaning ‘priest’ in West Slavic and East Baltic; is that a shared later development?