Reads a bit like the "Little Alchemy 2" game!
There Is(Ǝ) – Such That (∋)
11–20 of 34 posts
Re: There Is(Ǝ) – Such That (∋)
#12Although the notation choice is tediously abstract (imo) the set of available scalars (and vector components) here is actually a relabeling of Q[e^i], the smallest field containing the rationals and e^i.
It was a fun three minute proof, if any of you are like me in enjoying this kind of thing.
Re: There Is(Ǝ) – Such That (∋)
#13For a moment I thought this was a nature-inspired introduction to Quantum Computation and Quantum Information[1]
[1]: https://en.wikipedia.org/wiki/Quantum_Computation_and_Quantu...
Re: There Is(Ǝ) – Such That (∋)
#14For 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 myself wondering if it was all written by an LLM, prompted by “be mysterious” or similar — though I still wouldn’t bet on it. The project is cool! It’s a simple visual graph layout system for making you…
the structure and cadence feels very organic to me - it might not be generated.
Re: There Is(Ǝ) – Such That (∋)
#15The kind of exploration that would require a massive one-month of full-time investment before LLMs. Now doable in days. (I don't know on which side of this author was)
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?
Re: There Is(Ǝ) – Such That (∋)
#16For 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 myself wondering if it was all written by an LLM, prompted by “be mysterious” or similar — though I still wouldn’t bet on it. The project is cool! It’s a simple visual graph layout system for making you…
This just reads way to creative. At least no spidey sense triggered for me.
Re: There Is(Ǝ) – Such That (∋)
#17I 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).
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...
Re: There Is(Ǝ) – Such That (∋)
#18i had flash backs to failed discrete mathematics being unable to read symbols correctly
thanks
Re: There Is(Ǝ) – Such That (∋)
#19I 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).
It also doesn't make much sense
> There exists a raven such that the vector of hours.
The vector of hours what?
Re: There Is(Ǝ) – Such That (∋)
#20I 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).
It also doesn't make much sense > There exists a raven such that the vector of hours. The vector of hours what?
The correct statement seems to be: raven = vector of hour hand
But maybe that sounded too simple?