Show newer

early personal identity stuff 

Just remembered the second time I encountered the notion of being bi (in a manga about... doctors? or veterinarians?) and thought it was so cool that I named my first IRC bot "RyoutouSlug". It's really a wonder how long it took me to figure all that stuff out after that...

@josh They are clearly the same theorem though... Every $THING has a factorization. @chjara

@AgathaSorceress At least it sorta looks like from a parallel reality where English has reasonable phonetics..?

@Vierkantor Happened to an Ukrainian friend of mine, who had Polish ancestry under a relatively common name containing "cz", and moved to Poland, but this process transformed it into "ch", resulting in lots of confusion and wrangling with university administration (probably not just uni, but that was the part I witnessed). @AgathaSorceress

@urusan Not sure, but if anyone wanted me to do programming and gave me this list to choose from I would definitely want to work with them.

Defining stuff in:
* type theory: uh, just remember to define everything in order?
* "classical mathematics": so we need these three sets, the first one can be arbitrary, but it's choice impacts how you pick the second one, while the third one has to be picked in the light of the full moon on the last Thursday of a month unless...

timorl boosted

moth zone antiblackness meta, an experiment (1/14) 

I want to do an experiment. I apologize for how self-indulgent this is, but ... y'know, like, a whole thing with this kind of blowup is that the original context is lost, so I want to see what happens if that context is reintroduced. I'm sure none of this will need explanation to folks who have been following this story.

(That said, feel free to ask for explanation - we didn't see all of this but we saw a lot.)

moth zone antiblackness meta 

@packbat Thanks a lot for this thread! I don't follow the people involved, so the meta posts made me worried, but did not clarify anything (but managed to convey that asking questions would be insensitive). This series of posts not only explained what happened from your perspective, but also gave enough details to make it possible to reconstruct the reasoning of the other side (at least the non-malicious part, the malicious part is sorta obvious a priori...), both of which are needed to understand the failure mode and make it less likely to occur in the future. All in all, a thread of great public utility, 10/10, would recommend.

@errant @robryk Why did you not tell me _this_ about Foxhole? :D

timorl boosted

I just learned that earlier this year, the logistics community of the Foxhole playerbase wrote a list of QoL demands to the developers, who predictably did not bother responding.
In response, participating logi players stopped doing their "jobs", and the frontlines started having serious supply issues. 49 days later the devs released a list of upcoming features, many of which specifically addressed the demands

Players went on strike in a game and won

timorl boosted
dubioza kolektiv when trustworthy kolektiv shows up

@niss If the thing you are looking for is by any chance Boolos's Logic of provability I'm pretty sure I have it somewhere on disk. But I think this one was in the usual places, so that's probably not what you have been talking about...?

timorl boosted

Learning a lot about people who are saying we should be respectful and reverent at the moment because an old lady did what old ladies do and die.

Where were they when that old lady was wearing a diamond and gold hat and sitting on a gold chair while her subjects queue at food banks?

Their respect and reverence is clearly aimed at wealth and power, not human dignity.

#queen #monarchy #endthemonarchy

@moonbolt Wow, the quality of epistemology in this text is properly impressive. Other things too, but that surprized me a little.

@maia I see the habit of zero indexing is strong. ;>

Welp, this day is shaping up impressively bad.

First my son got confused and came home early triggering some panic at the school and slightly disrupted my work.

Then a column of keys on my keyboard broke, making work infeasible.

Now the electricity *in the whole city district* is down and shows no sign of returning for an hour already.

!!FUN!!

@x_minus_t There is only one better pizza topping than pineapple and it's raisins!

timorl boosted

I've never really got into submitting my research to academic journals, they're super hard to access and read even when you work for an institution that subscribes to them, have very long delays from submission to publication, and are often super expensive to publish open access (££££s)..
That's been fine because google scholar is good at picking up conference papers etc that other citation databases do not.
But I just had the realisation that if google scholar went away (which is entirely possible, based on google's record) then I'd have no record of my work or its citations.. and I'm not sure what to do about that. I've been thinking of uploading all my papers to zenodo, but despite having DOIs, stuff there is practically ignored by other databases (including google scholar!). I'm not sure what to do about this..
Academic publishing and reporting is a total mess, completely compromised by publishing companies like Elsevier, with absolutely *astonishing* profit margins, and heavy investments in fossil fuels..

@AgathaSorceress Bah, I wanted to make a joke about only uncertain people existing, but the rest of the thread kinda killed the vibe, so just sending love instead. :trans_heart:

@petros Ironically the mathematical analogy itself doesn't quite work, because depending on the property you are talking about you might need a homomorphism in either direction or even something approximating an isomorphism, but the point is so important that I can overlook that ;>

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.