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
@GrundislavGames honestly. This looks so good. Reminds me of Kathy Rain.
@GrundislavGames pacifist run being feasible, please!
Jons Mostovojs
boosted
Did you know I'm making a point & click adventure set in an alternate history steampunk-ish old west?
Well, I am!
QT: https://mastodon.nzoss.nz/@strypey/110384505356947064
When you are heartbroken by your child's dopamine adiction, remember! You need to feel solidarity with big tech engineers who implemented exploitative attention grabbing facilities.
Because "hierarchy".
Fuck's sake, sometimes being left-leaning is embarrassing.
@normis@toot.lv nedaudz izskatās pēc rajonu pie Petersalas ielas. (In a good way).
@strypey read up on gas chambers. Do you think they just appeared out of thin air or were some sort of military grade machine? Nope. They were develop by civilian medical doctors and engineered by civilian engineers[1]. Legally, of course.
So yeah, they absolutely should've been retroactively criminalised but wasn't. Probably because the allies were involved in the supply chain or because of the logic you apply.
[1]: https://www.referenceforbusiness.com/history2/25/Siemens-A-G.html
Jons Mostovojs
boosted
Testing, Testing, is this thing on? 🎙️
Jons Mostovojs
boosted
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.
@EugeneMcParland EU firms in russia •already• are funding russian war effort by paying taxes! So it would be better if they were additionally raked because then •finally• dealing with russia and russian business people will not just be frowned upon, but also illegal in Europe!
Jons Mostovojs
boosted
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
Jons Mostovojs
boosted
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.
@strypey FTR, you were invoking Godwin's law by using "they're just obeying orders" excuse from Nurnberg, so I would say that it's a Godwin on *your* second post.
@strypey @nafnlaus @PavelASamsonov dopamine loops are literally destroying lives though, so
@strypey @nafnlaus @PavelASamsonov i mean, russian propagandists do amazing job, so did germans who were making gas chambers.
That's a new one: a proponent of data preservation who's against #LLM and generative models 🤔
@ianrosewrites "there's no creativity, there's just someone else's work."
It's funny that you using analogy to preach is basically a fancy autocorrect.
Jons Mostovojs
boosted
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?
Jons Mostovojs
boosted
- 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
