FRESH

Hacker News

There Is(Ǝ) – Such That (∋)

103 points by evakhoury

by bayesnet

5 subcomments

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).

by mnemonicsloth

0 subcomment

I love this: a DSL that makes clocks out of birds and math. Really, this is a glorious little project.
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.

by npinsker

4 subcomments

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 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 your own clock.

by PufPufPuf

3 subcomments

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.

by mparramon

0 subcomment

For 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...

by OgsyedIE

0 subcomment

Although 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.

by thunderbong

0 subcomment

Reads a bit like the "Little Alchemy 2" game!
https://www.crazygames.com/game/little-alchemy-2

by IanCal

0 subcomment

I’m a little lost though this seems like it could be fun, on safari mobile whatever I build keeps losing some of the connections as I tap on other things so it’s hard to get far with it.

by PhilipRoman

0 subcomment

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.

by dist-epoch

1 subcomments

The 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)

by otikik

1 subcomments

by cyanydeez

0 subcomment

i had flash backs to failed discrete mathematics being unable to read symbols correctly
thanks