News for hackers. Stuff that matters.

A comment on Formally Verifying PBS Kids with Lean4. Parent comment

Re:Formally Verifying PBS Kids with Lean4 by tbrownaw on Sunday February 08, 2026 @05:30PM (#46939221)
> we don't have any kids shows with an AI theme today

There plenty where the toys are alive, or one of the characters is a robot or a computer.

[ Parent | on HN ]

There are no comments on this comment yet.