Earlier quoted context omitted.
This is somewhat unusual: 28% on the Tomatometer, but 7 out of 10 on IMDb. Beyond its relevancy to the parent comment, would you consider it a good movie yourself? (for a random/average HN commenter to watch)
If you like Matrix, Memento, Truman Show, Black Mirror (San Junipero, Bandersnatch), Inception, Interstellar, 12 Monkeys etc. you may also like it. These are not necessarily thematically aligned but based on vibes they cluster near it for me. I definitely enjoyed it many years ago as a younger person.
Re: ProofOfThought: LLM-based reasoning using Z3 theorem proving
#181Nice, thanks :)