News for hackers. Stuff that matters.

A comment on Remembering Bell Labs as legendary idea factory prepares to leave N.J. home. Parent comment

Re:Remembering Bell Labs as legendary idea factory prepares ... by nextos on Sunday January 21, 2024 @07:31PM (#39084608)
It's more like the predecessor to Dafny, which is still research-oriented.
[ Parent | on HN ]

There are no comments on this comment yet.