There Is(Ǝ) – Such That (∋)

as a math major i had the same confusion; for such that i use "s.t.". but apparently peano used ∋ to mean such that:

https://math.stackexchange.com/questions/15455/backwards-eps...

Interesting, my experience in classes using set theory was the opposite, where ∋ only meant “such that” and ∈ only meant “is a member of”.

Learning programming syntax at the same time made it frustrating to learn that math symbols were less strictly defined and less universal, that it was best to write proofs/derivations/etc in plain English in many cases instead of the neat symbols

Same. I recalled pipe being used for "such that". But [per wikipedia](https://en.wikipedia.org/wiki/Glossary_of_mathematical_symbo...), that's specifically "set-builder notation", and the _last one_ of the twelve instances of the string "such that" on the page (though I don't know if they're ordered by usage, "alphabetically", or what).

It also doesn't make much sense

> There exists a raven such that the vector of hours.

The vector of hours what?

This isn't quite what's going on. A better reading might be "which is a";

"Ǝx s.t. x∈ℕ" (there exists an x such that x is in the naturals) is just being shortened to "Ǝx∋ℕ" (there exists an x in the naturals), or there exists an x which is in the naturals.

It's not really that different from the normal usage.

the structure and cadence feels very organic to me - it might not be generated.

Pangram says human-written. It does have some stylistic quirks often associated with LLMs, but those aren't a reliable indicator.

This just reads way to creative. At least no spidey sense triggered for me.

Whichever field of study these backwards E symbols are from, I've never taken a course in it.

So for me it's "Backwards E a raven Italics Backwards E the vector of hours" and I closed the tab there.

After reading this comment the symbols are now clear but by that point I'd already lost interest and moved on with my life.

Maybe this is only for people who already know set theory or whatever the backwards E comes from, and that's fine, I guess, but it was pretty annoying not to have any explanation whatsoever at the top.

I only learned that this is something to do with clocks from the comments.

I think you've got it. You go in each day and work on things and talk with people working on things. There are multiple opportunities to share weekly, one or two are pretty regular and the rest are self-organized. Maybe you learn about something new and dive in, maybe you come up with a project and share it with others.

I think the beating heart is that everyone is there with some passion to learn and build and you're encouraged to do so collaboratively. It's surprising, I feel, how rare it is to have a community of folks who are all learning together and not afraid to dive in and figure things out. Recurse Center is a chance to spend 6 or 12 weeks building and then living in a place like that.

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.

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.

Do the concepts of meetups or hackathons make sense for you? Take that concept and stretch it out to a few weeks.

I've seen such explorations done over a couple of days during weekend hackathons or gamejams.

Have we gotten so addicted to our daily token fix that we can't even fathom focusing for 48h?

I don't either, maybe my mathematical maturity is not high enough to be able to work at the level of abstraction that can see a connection between ravens and "vector of hours".

I also played around with the canvas and couldn't draw anything, I tried taking the dot product of a "raven" and a "crow", piping it to a "sun", and didn't see anything. I would have expected something since a raven and crow are similarish so should have a non-zero dot product. But for that matter a dot product of a raven and a raven piped to a sun doesn't show anything either so I'm just completely lost.