@jonn I don't disagree, and I have put hundreds of open source repos into the world that don't matter to show for it. But we have limited time on this rock.

Energy put into a proprietary project is guaranteed to be of no long term value to society, but working on a FOSS project at least has a non-zero chance.

**Jons Mostovojs** @jonn@social.doma.dev · Jun 22, 2024, 11:21

**Jons Mostovojs** @jonn@social.doma.dev · Jun 22, 2024, 11:21

Jun 22, 2024, 11:21

Jons Mostovojs @jonn@social.doma.dev

@richlv jaa, bet es katru vasaru dziivoju Latgalee! Savelenkos un Zalesjee. Gan tur, gan tur, maaja bija atseviska, bet ar numuru, nevis ar vaardu 😢 Kaiminiem arii 😢

**Jons Mostovojs** @jonn@social.doma.dev · Jun 22, 2024, 11:19

**Jons Mostovojs** @jonn@social.doma.dev · Jun 22, 2024, 11:19

Jun 22, 2024, 11:19

Jons Mostovojs @jonn@social.doma.dev

Aw, #VSCode remembered #ICFPC2023

523faa5c121329f6.png?1719055181

**Jons Mostovojs** @jonn@social.doma.dev · Jun 22, 2024, 09:46

**Jons Mostovojs** @jonn@social.doma.dev · Jun 22, 2024, 09:46

Jun 22, 2024, 09:46

Jons Mostovojs @jonn@social.doma.dev

@lrvick sad news is that IP that doesn't stay in a box seldom makes the world better even if the product does.

**Jons Mostovojs** · Jun 22, 2024, 02:34

Jons Mostovojs boosted

**Dgar** @dgar@aus.social · Jun 22, 2024, 02:34

Jun 22, 2024, 02:34

Dgar @dgar@aus.social

17741b6ea89f8988.jpeg

**Jons Mostovojs** @jonn@social.doma.dev · Jun 22, 2024, 09:32

**Jons Mostovojs** @jonn@social.doma.dev · Jun 22, 2024, 09:32

Jun 22, 2024, 09:32

Jons Mostovojs @jonn@social.doma.dev

@richlv vari iedomaaties?! Iespeejams, es vienmeer dziivoju ghetto :D

86c390d48b9ce39e.png?1719048699

**Jons Mostovojs** · Jun 21, 2024, 13:14

Jons Mostovojs boosted

**Rihards Olups** @richlv@mastodon.social · Jun 21, 2024, 13:14

Jun 21, 2024, 13:14

Rihards Olups @richlv@mastodon.social

@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.

**Jons Mostovojs** @jonn@social.doma.dev · Jun 21, 2024, 09:07

**Jons Mostovojs** @jonn@social.doma.dev · Jun 21, 2024, 09:07

Jun 21, 2024, 09:07

Jons Mostovojs @jonn@social.doma.dev

@richlv es pirmo reizi dzivē redzēju māju ar mājvāru Horvatijā! Latvijā nekad neredzēju!

**Jons Mostovojs** · Jun 18, 2024, 16:37

Jons Mostovojs boosted

**AndrasKovacs** @AndrasKovacs@types.pl · Jun 18, 2024, 16:37

Jun 18, 2024, 16:37

AndrasKovacs @AndrasKovacs@types.pl

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

**Jons Mostovojs** @jonn@social.doma.dev · Jun 18, 2024, 21:10

**Jons Mostovojs** @jonn@social.doma.dev · Jun 18, 2024, 21:10

Jun 18, 2024, 21:10

Jons Mostovojs @jonn@social.doma.dev

@richlv paga, mums ir mājvārdi? Es nekad tos neredzēju pat laukos!

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 21:48

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 21:48

Jun 17, 2024, 21:48

Jons Mostovojs @jonn@social.doma.dev

Korean War, forgotten no longer.

https://www.youtube.com/watch?v=-8tRu7kcNgc

Indy and others are such heroes.

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 01:55

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 01:55

Jun 17, 2024, 01:55

Jons Mostovojs @jonn@social.doma.dev

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.

#NeverForget

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 00:46

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 00:46

Jun 17, 2024, 00:46

Jons Mostovojs @jonn@social.doma.dev

https://groups.google.com/u/1/g/ats-lang-users/c/z-QbPs7JWgg

Show thread

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 00:43

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 00:43

Jun 17, 2024, 00:43

Jons Mostovojs @jonn@social.doma.dev

Me: I wonder how's #ATS3 development going.

b3e7a502665ea124.png?1718585032

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 00:35

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 00:35

Jun 17, 2024, 00:35

Jons Mostovojs @jonn@social.doma.dev

https://github.com/manpages/turing-php/blob/master/Algorithms/Base.php

I was a weird kid

but also stupid 😢

Show thread

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 00:32

**Jons Mostovojs** @jonn@social.doma.dev · Jun 17, 2024, 00:32

Jun 17, 2024, 00:32

Jons Mostovojs @jonn@social.doma.dev

https://www.youtube.com/watch?v=ieqsL5NkS6I

this is so good

**Jons Mostovojs** · Aug 03, 2023, 11:07

Jons Mostovojs boosted

**Jesper L. Andersen** @jlouis@types.pl · Aug 03, 2023, 11:07

Aug 03, 2023, 11:07

Jesper L. Andersen @jlouis@types.pl

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.