News for hackers. Stuff that matters.

A comment on IBM unveils 127-qubit quantum processor. Parent comment

Re:IBM unveils 127-qubit quantum processor by orbifold on Tuesday November 16, 2021 @07:32PM (#29248088)
Lean4 comes pretty close to a general purpose dependently typed programming language.
[ Parent | on HN ]

There are no comments on this comment yet.