There Is(Ǝ) – Such That (∋)
19 points by evakhoury 4 days ago | 7 comments
bayesnet 4 minutes ago
I don’t think I have ever seen ∋ used to mean “such that” so I was very confused until I got to the explanation (as it were; why CONTAINS AS MEMBER is being used to mean “such that” is never explained).
replynpinsker 11 minutes ago
For me at least, the post is kinda confusing and feels a bit overwrought (“there exists a raven such that the vector of hours”?), and was hard to understand at first. Sadly, in the wonderful year of 2026, I can’t help wondering if it was all written by an LLM, prompted by “be mysterious” or similar.
replyThe project is cool! It’s a simple visual graph layout system for making your own clock.
PufPufPuf 32 minutes ago
I keep hearing about the "Recurse center". I tried to understand from their website what exactly is it, but only thing I got was "a sabbatical where you work on random stuff and talk with people doing the same" which still doesn't really click. But clearly it leads to cool stuff like this.
replyknuckleheads 15 minutes ago
I attended a decade ago and it was great, lots of people working and exploring a lot of cool stuff! I think what I would quibble with is that yes it is “random” what people work on, but there’s certainly themes and some people have pretty clear directions about what they are up to and want to learn. If you want to focus on That One Open Source Project for a couple months, that’s cool and encouraged.
replykqr 20 minutes ago
Which part of it doesn't click? Attending the Recurse center means you commit to spending a few weeks on spare time programming projects and you get to work on these projects around other people who do the same.
replyDo the concepts of meetups or hackathons make sense for you? Take that concept and stretch it out to a few weeks.
PhilipRoman 31 minutes ago
For a moment I thought this was another case of AI psychosis, like the post from week ago about the "content-addressed lattice heap" but this is actually pretty neat.
replydist-epoch 35 minutes ago
The kind of exploration that would require a massive one-month of full-time investment before LLMs. Now doable in days.
reply(I don't know on which side of this author was)