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 esafak on Sunday January 21, 2024 @04:25PM (#39083229)
Isn't that replacement called F#?
[ Parent | on HN ]
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 ]
Re:Remembering Bell Labs as legendary idea factory prepares ... by DaiPlusPlus on Sunday January 21, 2024 @04:30PM (#39083272)
No.
[ Parent | on HN ]