Viewing profile — pkal

Is that really the confusing part? If you had a general collection interface, say Mapper, a Box (i.e. a singleton set) could implement it just as well as a List or a Tree.

If you instantiate it with concrete types, does "(b IntBox) Map(f func(int) string) StringBox" make more sense? You have a collection (in this case Box) containing values of type T…

One reason that Go doesn't have sum/union types, from https://groups.google.com/g/golang-nuts/c/0bcyZaL3T8E/m/eL4r... , is that it is not apparent how this would mesh with Go's "me…

Which is not that surprising since SDF uses NetBSD on most of its systems https://sdf.org/?faq?BASICS?08 .

In the example from the article it certainly is an option. In Python you could either use a "soup" library or you could play around with a tool like https://www.w3.org/Tools/HTML-X…

I see that intelligence itself is a tool, but that doesn't mean I want an automated gun, automated hammer, automated nuclear warhead, etc.

I am familiar with the syntax, so I am biased ("*/3" and "12,14,20" makes sense if you are familiar with Unix tools), but it is still more intuitive to me than the systemd unit fil…

or https://codeberg.org/anaseto/goal

No, because you can compute the optimal automaton (as in least number of states) that recognizes the same language: https://en.wikipedia.org/wiki/DFA_minimization

The article doesn't sell it that way. "You should play modern board games if ..." would be a different claim. The premise > They provide interesting puzzles to solve, and you work …

In practice this should also work. Do keep in mind if you just add this to your init.el then this will not persist if you re-create the scratch buffer. If we are already experiment…

Do note that I only configure this for `lisp-interaction-mode', which in practice really only gets used for the *scratch* buffer. But there are a few other instances in core that a…

Shouldn't something like this fix the problem, at least for scratch buffers: (add-hook 'lisp-interaction-mode-hook (lambda () (setq-local trusted-content :all)))

No, I just guess that most people who dislike it (like me) dislike it on an "eyeroll" level, where you wouldn't use it yourself but don't have the energy to make a fuss about it.

But in 1976 Emacs was implemented in TECO. In 1984 it was implemented in Lisp, because Multics Emacs _or_ EINE/ZWEI (Lisp Machine editors) were using Lisp as an extension language,…

A point of clarification: GNU ELPA ( https://elpa.gnu.org/ ) is part of Emacs, and you have to sign the copyright assignment to submit packages an to contribute to packages. NonGNU…

From the historical sources I could find online, it appears that Rust's borrow system was independently invented, or at least they don't mention linear logic or anything substructu…

I don't think it is not maintained, there is plenty of activity going on in the repo: https://repo.or.cz/tinycc.git , they just don't seem to be cutting releases?

To each his own; I really like his presentation style and the humor!

According to https://algol68-lang.org/ , and as expressed in the recording, the contributors (specifically Marchesi) believe that ALGOL 68 continues to have advantages over other l…

That isn't totally true, even on Linux we have had https://jmvdveer.home.xs4all.nl/en.algol-68-genie.html for years. Also, most languages trace back to ALGOL 60 (the C family tree …

I recently realized that "pure functional" has two meanings, one is no side-effects (functional programmers, especially of languages like Haskell use it this way) and the other is …

Then perhaps "Did you learn X stating your opinion on it as though it were comprehensive and authoritative"?