defanor

5 ms·

1.
by defanor 4mo ago
Thanks! Tried it with (k)nsupdate, and it might be nice to add them into snippets and/or documentation. E.g., using the same placeholder names as in the documentation: $ nsupdate # or knsupdate > server update.dynip.dev >
2.
by defanor 4mo ago
Thanks; it is the same login as here, at steady.mooo.com.
3.
by defanor 4mo ago
Attempted to register, but the verification message does not arrive. I did not see anything resembling it in the mail server logs right after registration, and there is still nothing in the mailbox after 6-7 hours, with a few requests to re
4.
by defanor 6mo ago
I prefer and use the knot DNS server for authoritative DNS (and either knot-resolver or Unbound for caching DNS servers) myself: it is quite feature-rich, including DNSSEC, RFC 2136 support, an easy master-slave setup. Apparently it does su
5.
by defanor 7mo ago
The FF reader view here starts from "We just saw how a Decision Tree", gobbling up half the article. Simply disabling CSS works better. Though in both cases, it seems that ordering might be a bit mixed up.
6.
by defanor 7mo ago
There is also the "No multi-floor/multi-map support" point. Apparently it is treated less seriously than others there, and omitted here, but seemed particularly unfortunate to me: having per-floor dry cleaning robots seems wa
7.
by defanor 9mo ago
(Sorry for the relatively long post; it so happened in an attempt to explain my point of view in more detail. I think variations of that do come up in such discussions, but staying unnoticed or dismissed; maybe this one will succeed.) Proba
8.
by defanor 9mo ago
I have no issues with it, and actually happy to see alternative implementations. Possibly because I did not use it much, but it does look fine to me. Not as a complete GPG replacement yet, since some software still depends on GPG, but a via
9.
by defanor 9mo ago
> security under a hostile setting Yes, but security usually includes availability, and I mentioned a setting with service blocking above. Like that by a government. > (Centralization itself is a red herring. One may as well claim tha
10.
by defanor 9mo ago
This OpenPGP and GnuPG criticism is brought up regularly here, but the proposed alternatives come with their own downsides: some of those are proprietary, some are centralized systems or depend on such. In addition to all the inconvenience,
11.
by defanor 9mo ago
I thought the point is to pass along the message, though the one that is brought up quite regularly: sharing the joy of making websites, and such making as a way for anyone to contribute a little to the overall construction/improvement
12.
by defanor 9mo ago
In my desktop Firefox it does not fit horizontally, and it is not scrollable: I had to maximize the window in order to uncover the keyboard completely.
13.
by defanor 9mo ago
Neat, but it takes two pages on printing in the landscape orientation in Firefox on either A4 or US letter paper sizes here, with minimal font size set to 16. Generally matching of text dimensions to container dimensions is unreliable if yo
14.
by defanor 9mo ago
Pixel 6a used to show a September patch as the latest, but tapping "check for updates" found a new one. As mentioned in other comments here, apparently tapping those buttons twice may help.
15.
by defanor 10mo ago
> We're so ready and willing to punish individuals for harm they do to other individuals, but if you get together in a group then suddenly you can plot the downfall of civilization and get a light fine and carry on. Surely "plo
16.
by defanor 10mo ago
Of course not: I meant Russian audience, which that poll and the post were about. Added "Russian" into the post, to avoid further misunderstandings.
17.
by defanor 10mo ago
> every single person I know has and actively uses a VPN I do know people who use no circumvention methods: some are simply not sufficiently familiar with technologies (including older people, who seem to think that something is wrong wi
18.
by defanor 10mo ago
> In my experience, Dell and Lenovo have excellent Linux hardware support. I have tried just one cheap Dell laptop, Vostro 3515, which works mostly fine with Linux (it came with Ubuntu, I have installed Debian), but the touchpad becomes
19.
by defanor 10mo ago
> It Won’t Even Work I heard similar sentiments about censorship efforts in Russia, but it does seem to work, unfortunately. So far they have outlawed and blocked major VPN providers (and keep blocking more, including non-commercial ones
20.
by defanor 10mo ago
> And people who don’t want to share their email can use a temp email service, so it’s no skin off their back. That seems to be a better option for bots than for actual users: if you care about the account, you probably would not want to
21.
by defanor 11mo ago
I think the usual advice is to try the vanilla Emacs, maybe use better-defaults (either directly or just for inspiration), as it is a relatively light customization. The setups people use tend to be quite different, as do their opinions on
22.
by defanor 11mo ago
The advice looks sensible, but not sure if it does more good than harm. I recall simplified user interfaces standing in the way, hiding (or simply not providing) useful knobs or information/logs. They are annoying both when using them
23.
by defanor 11mo ago
On the bright side, this will lead to a more relaxed December schedule. I do not compete for the leaderboard, but trying to solve the puzzles on the days they are released (to keep it in the spirit of an advent calendar), and the puzzles to
24.
by defanor 11mo ago
It does that in Firefox at certain window sizes, too, supporting its claim to consistency across major web browsers.
25.
by defanor 11mo ago
It looks a bit messy to me, neglecting usage of hyperlinks, but at the same time highly legible (does not mess with fonts, colors, or the layout too much), lightweight, works without JS, does not geo-block me or require to solve captchas, n
26.
by defanor 11mo ago
> Our survey measured it on a scale of how much people agreed with sentences including “Following coronavirus prevention guidelines means you have backed down” and “Continuous coronavirus coverage in the media is a sign we are losing.” O
27.
by defanor 11mo ago
Well, at least Idris aimed to become practical, and there is the CompCert compiler in Coq (called Rocq now, actually), demonstrating viability of large verified projects. Besides, one does not have to verify everything in those, and could p
28.
by defanor 11mo ago
Languages with dependent types (Agda, Idris, Coq, Lean) seem even closer to the description, with a user supplying proofs of properties. For instance, as in idris2-algebra [1]. One can similarly define isomorphisms, or other kinds of morphi
29.
by defanor 11mo ago
> but what would be the benefit of having more pages fail to render? I think those benefits are quite similar to having more programs failing to run (due to static and strong typing, other static analysis, and/or elimination of unde
30.
by defanor 11mo ago
It is too annoying to carefully scroll to the small ranges at which texts are visible, with a custom horizontal scroll, to fish out small bits of text, which do not even seem to be written well. And that is after enabling JS, without which

More ›