cmr is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
08bafb6b22cd820b

cmr @cmr

Anyone got thoughts on civ6, for someone who has hundreds of hours in civ5?

cmr boosted

The Internet Archive has decided to ignore robots.txt
blog.archive.org/2017/04/17/ro

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.

Archive everything. #NewLibraryofAlexandria #OCD

cmr boosted

Here comes a mathematics-friendly mastodon!! LaTeX notations are automatically converted into mathematical equations.
mathtod.online/about mastodon.blue/media/iSmCHn5dvw

@mechaniputer welcome to the fediverse 🎊

cmr boosted

there are men on the fediverse terrified by the very presence of witches.town and that's the most fucking on-brand thing

cmr boosted

Not quite the #Cyberpunk future I envisioned

God speed, Cassini

cmr boosted

IMPORTANT NOTICE Show more

cmr boosted

I am seeing a lot more shitposts (and I mean they are shit) in my tl and I approve 💯💯

cmr boosted

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.

cmr boosted

hot take Show more

cmr boosted

No matter how stupid you feel, remember, Little Red Riding Hood couldn't figure out a talking wolf in drag wasn't her grandmother.

cmr boosted

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"?

cmr boosted

When that unreachable spot on your back itches it means someone is thinking of you, and they want you to suffer.

cmr boosted

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

@shivian nice, I love it! 👍

cmr boosted

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 :)

@cypnk 3 seems hardest to do alone, having done that exact thing with zipties that weren't around my hands.