Pause and rest your eyes for a moment.
Maybe I just wanted to say that #intuitionistic #logic, as the basis for the most advanced PLs, is not the ultimate and perfect logic for that purpose, and also has some drawbacks, even compared to the classical one. Maybe over time e.g. the #linear logic will take it's place. — Wish I were more competent in this matter…
"Eff is a functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O. With handlers, you can simply implement transactions, redirections, backtracking, multi-threading, and much more…"
And so their employees naturally don't take any pride in their work, because their employer won't give them a raise for doing a better job because their employer doesn't WANT them to do a better job, because then they wouldn't be interchangeable any more.
Well, there indeed is a full solution (bummer) for 2.8, but I wouldn't find it myself any time soon — had to search for it explicitly (not just the problem description, but mention the game itself), and moreover watch a video… I'm stupid, I know. Yet, I still have to figure out the proof. Embarrassed.
boost to pet
| _ _ l
/ ヽ ﾉ
│ | | |
／￣| | | |
patheticism Show more
On the other hand, it all is obviously linked to (all the) stress. The weight (kg) to height (cm) ratio of slightly above 0.3 is another witness.
But then again, this is not an easy issue to solve. — Stress does not build up for no reason, after all…
And here we return to the CW caption.
P.S. Sorry for polluting the timeline with irrelevant/useless information.
Electroconvulsive therapy (#ECT)
Isn't entertainment a (less invasive) form of that kind of treatment?
patheticism Show more
The reason why I ponder and write about time management so much is not because I am good at it: rather converse — I'm terrible at it. For an objective reason probably, but nevertheless.
And guess what? All those sophisticated planning techniques make exactly zero sense, if you have sleep disorders.
You can exclude virtually all not strictly necessary activities from your life, in order to free up the time for the important ones, and still advance on your projects as fast as a plant…
Sure there is a vast amount of details to take care of, but if there is enough interest/demand, I guess, it should not be that difficult to implement.
Or maybe is already implemented in some form — meed to do some research.
Where the "linear" blocks are basically a Gantt charts; and (re)factoring of the plan/project into a comprehensible pieces is basically the "work breakdown".
Where the "predicates" are associated with a probability distributions. And the conditionals are used to combine the costs of each branch, together with the chances.
And recursion, a type-system, and all sorts of advanced PL things are present and have a meaningful interpretation in the context of management, and are all useful.
Where the plan/project is described just as a program for a highly parallel computing system, but the execution units are the employees and contractors; and is translated into a detailed estimation of time and costs for each phase.