HackerTrans
トップ新着トレンドコメント過去質問紹介求人

magical_spell

no profile record

コメント

magical_spell
·4 か月前·議論
This is so beautiful. Keep it up, please.
magical_spell
·5 か月前·議論
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
magical_spell
·6 か月前·議論
What does 'do what thou wilt shall be the whole of the law' mean in your understanding?
magical_spell
·6 か月前·議論
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.
magical_spell
·6 か月前·議論
It is not a moral claim. It is a meta-moral claim, that is, a claim about moral claims.
magical_spell
·8 か月前·議論
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.
magical_spell
·8 か月前·議論
https://www2.lib.uchicago.edu/keith/emacs/
magical_spell
·昨年·議論
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.
magical_spell
·2 年前·議論
Could you elaborate on those flows? Sounds useful. Is it vanilla Emacs?
magical_spell
·2 年前·議論
Agreed, but under a charitable interpretation.

Under a less charitable one, RcouF1uZ4gsC was discrediting the message by using the messenger's ``ethos''.
magical_spell
·2 年前·議論
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).
magical_spell
·2 年前·議論
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.
magical_spell
·2 年前·議論
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''.
magical_spell
·2 年前·議論
pdf-tools [1] + org-ref [2] in Emacs.

[1] https://github.com/vedang/pdf-tools

[2] https://github.com/jkitchin/org-ref
magical_spell
·3 年前·議論
Pdf-tools in Emacs is also great.