Jons Mostovojs @jonn@social.doma.dev

Gender doesn't need to be regulated.

Carbon emissions. Those need to be regulated. Guns. Holy fucking expansion, those need to be regulated. Predatory interest rates. Regulation required.

Gender does not need to be regulated.

The police just sent a friend of mine a letter which got me worried but it was a request to rate our recent engagement with them (they arrested my friend and me for protesting climate change) what stage of capitalism is this

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