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
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.
https://www.youtube.com/watch?v=earjqfXGYzw
@alesgenova learning a bit from this video. Can't wait to apply in practice!
QT: https://mastodon.online/@nomeata/110033384156453662
Something to consider for #lean!
Jons Mostovojs
boosted
The UK is not ready for the next global pandemic because public services are being dismantled and key research is being defunded, experts have claimed.
More than three years after the global outbreak of coronavirus, top scientists have warned that the UK is no better prepared for a pandemic than it was in 2020.
#Pandemic #NHS #UKPolitics #Healthcare
https://www.independent.co.uk/news/health/pandemic-warning-uk-covid-scientist-b2320912.html
Jons Mostovojs
boosted
85 years ago.
In April 1938, Guy Callendar published his seminal paper showing that Earth’s land areas had warmed over the previous 50 years.
He also suggested that man-made CO₂ emissions had caused around half of the observed warming.
85 years ago.
https://rmets.onlinelibrary.wiley.com/doi/abs/10.1002/qj.49706427503
QT: https://social.doma.dev/@jonn/110210907237094689
My favorite evergreen issue of #LinuxMagazine is actually pretty recent. It's issue #267, which is called "Backups".
Amazing survey of tools I knew of but didn't know how to use and tools that I didn't even know existed like https://syncthing.net/.
Going beyond #rsync in backups sure feels great. Grab your own digital copy here: https://www.sparkhaus-shop.com/uk/catalog/product/view/id/3075/s/di10267/
@google has to be sued for failing to deliver E-Mail of legitimate businesses.
Just now I had to manually mark "not spam" emails from "Sparkhaus Media GmbH", the European company that prints @linuxmagazine and @adminmagazine. Just because they host their own SMTP server.
Seriously, fuck that cartel bullshit. I have no idea where is @EU_Commission looking...
If #kubernetes is so good, why is there so many people struggling to learn it? (Just kidding, just jaded that I couldn't buy the issue haha).
- 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
