gsbcbdjfncnjd

5 ms·

1.
by gsbcbdjfncnjd 2y ago
Counterpoint: make is good actually, you should learn it (like all such tools).
2.
by gsbcbdjfncnjd 2y ago
F* also uses SAT/SMT, specifically Z3.
3.
by gsbcbdjfncnjd 2y ago
Yes. This is a dead giveaway that the author is not a native English speaker. And overall it gives the project a mid vibe.
4.
by gsbcbdjfncnjd 2y ago
Give it a rest.
5.
by gsbcbdjfncnjd 2y ago
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 my peer group.
6.
by gsbcbdjfncnjd 2y ago
Yea, I said ‘respectable’.
7.
by gsbcbdjfncnjd 2y ago
Any respectable employer/employee relationship transacts on results rather than time anyway. Not sure the analogy is very applicable in that light.
8.
by gsbcbdjfncnjd 2y ago
I betcha it wasn’t perfectly through word choice alone as I can think of a few “tricks” that could be deployed undetectably.
9.
by gsbcbdjfncnjd 2y ago
Since when is the firee’s future employment prospects any business of the company doing the firing?
10.
by gsbcbdjfncnjd 2y ago
But good college math departments teach reverse Polish notation; i.e., Hewlett-Packard over Texas Instruments. It’s demonstrably more advanced / efficient.
11.
by gsbcbdjfncnjd 2y ago
Clojure has all those other braces also. They’re just used for data structure literals rather than blocks of code.
12.
by gsbcbdjfncnjd 2y ago
With a 50% fail rate, I think the standard course load does a very good job of that anyway.
13.
by gsbcbdjfncnjd 2y ago
Actually I think you want to use Nix for the whole shebang, system & projects.