Anyone got thoughts on civ6, for someone who has hundreds of hours in civ5?
The Internet Archive has decided to ignore robots.txt
This is amazing news for internet history.
a) All public stuff will be crawled. Don't want that? Don't make your shit public.
b) Lapsed domains replaced with parking pages using restricting robots.txt won't prevent old, dead versions of sites from being visible.
there are men on the fediverse terrified by the very presence of witches.town and that's the most fucking on-brand thing
God speed, Cassini
IMPORTANT NOTICE Show more
your identity is not fake
your presence is making this a better place
i'm glad you're here
I am seeing a lot more shitposts (and I mean they are shit) in my tl and I approve 💯💯
I'm a big fan of blocking, honestly. If I make you uncomfortable and the things I say make your life worse? You should definitely block me!
It can be hard not to feel bothered by being blocked, but it's not always about you, y'know? Try to let it go.
People have the right to curate their spaces online, regardless of reasoning.
No matter how stupid you feel, remember, Little Red Riding Hood couldn't figure out a talking wolf in drag wasn't her grandmother.
Can y'all who ~~~love~~~ Mastodon so much stop minimizing the experiences of people like me who've been harassed by going "well it's not as bad as XYZ"?
When that unreachable spot on your back itches it means someone is thinking of you, and they want you to suffer.
today on "passive aggressive ammunition i probably won't use" for irc
was careful to not use "they" or "them" except for the one mention, and "pronoun" at all since it's a loaded word
I really want subscribable instances? Like I want to be able to read all the bot tweets from botsin.space in a single column? I think that would be nice. Then you could also quarantine all the journos on their own servers too lmao
Taking the next few days to learn the ins and outs of HOL4's machine code verification machinery. I hope to prove functional correctness of some asm functions in *ring*. I'm starting with the constant time memcmp. I hope to show two things:
1. That it is equivalent to the HOL `=` on lists of bytes.
2. That, on x64, for all inputs of the same length, execution traces are exactly the same.
This shows that it is indeed a constant-time memcmp. Should be fun :)