Jons Mostovojs @jonn@social.doma.dev

🧵 In 2020, I nearly died from mysterious industrial chemical exposure at my apartment. Later, in 2023, I discovered my employer was dumping toxic waste into the apartment windows from their Skunkworks semiconductor fab next-door. I tipped off the US EPA, who sent their env cops to raid Apple's plant in Aug of 2023. The US EPA finally released the report of their enforcement inspections & sent me a copy on Friday. 💀 ⬇️

@jonn Tas laikam vairāk ciemos/pilsētās.

Atradu vienu ātru lielāku mājvārdu, lai gan nav tā labākā bilde. Labajā pusē, "Vēži".

https://www.mapillary.com/app/?pKey=756805135468688

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

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