News for hackers. Stuff that matters.

A comment on Guido van Rossum joins Microsoft. Parent comment

Re:Guido van Rossum joins Microsoft by vmchale on Thursday November 12, 2020 @12:39PM (#25072330)
We still have Idris and ATS.
[ Parent | on HN ]
Re:Guido van Rossum joins Microsoft by ampdepolymerase on Thursday November 12, 2020 @12:46PM (#25072422)
Considering that half of all prominent functional PL researchers are hired by Microsoft Research I won't be too confident about that.
[ Parent | on HN ]