@TopologyFact You only need to show (In general) that the intersection of two base elements is a *union* of base elements. In this case the base is indeed closed under intersections, but it’s not necessary. In the blog post I don’t see an outline of the proof of connectedness. Why not?
@neilhimself Weird list overall. I wouldn’t count Finnegan’s wake (or a brief history of time) as novels per se, it seems mostly a list of big books. Very Anglo-centric too. Just a few French (Proust is not one novel BTW, but a series), German, Russian and Spanish ones. None from other areas
I started reversing Apple AMX, an undocumented 64-bit ARM instruction set extension for a matrix coprocessor, used by the Accelerate framework on the M1 (and A13+). My (incomplete) IDA/Hex-Rays plugin and notes so far: https://t.co/XveVRLokr3
The Trump administration has left behind a landmine in federal agencies. Biden won't have much time to defuse it. https://t.co/JH8iEoZ6yL by @matthewccook5
@Oldfrankishphil Ik hoorde het, maar ik wilde meer details en de volledig uitgeschreven versie bv. Wat was de vorm van māri precies , etc. Om te vergelijken met mijn historische grammatica’s.
@watweetik@janien@fonolog Aasters helendol, heeldol, heendol . Mijn Westers woordenboek had t niet als lemma. Van Midslands is helaas geen woordenboek. Gewoon Fries is helendal of hielendal afh van dialect.
@Oldfrankishphil Ik was eerst wat verrast door “sule” ipv “skule”. En “mennen” is vol ONW niet overgeleverd, wel Ohd. Dat waren mijn struikelwoorden (ze blijkbaar onterecht afgeschreven als opties.) Detailvraag: waarom -en ipv -an of andere uitgang? Door Ohd?