Live data from Hacker News

Viewing profile — magical_spell

magical_spell

HN member
Joined
Tue, Oct 24, 2023, 2:51 PM UTC
HN karma
8
Public activity
15 items

About magical_spell

No profile information was provided.

Recent public activity

  1. comment
    Comment #47321415

    This is so beautiful. Keep it up, please.

  2. 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

  3. comment
    Comment #46735468

    What does 'do what thou wilt shall be the whole of the law' mean in your understanding?

  4. 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…

  5. comment
    Comment #46719566

    It is not a moral claim. It is a meta-moral claim, that is, a claim about moral claims.

  6. 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…

  7. comment
    Comment #45833285

    https://www2.lib.uchicago.edu/keith/emacs/

  8. 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 …

  9. comment
    Comment #42542310

    Could you elaborate on those flows? Sounds useful. Is it vanilla Emacs?

  10. 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''.

  11. 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…

  12. 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 …

  13. 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…

  14. 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

  15. comment
    Comment #38000046

    Pdf-tools in Emacs is also great.