magical_spell

6 ms·

1.
by magical_spell 6mo ago
This is so beautiful. Keep it up, please.
2.
by magical_spell 7mo ago
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
3.
by magical_spell 8mo ago
What does 'do what thou wilt shall be the whole of the law' mean in your understanding?
4.
by magical_spell 8mo ago
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
5.
by magical_spell 8mo ago
It is not a moral claim. It is a meta-moral claim, that is, a claim about moral claims.
6.
by magical_spell 10mo ago
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 b
7.
by magical_spell 11mo ago
https://www2.lib.uchicago.edu/keith/emacs/
8.
by magical_spell 1y ago
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 exi
9.
by magical_spell 2y ago
Could you elaborate on those flows? Sounds useful. Is it vanilla Emacs?
10.
by magical_spell 2y ago
Agreed, but under a charitable interpretation. Under a less charitable one, RcouF1uZ4gsC was discrediting the message by using the messenger's ``ethos''.
11.
by magical_spell 2y ago
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 p
12.
by magical_spell 2y ago
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 argument
13.
by magical_spell 2y ago
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''.
14.
by magical_spell 2y ago
pdf-tools [1] + org-ref [2] in Emacs. [1] https://github.com/vedang/pdf-tools [2] https://github.com/jkitchin/org-ref
15.
by magical_spell 3y ago
Pdf-tools in Emacs is also great.