Jons Mostovojs @jonn@social.doma.dev
- Sourcehut
- https://git.sr.ht/~jonn/
- Mastodon
- https://social.doma.dev/@jonn
- Arm
- Ukraine
- Donate
- https://savelife.in.ua
Admin
That https://doma.dev guy
#lean #rust #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.
Joined Nov 2020
Jons Mostovojs
boosted
Jons Mostovojs
boosted
https://boston.conman.org/2007/02/19 here is the post where the project is announced.
On the projects page, we can see a bunch of numbers (in a row) from Euler's number.
Honestly, these #lemmy people befuddle me. In principle, one can keep using #twitter despite fascist takeover and devs complying with fascist decisions.
Lemmy is not just made by red fascists, but also its main instance is deployed and maintained by them. Please use #kbin.
@evan why do you only promote lemmy?
@ChrisO_wiki no matter how many times I read it, I keep reading "two lightly dressed furries".
@tivasyk this post is about diversity, cmon
Jons Mostovojs
boosted
🏳️🌈🖖🏽
@tivasyk I always report.
Jons Mostovojs
boosted
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 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
Jons Mostovojs
boosted
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!
@harry_wood @opencage @OSMLondon just 4 Globes!
Jons Mostovojs
boosted
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.
Jons Mostovojs
boosted
I know some stuff about it, including unmasking the author of the puzzle: https://boston.conman.org/2021/05/05
If someone wants to work on cracking this numbersstation, I would be glad to contribute.
@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.
Jons Mostovojs
boosted
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.
- Sourcehut
- https://git.sr.ht/~jonn/
- Mastodon
- https://social.doma.dev/@jonn
- Arm
- Ukraine
- Donate
- https://savelife.in.ua
Admin
That https://doma.dev guy
#lean #rust #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.
Joined Nov 2020
