Jons Mostovojs @jonn@social.doma.dev

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

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

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.

youtube is A/B testing login-walling videos. a *huge* step towards internet lockdown, and they appear to be blocking accounts using their cookies for downloaders.

https://github.com/imputnet/cobalt/issues/551

this is. not good.

How on earth did @alex_albon do that?! 🤯

A simply incredible double overtake from the Williams driver 🍿

#F1 #CanadianGP

Original tweet: https://twitter.com/F1/status/1799947584460501293 10 Jun 2024 01:32 CEST

#TiananmenSquare #TankMan

4 June 1989