News for hackers. Stuff that matters.
Re:Logipedia – Encyclopedia of Formal Proofs by agentultra on Monday March 18, 2019 @10:20AM (#19421192)
I think a large part of it may be that people are still inventing the languages and we haven't seen enough industry adoption to settle down on a handful of good ones.

We're still in the Cambrian explosion of new ideas and languages.

The best way to get to the future you want is to keep using them and convincing others to join you!

There are no comments on this comment yet.