Do the concepts of meetups or hackathons make sense for you? Take that concept and stretch it out to a few weeks.
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.
The project is cool! It’s a simple visual graph layout system for making your own clock.
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.
https://math.stackexchange.com/questions/15455/backwards-eps...
> There exists a raven such that the vector of hours.
The vector of hours what?
But maybe that sounded too simple?
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
The thing I bounced off isn't the high-concept art, or the abstract math. It’s the combination of the two without enough bridge between them. You have to infer too much about how the poetic layer, the mathematical notation, and the actual machinery relate.
You can do mind-expansion by induction in a math journal. This is not that venue. And this project is too good to waste by letting people walk away confused.
I’d love a very plain “one clock, end to end” walkthrough: primitives, composition, graph, rendered result.
It was a fun three minute proof, if any of you are like me in enjoying this kind of thing.
[1]: https://en.wikipedia.org/wiki/Quantum_Computation_and_Quantu...
thanks
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.
Not a huge fan of quantifier symbols in published notation. For example I use backwards E all over the place in my notes, but in everything I typeset I say “there exists”. Mathematics is supposed to be written in complete sentences anyway so you are going to have some words, so this doesn’t seem a particularly useful two words to turn into a symbol.
"Ǝ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.
Yeah, that's...an unusual choice.
"There is an x such that the set of natural numbers is a member of x"?
dist-epoch•4d ago
(I don't know on which side of this author was)
lloeki•3d ago
Have we gotten so addicted to our daily token fix that we can't even fathom focusing for 48h?
brookst•3d ago