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
Everyone, my good friend is moving out to defend #Bakhmut shortly and they urgently need to buy drones.
They are skilled and have battle expertise, but they don't have enough hardware.
Please-please-please, help with any amount you can.
Eyes in the skies help save lives!
=== PAYPAL ===
Paypal: glebssakiev@gmail.com
==== BANK ===
Currency: USD
IBAN: UA823220010000026207303041597
Currency: EUR
IBAN: UA343220010000026205303017891
Receiver: BEREZOVSKYI HLIB, 01001, Ukraine, c. Kyiv, st. Yelyzavety Chavdar, build. 34, fl. 496
Bank: JSC UNIVERSAL BANK
City: KYIV, UKRAINE
Swift code: UNJSUAUKXXX
=== SEND FROM #UKRAINE ===
https://send.monobank.ua/jar/7qTdYvKYSH
Monobank: 5375414122610479
Privatbank: 4149499373472214
Jons Mostovojs
boosted
Happy 4/20 and Rust version 1.69 release! 🎉 🎉 🎉
QT: https://social.doma.dev/@jonn/110232050506630474
Please boost this toot. Drones in the current infrantry warfare are disposable and also *extremely* important.
We have a good supply network for this brigade, so we'll be able to send stuff directly to the frontline very and very swiftly.
But we need urgency, because the guys are already getting shipped to #Bakhmut and the previous stock of drones some of you may have contributed is not going to last them much more than a week.
BOOST TO SAVE LIVES!
Everyone, my good friend is moving out to defend #Bakhmut shortly and they urgently need to buy drones.
They are skilled and have battle expertise, but they don't have enough hardware.
Please-please-please, help with any amount you can.
Eyes in the skies help save lives!
=== PAYPAL ===
Paypal: glebssakiev@gmail.com
==== BANK ===
Currency: USD
IBAN: UA823220010000026207303041597
Currency: EUR
IBAN: UA343220010000026205303017891
Receiver: BEREZOVSKYI HLIB, 01001, Ukraine, c. Kyiv, st. Yelyzavety Chavdar, build. 34, fl. 496
Bank: JSC UNIVERSAL BANK
City: KYIV, UKRAINE
Swift code: UNJSUAUKXXX
=== SEND FROM #UKRAINE ===
https://send.monobank.ua/jar/7qTdYvKYSH
Monobank: 5375414122610479
Privatbank: 4149499373472214
Jons Mostovojs
boosted
Today on Between Two Cairns, @bradkerr and I review Sepulchre of Dusk by Cutter Mountain Simulations, and answer A LOT of mailbag questions.
@savvycal is not on #mastodon yet, but please consider using it for your scheduling. It's basically @calendly on steroids.
Jons Mostovojs
boosted
I am 90 years old. Is this enough #introduction?
Jons Mostovojs
boosted
I think I want to build an alternative to pg_regress for my testing needs.
* structured input/output: perhaps, YAML (may have found a good use case for it at last?)
* optional testing for binary encoding
* output value re-use (through YAML anchoring?)
* parameterized test instantiation
Jons Mostovojs
boosted
New blog post by the #Erlang team: "More Optimizations in the Compiler and JIT" (in OTP 26)
https://www.erlang.org/blog/more-optimizations/
Jons Mostovojs
boosted
How to find domain boundaries? What are the best heuristics for finding subdomains?
1. Align with process/journey steps
2. Centralize common concepts
3. Establish semantic boundaries (the inverse of 2)
4. Subdomain roles
For deeper explanations, examples, and more heuristics, check out my book Architecture Modernization (https://www.manning.com/books/architecture-modernization).
"The Stainless Steel Sings Blues" is a book that absolutely dismantles petersonian redpill bullshit (and also has a Jar-Jar Binks). Before peterson could count 2+2=5, no less.
I was reading good stuff as a kid.
"There is no such thing as gravity wave"
H. Harrison was wrong! Very cute to find such occurrences in sci-fi. More on that: https://science.mit.edu/big-stories/detecting-gravitational-waves/
Let alone the fact that we, regular people, help those who lost homes due to war just as we would hope people would help us. So it's absolutely safe to come to the West as a refugee, no matter the age. But I gave up on explaining this to russians.
https://meduza.io/feature/2023/04/17/zdes-ya-hotya-by-znayu-chego-boyatsya
They don't understand that in the Western countries there is a way to actually get refugee support. So strange. A nation of slav•s.
Jons Mostovojs
boosted
The final prerelease of Functional Programming in Lean is out! If you have time, I'd really appreciate any feedback you can provide on the final chapter before my deadline at the end of the month. But even more, I hope that you find it valuable and enjoyable :-)
https://leanprover.github.io/functional_programming_in_lean/
Reading #TeamOfTeams, has a chunky reference to #DDD and mentions @ntcoding and his book.
It still feels quite surreal to have found about DDD while looking up my own hunch that building software is a complex, adaptive sociotechnical system building another complex, adaptive sociotechnical system.
I'm glad that this is a developed school of thought already.
Jons Mostovojs
boosted
I had a dig around in the 2.67TB of training data released by the RedPajama project (without actually downloading more than a few hundred MBs of it) - here's what I've found out so far
https://simonwillison.net/2023/Apr/17/redpajama-data/
https://youtube.com/clip/UgkxJsLizcOyR1mjms6anZrKxqUYfMlkctFD
This clip hits really close to home. That's how I retired from #SRMKenya.
- 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
