Show more

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 adam.math.hhu.de/#/g/hhu-adam/.

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 github.com/kbuzzard/xena/blob/

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

@mayaisloading

I'm so lucky my memory is shit, so when I divide, I forget that I have a lot of tasks, and start doing small tasks one by one :D

cc @virtulis

re stux bs, mh-, IATA 

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

a bit too much meta for my taste 

@tivasyk report the toot to their instance, check in a week, if no action, defederate the instance.

Oh.
Kvadratisch, praktisch, nicht gut?

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

leave-russia.org/ritter-sport

I know some stuff about it, including unmasking the author of the puzzle: boston.conman.org/2021/05/05

If someone wants to work on cracking this numbersstation, I would be glad to contribute.

Show thread

@danlyke this went over my head, but I personally feel like I'm back in the small Internet, where I very organically and slowly discover interesting people from across the globe and maintain the social circle of people I read small.

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.

Speaking of odd websites.

Here's one: numbersstation.info/

I have managed to find the person who is behind it and wrote them an E-Mail. It seems like it's a challenge, but I'm yet to crack it.

There's an easy flag on my personal website: memorici.de

Actually, I make challenges for every website I make and put them there as easter eggs.

I want someone to get this particular one so bad.

The reason is that the challenge that I made for my personal website is also personal. It's a tale of an old friend who has passed, memories of teenage years and, really, the quintessence of the meaning behind the domain name.

As I said, I would rate this challenge as easy, in terms, it doesn't involve actual hacking or even API interactions, whereas the challenge that I put on doma.dev is likely to be hard or at least intermediate.

Good hunting, if you are up for it. And if you know of some random websites with flags, ping me.

@quinn idk why, but the Beatles songs started playing in my head when I looked at your photo. You look great!

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;

en.wikipedia.org/wiki/DARVO

mstdn.social/@stux/11061209504

universeodon.com/@supernovae/1

mstdn.social/@stux/11057724191

dotart.blog/dotart-blog/defede

@evan (sorry for so much text)!

To conclude: I also voted 100M+ in hopes that we'll some day get ActivityPub servers running on handheld devices in an edge computing setting. Because otherwise, only people who can afford to pay 15-50 buck a month for what essentially (for them) is a "twitter account" will have access as the big public instances close their doors under the load of the bills.

These are my hopes. But my fear is that big instances will start monetising (which we have already seen on that fork of masto which has implemented ad functionality).

@evan your second point is of large interest. I too believe that activity to ActivityPub and SMTP should be a human right, but it incurs a ton of costs. If you think about it, even SMTP isn't granted for free anywhere, but rather in exchange for the metadata of peoples' inboxes (how many governments issue E-Mail accounts to their citizens?).

Same will be with ActivityPub, except even more pronounced. I can maybe pay for 1-2 more active people on my instance, but it will increase the pressure on HDD linearly, and then I'd have to run tiered servers, one with persistence (mine! mwa-ha-ha!) and one without persistence (for the users beyond UID#5).

So hoping that "someone else will pay for the people" is a very dangerous hope, I feel. Governments aren't eager to, and companies will steal peoples' souls *snaps fingers* again. :(

@evan if the protocol you made is worth it's money (which I assume it is, but I didn't work out the details yet), its implementations should allow fetching state on demand (of the users' social circle).

If this is true and the implementations are reasonable, then I see no risk to the infrastructure whatsoever. Of course, people like me who want to preserve *everything* will have to buy more and more disk space over time, but it's pretty manageable.

Show more
Doma Social

Mastodon server of https://doma.dev.