Viewing profile — abelaer

I see you have a pretty large team, but I can't find a product you sell. How is PlantingSpace funded?

(OP here) That's a good point---these mereologies tend to grow very fast with system size. Exponential is not even so bad. There is the 'redundancy' mereology for example, which sc…

Author of the post here: There is quite a deep connection actually. You can assign a simplicial complex to a partial order P with a max and a min element (0 and 1). Then the Möbius…

The Möbius function actually appears quite often in statistics/probability theory. I wrote more about this in the paper ( https://arxiv.org/pdf/2404.14423 ), but in short: if you i…

The pairwise description you list correspond to a different link, namely, one where each pair is actually connected. For the shown rings, the 'correct' description would be: A is n…

Haha sorry to disappoint you. Now I want to do the mereology of meteorology though...

That's right! This is secretly about doing calculus on posets. You can actually generalise some notions from incidence algebras to other settings, like groupoids and categories, wh…

I've done exactly this, and set up a cron job to sync regularly. Still very sub-optimal imo.

I have been writing my PhD thesis in VSCode with copilot enabled, and it it absurdly good at suggestions in Latex, from generating tables to writing whole paragraphs of text in the…

If you’re talking about string diagrams, then these are actually just 2D notation for very precise category theory. Manipulating the diagrams is equivalent to proving things in the…

I live and grew up around the Nieuwmarkt, and completely disagree with this take. Sure, it is expensive, and sure, there are quite some tourists, but it is extremely liveable and n…

If you want to draw the graph where nodes are words from your comment, and two nodes are connected when they contain the same letters, you would have to draw edges between and and …

Another very happy user here. Was super easy to add to my Jekyll site hosted on GH pages. I believe the creator is active here as well btw.

I think the problem here is indeed in how personal his experience is. I don't know where he was born, but presumably not in Berlin/München/Hamburg/Köln. Sure, then moving to study …

Wait what, why do you mention these justices? Surely SC justices must study in the US to learn US law? Why would any of them study in another country in the first place? I would al…

I definitely agree on small German villages having more of a tall poppy syndrome, but I wonder if it's fair to leave out Berlin (and I guess München, Hamburg and perhaps Köln) in t…

Haha I mean sure, I'm not saying German unis are the best at all, and there are plenty of reasons to go to other countries, especially if you're German. It's just pretty absurd to …

I find his statements on German culture a bit weird tbh. Especially his claim that Germany does not have good universities. Sure, oxbridge ranks higher for students, but for resear…

For the curious: I've written a basic space colonisation algorithm to simulate leaf venation patterns in a browser here: https://openprocessing.org/sketch/1211361 (note: I wrote th…