Jons Mostovojs @jonn@social.doma.dev

Don't buy #Marabou, #Daim or #Oreo.
#StopPutinsWar
#StopBusinessInRussia
#StandWithUkraine

Time for the formal #GetFediHired post!

I have varied developer experience going back to the 90s. Front, back, apps, engines. I've spent a lot of time on game design tools -- game languages and VMs and interpreters.

If you want to build a toolset for your users to go creatively wild, we should talk. Doesn't have to be games.

(I recently spent a couple years building a narrative/dialogue engine for a multiplayer game, but a big layoff hit. Now I'm looking again.)

Thanks.

#LookingForWork

Realizing I left the A/C at 69° all day

GOOD NEWS EVERYONE

Futurama is back. Again.

https://www.youtube.com/watch?v=aWmtcYvhj68

Who wants to tell her? #LongCovid

The Natural Number Game is in the process of being ported to Lean 4. A beta version is up and running on the web at https://adam.math.hhu.de/#/g/hhu-adam/NNG4.

Over the next two months there will be an intense period of development, with new worlds added like Even/Odd world and maybe prime number world. The game will be developed as one of my Xena summer projects. The Xena summer projects are where a bunch of undergraduates from across the world get together and make stuff in Lean. It's half in-person and half-online. More information on the Xena summer project website at https://github.com/kbuzzard/xena/blob/master/Summer_Projects/2023.md

The natural number game repo is at https://github.com/hhu-adam/NNG4. Suggestions (e.g. via issues) for additional worlds, bug reports etc are welcome!

I'm excited to play with the Open Book Abridged Edition. Thanks @joeycastillo for continuing to work on the Open Book project.

It's kind of delightful to pick up an object that tells you how to assemble it!

#OpenSource #OpenHardware

I don't really have strong feelings about Meta because I know it's evil and anything it does is not only for profit but for control and monopoly. Wasn't gonna do anything about it, because as a two user instance admin why bother.

I'm actually *all for* full text search on public (the globe kind) posts in search-enabled profiles.

I don't think it's possible to somehow limit access or indexing of publicly available information and I strongly believe it's counterproductive and harmful (by false sense of security) to discuss any on-protocol measures in that context.

I do however have strong feelings about this serial abuser smelling "we know what's good for you" bullshit that stux and supernovae are spewing.

And I do think it's possible and constructive to call out Musk-wannabe assholes and limit your own exposure to them.

So yeah my two user instance will be defederating universeodon, mstdon.social, and whatever other crap these guys are running (because a single instance is not enough "growth" I guess?). Really hoping we can do without a post about how loud.computer admins are abusing our (my) privileges or whatever.

Oh.
Kvadratisch, praktisch, nicht gut?

#Ritter Sport contiuing and even growing business in #russia.

https://leave-russia.org/ritter-sport

As I unfollowed someone who'd retooted one of their ads five or six times in the past day or so, and am seeing people both leave and talk about growing the Fediverse, I'm thinking about whether people are seeking parasocial or personal relationships from social media. And how much we lose when we're not clear on that distinction in our goals.

CUSTODIAN CLEANUP ANNOUNCEMENT

We have put an instance-wide silence on two fediverse fuckwads, @stux and @supernovae, because they, as operators of large instances, are being dicks to .art, a much smaller instance, and are doing so in ways that raises all sorts of red flags, as they try to avoid taking responsibility for their own actions, and try to frame .art as the aggressor instead.

This moderation action will persist until the heat death of the universe, or until they stop being assholes.

Receipts;

https://en.wikipedia.org/wiki/DARVO

https://mstdn.social/@stux/110612095048301597

https://universeodon.com/@supernovae/110611762936524769

https://mstdn.social/@stux/110577241910599246

https://dotart.blog/dotart-blog/defederating-from-universeodon

What is the hottest temperature you have experienced?

Please boost to increase sample size.

#ClimateChange
#ClimateCrisis
#climate

Viktor Orbán is Putin's Gauleiter, ruling over Russian ally Hungary.

Orbán says Putin is not a war criminal and Ukraine is not a sovereign country.

Hungary is a member of NATO and the EU and wield's Russia's veto in those bodies.

https://m.bild.de/politik/ausland/politik-ausland/ungarns-ministerpraesident-orban-putin-ist-stabil-84474096.bildMobile.html?t_ref=https%3A%2F%2Fwww.bild.de%2Fpolitik%2Fausland%2Fpolitik-ausland%2Fungarns-ministerpraesident-orban-putin-ist-stabil-84474096.bild.html