Sniffnoy

46 ms·

541.
by Sniffnoy 5y ago
Oh, let me close up one little hole in my comment, before anyone points it out. :) This may require rather more mathematical knowledge I'm afraid. Above I said the only reasonable way to weaken Peano arithmetic was to weaken induction
542.
by Sniffnoy 5y ago
So, Nelson had claimed to have proven Peano arithmetic inconsistent. Peano arithmetic is a set of axioms that describe basic properties of the whole numbers (nonnegative integers). It's a pretty simple set of statements. The axioms a
543.
by Sniffnoy 5y ago
I read an article somewhere about how it's possible the idea of the "overview effect" might actually just be putting a positive spin on the earlier "breakaway effect" or "break-off phenomenon". I thought
544.
by Sniffnoy 5y ago
Man, I wish languages gave us easy access to these sorts of instructions. So many times I've written a loop to count how many times divisible by 2 a number is, when there has to be an instruction for that... yes, notionally I could dr
545.
by Sniffnoy 5y ago
Unfortunately, the blog post linked to is now a 404. Here's an archived version: https://web.archive.org/web/20180202204836/http://blog.sacal...
546.
by Sniffnoy 5y ago
This is from "In the Beginning was the Command Line"; more specifically it's section 11 of such. So this was written by 1999 at the latest, before Apple had released any consumer Darwin-based operating systems...
547.
by Sniffnoy 5y ago
From how they're described here, PWAs sound like a phishing risk...?
548.
by Sniffnoy 5y ago
This[0] may be a good place to start, but I'm not sure if it contains proper examples of what you say (of serious collapse). E.g., I expect a lot of people probably relied on the false result mentioned by Matheus, but most of them cou
549.
by Sniffnoy 5y ago
Ah, so you meant health insurance, not life insurance?
550.
by Sniffnoy 5y ago
In order to look like it's indicating distance, it has to be a straight line, not a curve, and moreover actually have the distance written alongside it. That's at a minimum, I'd say; putting arrowheads on the ends might also
551.
by Sniffnoy 5y ago
> A different philosophy reigns in domains that demand efficiency and speed (e.g., infrastructure software). Systems programming languages such as C and C++ sacrifice safety and comprehensive semantics for performance. These languages, d
552.
by Sniffnoy 5y ago
Nitpick, you mean "uninhabitable". I think the reversal here might confuse some people.
553.
by Sniffnoy 5y ago
Yes, I don't disagree. My point is that your argument above for that claim is invalid, as your argument is based on purely the Turing-complete nature of x86, while other Turing-complete architectures do not have this problem.
554.
by Sniffnoy 5y ago
Oh, wait -- there's a hole in my claim above. Self-modifying code. Well, it works if we also disallow self-modifying code; this still leaves things as Turing-complete and so still shows that your argument cannot be valid.
555.
by Sniffnoy 5y ago
Your argument can be seen to be invalid because it attempts to apply to any Turing-complete architecture, when in fact the problem is more architecture-specific than that. In an architecture that used fixed-length instructions and required
556.
by Sniffnoy 5y ago
I dunno, the "logic" solution seems like the obvious one to me; if your boss really has that much trouble with propositional logic that they don't immediately see why it works, well, that's what code comments are for. (.
557.
by Sniffnoy 5y ago
Does it actually? Looking at pictures and maps, I don't see any crossings between the runway and the road. There's an intersection, but it's not a crossing ; it'd only be useful for a plane going onto or off of the ru
558.
by Sniffnoy 5y ago
Other people have pointed out that there are more of these, but I should note that there's a list of more of these here: https://en.wikipedia.org/wiki/Level_crossing#Runway_crossing... It seems to lack the Ometepe
559.
by Sniffnoy 5y ago
Don't forget hardware switch for wireless networking. Laptops used to come with that...
560.
by Sniffnoy 5y ago
Good blog post about Old Latin inscriptions, though not so much this partiuclar one, but talks about related material: https://dannybate.com/2021/05/28/grave-language-the-epitaph-...
561.
by Sniffnoy 5y ago
Hm, I was hoping this article would explain in what sense we don't understand flight, or in what sense people think we don't understand flight, but it didn't seem to answer that question...
562.
by Sniffnoy 5y ago
I've seen some voting systems include a "delegation" feature, where instead of submitting a full ranking of candidates (or whatever), you can just vote for a single candidate and your full ballot will be determined by their f
563.
by Sniffnoy 5y ago
Heh, so it's an instruction for INTERCAL's "select" (~) operator...
564.
by Sniffnoy 5y ago
Note, the previous post referenced (but not linked) in the text appears to be this: https://computer.rip/2021-05-24-dialogs-not-taken.html
565.
by Sniffnoy 5y ago
Well, you're assuming that passing is an option. One possibility would be that if you're bidding first, since there's no prior bid to pass to, you must bid; you can bid 0, but you can't pass. The rules just say it&#x27
566.
by Sniffnoy 5y ago
Well, OK, here we run into a bit of a problem, in that the rules don't actually specify how the auction is conducted, so what happens if everybody passes is kind of just undefined. What you say is one reasonable interpretation. Howev
567.
by Sniffnoy 5y ago
No, counterfactuals are basically a separate matter. For instance, we can ask questions like "What if Lee Harvey Oswald's gun had jammed?" This doesn't involve any free will; it just involves the ability to work forwar
568.
by Sniffnoy 5y ago
No, it just requires counterfactuals to be meaningful.
569.
by Sniffnoy 5y ago
This isn't a legal Monopoly game at all. When you land on an unowned property you have to buy it or auction it. "No action" is not a legal option.
570.
by Sniffnoy 5y ago
The idea of a flat earth is not a recent idea; that's not what the "myth of the flat earth" is. The myth of the flat earth refers to the false idea that (educated) Europeans during the Middle Ages believed in a flat earth, o

More ›