Jons Mostovojs @jonn@social.doma.dev

@jonn yeah. im sorry you've lost content. :(

but check it just in case! it might have captured it!

ALSO! you can just upload stuff to the archive, without even using the wayback machine. you can just archive things, as long as you're OK with them being public

also also, use github

there are so many options

@jonn yes it does, you just have to explicitly request it. it tries to archive everything it can, but it might not *find* stuff, which means you have to explicitly tell it to archive it

@jonn yeah, exactly. it's completely fucked up abuse of the defederation mechanism

Free winter tires for people choosing bikes over cars in #Sweden—public transport agency will give away studded tires for winter bicycle users.

https://t.co/isL9jAk7hA

Oh it’s nice on Mastodon, isn’t it? Like an irritating background noise has stopped.

Hey everyone. Just a reminder that you don't have to put up with bullying, shaming or guilt-tripping, just because it is Christmas.

If you don't want to see those relatives, you don't have to.

If you don't want to cook a huge dinner you don't have to.

If you don't feel like celebrating, you don't have to.

And don't let Christmas adverts bully you into being anxious. They just want your money, they don't care about your wellbeing.

Christmas is just one day. Be true to yourselves and put your mental and physical health first.

#christmas #mentalhealth

Christmas trees in #Kyiv throughout the years.
2019, 2020, 2021 vs. 2022.
As Ukrainians usually put it: “Better in darkness and with no heating or internet than together with Russians.”
#Ukraine #UkraineWar

Some shots you can’t plan for.
I was waiting to shoot the rise of a supermoon when the clouds rolled in a ruined the spectacle. Instead of the moon crowning the tip of the Bay Bridge, a flock of pelicans passed over it, in perfect formation mimicking the shape of the bridge.
#sanfrancisco #baybridge #pelican #photography #urbanwildlife #wildlife #wildlifephotography

The very first meme I made on Mastodon and if I do say so myself, it’s aged pretty well. #elonmusk #twittermigration #twitter

As of now I'm treating Mastodon as my primary social media account. I'll still keep my presence on Twitter, but it'll primarily serve as a mirror of this account.

I'm really excited about zkSNARKs. The ability to verify or certify the result of a computation **without having to recompute it** is an incredible superpower.

I think in the future zero-knowledge proofs will be as fundamental to computing as hash functions are today.

This is a talk earlier this fall about how we're compiling formal proofs in the lean theorem prover (https://leanprover.github.io/) to zk-SNARKs using the Lurk language (https://lurk-lang.org/): https://www.youtube.com/watch?v=IfPi8Qh3gOw

#Lean #lurk #rust

I wrote a guide to creating a setting for RPGs, from start to finish. I'll make a video about how it at some point. Hope folks find it useful.

https://cairnrpg.com/wip/2e/setting/

@jonn There's also the ridiculous pressure of appearing to be the only sane person in the room/bus/plane. Not everyone can stand that.

Which is why mask mandates are needed. And why I will mask up to also continue to signal to anyone looking around that there might be more than one sane person in the room after all.