Notices by subtype (subtype@insufferable.tools)

@Ukko @eris Only with masto, I couldn’t follow anyone or fetch posts; I thought I got blocked again until I figured out that it was because of my own MRF. Though if one actually wants to block then it might be ok. Still, I think writing MRFs while not understanding what’s going on there might be a bad idea :ablobcatsweatsip:

There’s a proof assistant called Isabelle; the most used part is Isabelle/HOL (which stands for High Order Logic) but there’s also Isabelle/FOL (First Order Logic), and apparently there are also people named “Isabelle Fol”, which makes searching a bit complicated :blobcatnotlikethis:

https://isabelle.in.tum.de/overview.html

WHAT

RE: https://fedi.computernewb.com/users/vncresolver/statuses/111946290957060235

I’m so glad I bought the 1tb steam deck, I already managed to fill half of it with games I’ll probably never play :blobcatnotlikethisgoogly:

@eris @winter I’m fairly certain you had at least one new user around November who ended up not sticking around, but maybe it’s better if you forgot :blobcatsweat:

@eris @kaia which one is that, RejectNewlyCreatedAccountNotesPolicy?

@eris I don’t have nearly that much experience, but I think I get it; during my time volunteering at a local NGO with libs and devout churchgoers (doing stuff from sorting and packing clothes that went to Ukraine, to less impactful things like organizing a used book fair) even though that wasn’t much in the grand scheme of things, it was still more than larping and screeching online (and such people would surely get my boss cancelled for letting the fan club of one somewhat nasty right wing newspaper to have their meetings in our building).

@yassie_j @ShadowJonathan the classic

@eris yo

@eris Just ask any potential follower to provide at least one fediblock post they got for “federates with disqordia”, self submitted if need be. :comfysmug:

@eris

logging into fedi

@agturcz Please send me the name of the chip if you have time, but given my track record with finishing projects, I 100% should go with a shop bought if I want it to work in a reasonable timeframe :akko_exhausted: