the way that downloading your Facebook messages works is really fun! there's no option to download just a JSON file of your messages without including every single piece of media you've ever sent or received, so Facebook is offering me six separate files of 5GB each, exactly one of which includes the JSON file I want, with all of the rest being filled with photos and videos I don't need right now.
*it doesn't tell you which of these files the JSON is in*!
it's not in the first one. it's not in the last one. it's not in the second one... 😱
(there's a long way to go yet! but I need to prepare for the inevitable months I will spend perseverating over font and colour choices while not doing any writing)
mostly I am enjoying Mastodon, but I do have a *few* complaints...
for instance: choosing this username here seemed like an amazing idea at the time, but I am now beginning to realise that it was in fact a stupid decision for various reasons, and (by design) there is no way to change these without losing all of your posts 🙃
i like being in my echo chamber where you're not allowed to be a nazi, or racist, or transphobic, or spread some antivax bullshit, or be a journalist, and so on
i love saying trebuchet terfs 2023 without getting instabanned actually
re: types.pl moderation policy, long
if you don't like the decisions that the moderators make here, then you do not have to be here! I am both here and on Twitter. you can also be both here and on Twitter. you can only be on Twitter if you like. there are also many other Mastodon instances available! if Twitter stops functioning or existing for whatever reason, and you feel you have nowhere else to go because you disagree with the rules here, then that is not the problem of the types.pl moderators. that is between you and Elon Musk
personally, I feel more comfortable sharing posts about certain things here than I do on Twitter, even though many of the same people follow me in both places. that is explicitly *because* types.pl has a *good federation policy*, which means that I will not have to interact with terrible people who have terrible opinions. on Twitter, I encounter posts from bigots *every single day*, even though I do not follow any of them; on types.pl, I have *never* encountered a post from a bigot, because those posts are *not welcome here*. I am glad this space exists, and I am very grateful to the moderators for not letting it turn into a second Twitter!
if you do not agree with these policies then possibly this space is not for you either. just because the name of the website is "types.pl" and you are a big fan of types (or Poland) does not mean that this website belongs to you. you are a guest in a space set up by others, and if their decisions do not satisfy you then you are more than welcome to set up your own 😊
broke: I "asked" the "AI" to "prove a theorem"
bespoke: I used a language model to generate a sequence of tokens that would most probably follow the theorem statement and then the word "Proof:" based on its training data, which might more closely approximate something that looks like it could be a proof of my theorem as the model is trained on more data
PhD student at the University of Kent, working on the Granule project
recent intern at Huawei's Edinburgh research centre ❤️
former master's student (comp sci + maths) at Sheffield University 💜
putting the B in LGBT+ 🏳️🌈