Viewing profile — gsbcbdjfncnjd

Counterpoint: make is good actually, you should learn it (like all such tools).

F* also uses SAT/SMT, specifically Z3.

Yes. This is a dead giveaway that the author is not a native English speaker. And overall it gives the project a mid vibe.

Give it a rest.

That’s a false dichotomy. I’ve never felt the need to do the DS&A grind for one of these roles and I would never dream of writing the ungodly inefficient code you just imputed to m…

Yea, I said ‘respectable’.

Any respectable employer/employee relationship transacts on results rather than time anyway. Not sure the analogy is very applicable in that light.

I betcha it wasn’t perfectly through word choice alone as I can think of a few “tricks” that could be deployed undetectably.

Since when is the firee’s future employment prospects any business of the company doing the firing?

But good college math departments teach reverse Polish notation; i.e., Hewlett-Packard over Texas Instruments. It’s demonstrably more advanced / efficient.

Clojure has all those other braces also. They’re just used for data structure literals rather than blocks of code.

With a 50% fail rate, I think the standard course load does a very good job of that anyway.

Actually I think you want to use Nix for the whole shebang, system & projects.