Live data from Hacker News

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com

181–182 of 182 posts

Re: ProofOfThought: LLM-based reasoning using Z3 theorem proving

#181
post #99

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.

Nice, thanks :)

Re: ProofOfThought: LLM-based reasoning using Z3 theorem proving

#182
post #154
post #99

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)

Three movies with overlapping themes came out in mid-1999: The Matrix, The Thirteenth Floor, and eXistenZ (probably in that order of box office revenue).

Ah interesting thanks!
Post reply on HN