Jons Mostovojs @jonn@social.doma.dev

Did you know I'm making a point & click adventure set in an alternate history steampunk-ish old west?

Well, I am!

https://t.co/0VlNFh3D9i

Testing, Testing, is this thing on? 🎙️

Genie: I’ll give you one billion dollars if you can spend 100M in a month. There are 3 rules: No gifting, no gambling, no throwing it away.

SRE: Can I use AWS?

Genie: There are 4 rules.

Speech by V. #Zelenskyy President of #Ukraine at the opening of the Fourth Summit of the Council of Europe

Extracts
One hundred percent should be our benchmark. We must leave zero percent to the aggressor!

We are Europeans, so we are free. We are Europeans, so we value peace. We are Europeans, so we act at one hundred percent of our strength when it comes to protecting our way of life. Let these be forever the rules of our continent!

Full speech here🔗 https://www.president.gov.ua/en/news/mi-yevropejci-otzhe-mi-diyemo-na-povnu-silu-koli-treba-zahis-82945

#SlavaUkraine

Lean's maths library just got 23% faster: https://github.com/leanprover/lean4/pull/2210

This whole thing is completely ridiculous. There are a whole bunch of algebraic structures which you've heard of (groups, rings, fields, topological fields,...) and Lean has these, as well as a bunch which you may haven't heard of (semirings, group-with-zeros, not-necessarily-associative rings, uniform groups,...). And then there are a whole bunch of completely trivial assertions of the form "a topological field is an additive abelian group" or "every ring is a module over itself". And Lean needs an algorithm which will quickly notice that e.g. all theorems about additive abelian groups can obviously be applied to topological fields, or all theorems about modules over a ring can be applied to the ring. Surprisingly (to me), making this algorithm time-efficient and memory-efficient turns out to be a difficult problem. The Lean mathematics community started making all the basic objects that they needed to do all masters level mathematics a few years ago, and the number of algebraic structures we have has got really large -- so large that things started creaking. In Lean 4 there were even instances when the system wouldn't even work, it would time out before finishing. Today's merged PR looks to have got us back on track in the process of moving all of Lean's mathematics library from Lean 3 to Lean 4.

Given how many of the last couple of zero-click #iOS exploits have been found in the various OSS image decoding libraries… and given the enormous likelihood that there are more such bugs… why on earth does iOS render image previews for messages from numbers that are not in my contacts list?

Black & white photography is my passion.

Continuous discovery is about more than tactics. It requires that we adopt new mindsets. We need to be:

✅ Outcome-oriented
✅ Customer-centric
✅ Collaborative
✅ Visual
✅ Experimental
✅ Continuous

Learn more in my book: http://continuousdiscoveryhabits.com

#prodmgmt #ux #engineering

A free alternative to upstream Red Hat Enterprise Linux, @almalinux 9.2 is available now https://www.linux-magazine.com/Online/News/AlmaLinux-9.2-Now-Available-for-Download #RHEL #Linux #AlmaLinux #enterprise #OpenSource

when the #train always stops in exactly the same place, the air conditioner always drips in exactly the same place, and a tiny #ecosystem is born <3

100 years of January to April temperature anomalies over land areas through 2023. The largest (outlier) cold anomalies are over the western United States.

Data from https://data.giss.nasa.gov/gistemp/.

There’s a lot wrong with AI, for sure, but the whole “it’s just spicy autocorrect” theory is becoming outdated really fast https://www.theverge.com/2023/5/12/23720964/chatbot-language-model-context-window-memory-anthropic-claude

I recently set up backups for our #Mastodon instance https://fantastic.earth, and wrote a note about it: https://notes.abhinavsarkar.net/2023/mastodon-backup

#selfhosting #mastoadmin #nixos

Lest anyone underestimates the political significance of #Eurovision: Ukraine Eurovision act's city attacked before performance https://www.bbc.co.uk/news/world-europe-65586701

Kids today with their blue hair and pronouns.
Kids today with their baggy pants and rap music.
Kids today with their long hair and heavy metal music.
Kids today with their long hair and hippie music.
Kids today with their leather jackets and rock’n’roll music.
Kids today with their flapper outfits and jazz music.

Same as it ever was? Same as it ever was.

It's heartening that Erdogan might lose the presidency this week in Turkey. But let's be clear: If he hadn't jailed his opponents, undermined the press and used state power for political gain, he would already be gone.
https://www.nytimes.com/2023/05/12/world/middleeast/turkey-election-erdogan.html