pkal

7 ms·

1.
by pkal 6d ago
IMO the "forty hours per page" rule is not up to date, and more a consequence of lacking proof automation in 2005. From what I understand about Lean, this has been one of the things that they have put a lot of effort into improvi
2.
by pkal 12d ago
Why should it be? In my experience it depends on the case, and in my case it seems like an absolute technological overkill to version the site and have statichost regularly pull from some repository, as I update it perhaps once a year.
3.
by pkal 12d ago
She is flattered :) Your comment and those of others here have "made her day", so thanks!
4.
by pkal 12d ago
Not really, I just use Emacs' versioned backup files that are automatically generated. As I said, I don't have to update the site that often, so it is entirely sufficient. An advantage for me, besides not having to write Git com
5.
by pkal 12d ago
According to the docs no, but I did find out that they now provide a script that automates the process https://www.statichost.eu/docs/direct-upload/ .
6.
by pkal 12d ago
I'm using this for my mother's website ( https://www.touchofglass.eu/ ), and my only complaint is that it assumes you version a website in a Git repository. You can work around it by uploading a tarball or somethin
7.
by pkal 22d ago
The portability issues of `package-vc-install-from-checkout' are due to issues with symlinks not being portable, which is what that function relied on. None of this is related to tree-sitter. That is the function that the combination
8.
by pkal 22d ago
That is what https://www.emacswiki.org/emacs/EmacsThirtyOneHighlights is for. And it is not so much that the author doesn't mention the topics, but that he misconstrues them or just plain doesn't appear to u
9.
by pkal 23d ago
I was annoyed by some of the comments in the "Packages" section, because it is clear that the author didn't try anything out but just scattered a few comments though out the file. Regarding :vc and :load-path, this was obsole
10.
Emacs 31 Highlights(emacswiki.org)
2 points by pkal 23d ago|0 comments
11.
by pkal 1mo ago
If you look at the definition of a macro like defcustom, you'll see that it just expands to a function call, where all the logic is implemented. This could also be implemented in the macro, but that is more complicated and brittle, du
12.
by pkal 2mo ago
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.
13.
by pkal 2mo ago
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, a function that maps values of type T to type U
14.
by pkal 2mo ago
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 "m
15.
by pkal 2mo ago
Which is not that surprising since SDF uses NetBSD on most of its systems https://sdf.org/?faq?BASICS?08 .
16.
by pkal 2mo ago
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-XML-utils/man1/hxpi
17.
by pkal 3mo ago
I see that intelligence itself is a tool, but that doesn't mean I want an automated gun, automated hammer, automated nuclear warhead, etc.
18.
by pkal 4mo ago
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 file syntax and usage. I know that I
19.
by pkal 4mo ago
or https://codeberg.org/anaseto/goal
20.
by pkal 4mo ago
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
21.
by pkal 5mo ago
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 a technical role - some part of your
22.
by pkal 5mo ago
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 experimenting with different ideas, this should also work (and gives
23.
by pkal 5mo ago
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 also use it, and if that concerns you, you can extend t
24.
by pkal 5mo ago
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)))
25.
by pkal 5mo ago
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.
26.
by pkal 6mo ago
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, which apparently has shown itself to be useful.
27.
by pkal 6mo ago
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 ELPA ( https://elpa.nongnu.org&#x
28.
by pkal 6mo ago
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 substructural. This is kind of interesting to me, especiall
29.
Joseph Weizenbaum's Hackerkritik(sdf.org)
4 points by pkal 7mo ago|0 comments
30.
by pkal 7mo ago
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?

More ›