HNHacker News
TopNewBestAskShowJobs

magical_spell

8 karma · joined October 24, 2023

submissionscomments
magical_spell··on Emacs internals: Deconstructing Lisp_Object in C (Part 2)
This is so beautiful. Keep it up, please.
magical_spell··on Hello Worg, the Org-Mode Community
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··on Claude's new constitution
What does 'do what thou wilt shall be the whole of the law' mean in your understanding?
magical_spell··on Claude's new constitution
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··on Claude's new constitution
It is not a moral claim. It is a meta-moral claim, that is, a claim about moral claims.
magical_spell··on How I am deeply integrating Emacs
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··on How I am deeply integrating Emacs
https://www2.lib.uchicago.edu/keith/emacs/
magical_spell··on Using Logic in Writing
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··on EmacsConf 2024 Notes
Could you elaborate on those flows? Sounds useful. Is it vanilla Emacs?
magical_spell··on Why America's economy is soaring ahead of its rivals
Agreed, but under a charitable interpretation.

Under a less charitable one, RcouF1uZ4gsC was discrediting the message by using the messenger's ``ethos''.

magical_spell··on SICP: The only computer science book worth reading twice? (2010)
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··on The brain summons deep sleep for healing from life-threatening injury
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··on Alonzo Church: Architect of computer intelligence
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··on Google Scholar PDF Reader
pdf-tools [1] + org-ref [2] in Emacs.

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

[2] https://github.com/jkitchin/org-ref

magical_spell··on SumatraPDF Reader
Pdf-tools in Emacs is also great.