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
@ewolff string-theory-useful!
@quinn @spritelyinst how much did it take you? Or Elixir already had some webassembly implementation? I'm asking because it took me like a month to implement webassembly in #Lean and I'm trying to understand if I should feel bad about it.
Jons Mostovojs
boosted
Ukraine’s biggest enemy is the western belief that it cannot beat putin. Now is the time to rethink that
by Keir Giles
Extract
Until now, western backers have provided Ukraine with enough to survive but not to win. So, the Chatham House report concludes, the time is now to lift restrictions on the weapons systems supplied to Ukraine, and what #Ukraine can do with them, allowing Kyiv to achieve the defeat of russia that is essential for all our safety.
Read it here🔗 https://www.theguardian.com/commentisfree/2023/jun/27/ukraine-west-vladimir-putin-russia-kyiv-volodymyr-zelenskiy
@ianbetteridge he asked, in what is colloquially known as a toot.
Jons Mostovojs
boosted
Shadow Lines, Cyprus DLR
Colour version of this shot. I purposely went out to capture photography of this lovely occurrence at Cyprus Docklands Light Railway station. I really love the dramatic shadows created by the architecture here!
#streetphotography #streetphoto #railway #photography #photographer #london #mastoart #art #underground #londonunderground #potd #tiling #shadows
Jons Mostovojs
boosted
A cryptobro DMed me to ask if I wanted to join his mailing list.
I spent slightly too long making this to send in reply.
I spent slightly too long making this to send in reply.
QT: https://social.doma.dev/@goo/109922182018482441
What we decided to do instead is to define two macros on the side. `defprod` is `defdata` that doesn't generate default constructors. It should be compatible with `defsum` out of the box, but we, for the time being, have the "no-new" counterpart called `defunion`.
Because unions are cool.
This way we don't break existing code, but allow easy to write smart constructors that don't upset #dialyzer.
The code is already live in the #GooLang #Algae fork: https://github.com/doma-engineering/algae-goo
@tylerayoung yes! They even have `tap` function in `Kernel`.
My feeling that the ecosystem around it (most of which is also made by core team) like #Ecto and #Phoenix is the exact opposite off that quote though.
But yeah, a huge fan of most of stdlib (except for Enum).
Jons Mostovojs
boosted
We probably won't have Elixir 2.0 before 2032.
#MyElixirStatus
https://pca.st/episode/61e28659-b00f-4800-b524-e9c8214afa03
#MyElixirStatus
https://pca.st/episode/61e28659-b00f-4800-b524-e9c8214afa03
@hauleth sort of. What sort of contract are you looking for?
My personality type is couner-culture #Elixir developer.
There's so much top-level content on Youtube to learn bleeding edge stuff from and it has like 100 views.
I won't give an example of what made me write this toot, because it's made in the enemy country, but yeah.
We're leaps and bounds away from #MIT #OCW, so much stuff that's even better, and it's a tremendously high bar to set.
I think that **healthy** (mentally & physically) people with access to computers / mobile phones that complain about them not being able to change anything in their lives are, well, wrong.
Jons Mostovojs
boosted
This is the first time ever we've worked on a deadline. And a deadline set by Google 😅
We've met our targets but hoping for a period of calm before the inevitable sunset of GA4. Here's to no more deadlines for a couple of years!
Seems like #CBOR is the pick if you value sanity? 🤔
Jons Mostovojs
boosted
HOW TO SPOT A RIP CURRENT:
IT'S WHERE THE WATER LOOKS EASIEST AND SAFEST, with no waves breaking or rolling in.
NEVER ENTER THE SEA HERE.
If you get caught in a rip, DON'T FIGHT IT. You can't swim back to shore against it; you will become exhausted and drown.
Instead, SWIM ACROSS IT, parallel to shore. You'll soon be out of the current and can then easily swim back.
Boost, please, and make sure your friends and family know this when they hit the beach.
I'm surprised that people seem to discuss the fact that we're on a brink of a nuclear disaster which shall sweep radioactive fallout across many countries of #Europe.
Please remind your reps about Zaporizhye nuclear plant. Thanks.
@randahl yes, we are, since February 27th.
Jons Mostovojs
boosted
Are we on the brink of nuclear catastrophy?
Ukrainian chief of military intelligence warns, Russia has mined both the cooling pond and the power units of the Zaporizhzhia nuclear power plant.
This is the exact moment where it should be made crystal clear to Putin, that such an attack would unleash the full military power of NATO.
@Free_Press your capitalization is wrong. It's lowercase "r".
- 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
