Show more

I've been looking a bit into Penrose (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.

Hi, @Phophos! I wonder if it's possible to buy some Tiny Library decks from you!

tech news- 

How on earth did @alex_albon do that?! 🤯

A simply incredible double overtake from the Williams driver 🍿

#F1 #CanadianGP

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

Another reason not to use . You can't spell it without "marx".

Went 3-8 in the first round of open tournament against possibly the best player in the world. It's 3 points more I thought I'd get.

GGs.

Team TBD, one of the top-performing teams (with a very laid-back attitude) would love to welcome Rusters from to join the effort in kicking ass this year.

This year, the contest is held from Friday 28 June 2024 at 12:00 UTC to Monday 1 July 2024 at 12:00 UTC.

Show more
Doma Social

Mastodon server of https://doma.dev.