Viewing profile — magical_spell
magical_spell
HN member- Joined
- Tue, Oct 24, 2023, 2:51 PM UTC
- HN karma
- 8
- Public activity
- 15 items
- HN profile
- View on Hacker News ↗
About magical_spell
No profile information was provided.
Recent public activity
-
comment
Comment #47321415
This is so beautiful. Keep it up, please.
-
comment
Comment #47115710
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
-
comment
Comment #46735468
What does 'do what thou wilt shall be the whole of the law' mean in your understanding?
-
comment
Comment #46721962
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…
-
comment
Comment #46719566
It is not a moral claim. It is a meta-moral claim, that is, a claim about moral claims.
-
comment
Comment #45847076
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…
-
comment
Comment #45833285
https://www2.lib.uchicago.edu/keith/emacs/
-
comment
Comment #44108337
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 …
-
comment
Comment #42542310
Could you elaborate on those flows? Sounds useful. Is it vanilla Emacs?
-
comment
Comment #42328569
Agreed, but under a charitable interpretation. Under a less charitable one, RcouF1uZ4gsC was discrediting the message by using the messenger's ``ethos''.
-
comment
Comment #42164156
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 descr…
-
comment
Comment #42146649
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 …
-
comment
Comment #42050819
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 sev…
-
comment
Comment #39778948
pdf-tools [1] + org-ref [2] in Emacs. [1] https://github.com/vedang/pdf-tools [2] https://github.com/jkitchin/org-ref
-
comment
Comment #38000046
Pdf-tools in Emacs is also great.