3 ms·
Wow, a "computer scientist with a background in the formal specification of programming languages" thinks that the SEC should be "using a formally-specified pur
by praeclarum 16y ago
Wow, a "computer scientist with a background in the formal specification of programming languages" thinks that the SEC should be "using a formally-specified pure functional programming language".
Yes, and when I worked at GM, I thought everyone should buy GM cars. Go figure.