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 #elixir #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
💡 If you're interested in Proof Assistants, I do recommend reading these slides by P.-M. Pédrot concerning design choices in proof assistants, more specifically those based on Dependent Type Theory, More specifically Rocq/Coq. And not only for the punchline in the titles, but also because it explains knowledge that is often non-written.
Un vienu tūtiņu krievu valodā.
Ваш "черньій кофе" нам не нужен!
У нас есть свой, не хуже, из тех же времен.
Уходите к себе домой со своей культурой и со своим империализмом.
Jons Mostovojs
boosted
Nepopulārs viedoklis (no cilvēka, kurš raksta ar kļūdām).
#Deokupācija joprojam nav pabeigta. Tas notiks tikai tad, kad tie #krievi un tie latvieši, kuri uzskata sevi par krieviem, vairs *patstāvīgi* nedzīvos mūsu valstī.
Es ceru, ka pēc krievijas sabrukuma, viņi paši izvēlēsies aizbraukt uz kaut kādu no Pleskavas nacionālo republiku.
Šis sabrukums ir iespējams tikai tad, ja mūsu tautai "visās pasaules malās" būs vēlme aizsargāt Latviju tā, kā katrs no mums prot. Bet kaut ko jādara katru dienu, un šodien palīdzēt Ukrainai uzvarēt karu ir visefektīvākais veids, kā to darīt.
Imagine being a leftie on #Twitter.
I no longer associate myself with the left, but being on that fascist, perverse social network appalls me.
Even the new logo is Orwellian.
Jons Mostovojs
boosted
“Can I help you?”
“Please communicate my desire to open a dialogue with the ownership of this establishment regarding the possible procurement of gainful employment as promulgated by the advertisement affixed to the portal.”
“So, you’re here about the job?”
“Most indubitably.”
I want to make a #LinuxMagazine, but without stuff about #Fedora, #RHL, etc. #Nix and #FP-centric perhaps?
And certainly not monthly because I have a ton of other engagements. Let's write together?
Oy, @linuxmagazine, I don't know if this piece[1] mentions that #Lemmy is implemented by #stalinist developers, but it's worth mentioning.
Would love to buy this issue, but I think it would be too triggering to have this on my magazine shelf.
[1]: https://www.linux-magazine.com/Issues/2023/275/A-Federated-Reddit-Alternative
https://www.linux-magazine.com/Issues/2024/278/Teaming-NICs the best article from @linuxmagazine issue 278 is free to read on their website!
"When are #Kubernetes and #Containers are NOT a Sensible Solution" by @adminmagazine
Latviešiem patīk #foregroundisbackground koncepts!
Jons Mostovojs
boosted
Shooting in moscow?
That probably means:
a) putin wants to intensify Ukraine war (blame Ukraine)
b) putin wants to start a new war (blame Baltics, Moldowa, Georgia, ..)
c) putin wants to stop any mass gatherings (blame opposition)
d) ..
Probably the same as the bombings by putin / the FSB in 1999:
there, putin wanted to win an election which still was one ..
https://en.wikipedia.org/wiki/1999_Russian_apartment_bombings
Peskov now speaks of "war", not military operation, so it's probably a).
Jons Mostovojs
boosted
Benefit of working in my own self-funded startup #68
We have timeout messages hardcoded in the system to 3 minutes.
I was too lazy to change the messages....
So I just changed the planet.
Ok Google, provide me a dictionary definition of "forcing a meme".
Jons Mostovojs
boosted
Hold my priority.
- 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 #elixir #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
