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
@richlv vari iedomaaties?! Iespeejams, es vienmeer dziivoju ghetto :D
Jons Mostovojs
boosted
@jonn Tas nav joks? :)
Te isolated_dwelling:
https://overpass-turbo.eu/s/1NaF
addr:housename ir pārāk daudz, tie gan daļēji pārklājās arī ar isolated_dwelling.
@richlv es pirmo reizi dzivē redzēju māju ar mājvāru Horvatijā! Latvijā nekad neredzēju!
Jons Mostovojs
boosted
I'm happy to announce that I have a new paper to appear at ICFP 2024:
https://github.com/AndrasKovacs/staged/blob/main/icfp24paper/README.md
@richlv paga, mums ir mājvārdi? Es nekad tos neredzēju pat laukos!
Korean War, forgotten no longer.
https://www.youtube.com/watch?v=-8tRu7kcNgc
Indy and others are such heroes.
While I do appreciate the fact that football hooligans are human trash, I don't quite understand what's the problem with the ten german bombers chant.
There were, indeed, ten german bombers in the air and after RAF from England indeed shot one down (with the help of Polish, Indian and French pilots) there indeed were nine german bombers in the air.
https://github.com/manpages/turing-php/blob/master/Algorithms/Base.php
I was a weird kid
but also stupid 😢
Jons Mostovojs
boosted
I've been looking a bit into Penrose (https://penrose.cs.cmu.edu/). It's so lovely!
If we want to get past the level of something like GraphViz (which I also like btw), we certainly need the exploration Penrose is providing.
In hindsight, the idea of adding a (malleable) type system on top of diagramming is the right one I think. And so is the idea of using a constraint solver for figuring out what the diagram should look like.
So much nice stuff stems from this. If you fix the domain, you can cook up other diagrams in the same style, or you can restyle several diagrams from the same domain.
@alanferrier imagine the BBC guy not learning "aneyong-aseyo" :D
Hi, @Phophos! I wonder if it's possible to buy some Tiny Library decks from you!
@calispera could be negative automatic thoughts! Try and see, not gonna be an irrecoverable catastrophy if so.
Jons Mostovojs
boosted
tech news-
- 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
