moefh

12 ms·

91.
by moefh 2y ago
I think we're talking past each other at this point. You seem to have brushed past without acknowledging my point about systems without the principle of explosion, and I'm afraid I must have missed one or more points you tried to
92.
by moefh 2y ago
> An inconsistent formalization of human knowledge in the form of a computer program is trivial and uninteresting - it just answers “yes that’s true” to every single question you ask it. That's only true if you make the program answ
93.
by moefh 2y ago
I don't have a problem with that. (I don't see how that relates to Godel's theorem, tough. If that's the current position held by Penrose, I don't disagree with him. But seeing the post's video makes me believe
94.
by moefh 2y ago
The first question is not the question I'd like answered. What I want to know is this: > Why does the computer have to work within a CONSISTENT formal system F? Humans are allowed to make mistakes (i.e., be inconsistent). If we don&
95.
by moefh 2y ago
Godel's theorem only applies to consistent systems. From Wikipedia[1]: First Incompleteness Theorem: Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e. there
96.
by moefh 2y ago
> Computers are symbol manipulating machines and moreover are restricted to a finite set of symbols (states) and a finite set of rules for their transformation (programs). > [...] there will be truths that the computer can simply neve
97.
by moefh 2y ago
This argument by Penrose using Godel's theorem has been discussed (or, depending on who you ask, refuted) before in various places, it's very old. The first time I've seen it was in Hofstadter's "Godel, Escher, Bach
98.
by moefh 2y ago
When theta=0, you have q = cos(0) + sin(0)*(ai+bj+ck) = 1 + 0 = 1 That means applying the "rotation" to the vector gives v' = q * v * q^-1 = 1 * v * 1^-1 = v So the output ("rotated") vector is the sam
99.
by moefh 2y ago
There's nothing fundamentally different about the "passive-agressive" license compared to other licenses. All software licenses work the same way: - you'd normally be forbidden (by copyright law) to copy the code; - the
100.
by moefh 2y ago
As far as I understand, the "anti-circumvention" provisions of the DMCA don't make exceptions for fair use, so it's illegal to circumvent copyright protection even if a fair use defense would mean you're not infring
101.
by moefh 2y ago
Well, the settings page on Twitch has this help text on the "store past broadcasts" toggle: Automatically save broadcasts for up to 7 days (14 days for Affiliates, 60 days for Partners, Turbo and Prime users) Maybe the vide
102.
by moefh 2y ago
I remember when Twitch implemented the VOD expiration with the "highlight" system; the discourse at the time was that some people enabled VOD retention and then forgot about it, uselessly clogging the servers. So if you really c
103.
by moefh 2y ago
Normal VODs already automatically "expire" (i.e., are automatically deleted) after a certain time. IIRC the time limit is between 7 and 60 days depending on your account type (e.g. whether you're a Twitch partner, whether you
104.
by moefh 2y ago
> It's quite popular, the 'bazaar' approach in 'the cathedral and the bazaar'. That's not the usual interpretation of "cathedral" and "bazaar" development models. The Linux kernel is the
105.
by moefh 2y ago
There might be a video where this happens, but I think it's more likely that you're misremembering it; there was a somewhat famous game cast by Husky where Cella[1] (a professional player) was joking around on the Internet playing
106.
by moefh 2y ago
> I know others who lost an entire day staring at it wondering what's wrong with it. I saw it on X recently as "99% of C programmers will not be able to find the bug." Both gcc and clang give a warning[1] for that code wit
107.
by moefh 2y ago
It's not really about eliding zeros, though. It's kind of a cursed thing: x -> x3.x2.x1.x0 x.y -> x.y2.y1.y0 x.y.z -> x. y.z1.z0 x.y.z.w -> x. y. z. w Where x0 is the 8 least significant bit
108.
by moefh 2y ago
> it's just that Unicode is a total and complete clusterfuck [...] > When design-by-committee gives birth to something way too complex, insecurity is never far behind. Human writing is (and has historically been) a "clusterf
109.
by moefh 2y ago
I was hoping GCC would do the same, leaving the decision about the value of '\n' to GCC's compiler, but apparently it hardcodes the numeric values for escapes[1], with options for ASCII or EBCDIC systems. [1] https:/&#x
110.
by moefh 2y ago
Small nitpick: > For example, the I - IV - VIIm - V7 progression below uses the same motions in A as it would in C, where the chords would be C F Am G7. Shouldn't that be "I - IV - VIm - V7" instead? (The transposition fro
111.
by moefh 2y ago
> Nothing to do with "postmodernist excesses" or whatever. To clarify, I wasn't implying you or Brin were commiting "postmodernist excesses". The part of the review I quoted was explicitly saying that the book ai
112.
by moefh 2y ago
Indeed. Godel's theorem is very technical, and any use outside the very technical realm of its immediate application should be viewed with great suspicion. For example, if you take the statement you quoted from Wikipedia and replace &q
113.
by moefh 2y ago
Yes, a corollary can be just the contrapositive of something you just proved. Sometimes it's even more trivial, like a special case of a general theorem you proved. A very common use is to re-state something so it's in the exact f
114.
by moefh 2y ago
Somewhat related, bitmap files (.bmp) store the image lines in bottom-to-top order, effectively putting (0,0) at the bottom-left. It's the only image format I've ever seen that does that -- everyone else stores lines in top-to-bot
115.
by moefh 2y ago
ESP32 is great, but it simply can't work with the IMX477 camera used in this project. This camera has resolution of 4072x3176, or about 12M pixels, which is way above what any ESP32 can handle.
116.
by moefh 2y ago
It's hard to believe that's what's happening, since Musk has previously agreed to censor posts for a foreign government[1], writing at the time: The choice is have Twitter throttled in its entirety or limit access t
117.
by moefh 2y ago
It does! Sadly, the firmware for the CYW43439 is a binary blob provided in the form of C header files[1] -- even though it's free for commercial use[2] as long as it's used with a RP2040 like in the Pico W. [1] https://
118.
by moefh 2y ago
> A ternary computer equivalent would have 31trits I think you mean 41, not 31 (3^31 is about a factor of 30000 away from 2^64). The difference in the number of trits/bits is not exponential, it's linear with a factor of log(2)
119.
by moefh 2y ago
The distinction between "function" and "procedure" doesn't map very well to whether the return type is void in C's syntax: - On one hand, a lot of "functions" are actually procedures that just happen
120.
by moefh 2y ago
The use of "mantissa"[1] in this document is not right. What's being called mantissa here should be "exponent". There's some ambiguity about what exactly "mantissa" means in the representation of a

More ›