This is so beautiful. Keep it up, please.
HN user
magical_spell
Yes, there are some parsers around in languages other than elisp. This one seemed to work well when I tried it some time ago: https://github.com/rasendubi/uniorg
What does 'do what thou wilt shall be the whole of the law' mean in your understanding?
Perhaps we are employing a different definition of 'moral claim'?
I take it that a moral claim tells you that something is good/bad, just/unjust, permissible/impermissible, or what should/shouldn't do, etc.
It is not a moral claim. It is a meta-moral claim, that is, a claim about moral claims.
I think I agree that best tooling is not a sufficient condition for success.
But I don't see where the author is committed to such a thesis in the quote you provide.
As far as as I can see, they are not even committed to best tooling being a necessary condition for success.
I can recommend E.J. Lemmon's Beginning Logic as a first book. It also contains an appendix with a list of important logic books and brief description of them. I'm curious to know whether a more recent, equally well-done, list exists.
Could you elaborate on those flows? Sounds useful. Is it vanilla Emacs?
Agreed, but under a charitable interpretation.
Under a less charitable one, RcouF1uZ4gsC was discrediting the message by using the messenger's ``ethos''.
My understanding agrees with namaria's. I'm inclined to think that, in the passage you provide, `imperative' means `pertaining to processes' (where processes are those things described by procedures; or, perhaps better put, the meanings of procedures).
Perhaps that's not the question you should ask. You might want to ask "what is your advice based on?" instead. If you do so, you evaluate the conclusion by focusing on the quality of the argument, not features of the argumentator. You would agree, I suppose, that good medical advice could be given by non-doctors, and bad medical advice by doctors.
Related: E.J. Lemmon, in his book Beginning Logic, lists some important logic books and says that Chapter 0 of Church's Introduction to Mathematical logic ``deserves to be read several times by /all/ philosophers''.
pdf-tools [1] + org-ref [2] in Emacs.
Pdf-tools in Emacs is also great.