News for hackers. Stuff that matters.
Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by c-hendricks on Saturday October 04, 2025 @10:01PM (#45478314)
It didn't do well critically, but audience scores on many platforms are 60-70%. It came hot on the heels of The Matrix, has similar themes, but nowhere near as ... everything compared to Matrix. I'd bet the only reason it did so poorly critically is due to the timing of the release.

It's a fine movie though.

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by Barbing on Saturday October 11, 2025 @05:15PM (#45552773)
Thank you :)