Jons Mostovojs @jonn@social.doma.dev

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.

#Google paid a city government in #Oregon to unsuccessfully try to keep its data center #water usage secret.

🚨 Today the numbers have been revealed, and the data looks devastating for the beautiful Columbia River Gorge as the company plans even more data centers.

📣 #BigTech continues to hoard billions of our tax money while destroying both our environment and our society. It's time to speak out.

#WaterIsLife

https://www.oregonlive.com/silicon-forest/2022/12/googles-water-use-is-soaring-in-the-dalles-records-show-with-two-more-data-centers-to-come.html

And not to be outdone:

Here's the story of #Microsoft and their despicable efforts to erase an historic Black cemetery that was in the way of building another #Azure data center.

But hey, we're supposed to shut up and be grateful for their posting of trashed projects on #GitHub.

How about instead let's stop shilling for tax freeloaders in #BigTech and start holding them accountable to be responsible participants in society?

https://www.propublica.org/article/how-authorities-erased-historic-black-cemetery-virginia

Just here to experiment.. like I did with my sexuality in the late 90’s - early 00’s

I am very excited to announce that experimental #SecureBoot in #NixOS will be available out of tree through a Flake after https://github.com/nix-community/lanzaboote/pull/26 is merged. :)

Experimental means:

- tested in VM
- tested on well-behaved laptops, e.g. Dell/ThinkPad business models
- you have to bring your own keys
- enterprise workflow are not supported yet
- relies on unmerged RFC in #NixOS (RFC-0125)

Once we polish this, an in-tree experiment on NixOS unstable at some point and NixOS 23.05 will be available.

And then there is the story of when #JohnMastodon took to the stage, juggling bananas like the pro he was. It was unlike him to show off but what could he do? He had his audience, even if a flock of birds fluttered in annoyance at his increasing popularity.