moefh

17 ms·

151.
by moefh 3y ago
I don't think that's quite right. Another example given by Asimov is Newton's equations, which are obviously not facts about a particular object. We still today accept them as right (in the right contexts), teach them in univ
152.
by moefh 3y ago
> The C standard actually does have text giving a list of acceptable behaviours for a compiler The exact opposite is explicitly stated in the standard (from C11 section 3.4.3): undefined behavior behavior, upon use of a nonpor
153.
by moefh 3y ago
One man's "broken code produced by the compiler" is another man's "excellently optimized code by the compiler". Where to draw the line is not always clear, but here's a very clear-cut example[1] where emit
154.
by moefh 3y ago
> whether our code is being compiled sensibly or not I'm failing to see what's not sensible about how that code is compiled. The only possible way that function could return false is if you read past the end of the array and th
155.
by moefh 3y ago
That whitepaper doesn't explicitly say "one person = one account", but it seems to be a really basic feature of the system: - They clearly don't want accounts that don't belong to a person ("Keep the Bots Out
156.
by moefh 3y ago
It's more like an Arduino in the sense that the code you write is more like firmware. It's way more powerful than a common Arduino, though. It has two 32-bit (ARM Cortex-M0+) cores, 264kB of RAM, and 2MB of flash. The Pico W als
157.
by moefh 3y ago
Interesting, so that's also whats happening with 127.1 and 127.0.1: the zeroes are not being "inserted automatically", they come from expanding the last number (1) into the bits for the last bytes of the address. To make it c
158.
by moefh 3y ago
Another huge difference is that the RP2040 lacks floating point support. At least it has (integer) hardware division, but that's about it.
159.
by moefh 4y ago
That's interesting, but it's a weird definition. In the myth of the Minotaur, the labyrinth Theseus is trapped in surely must have branches (or he wouldn't need a ball of thread), so it doesn't fit this definition. Wikip
160.
by moefh 4y ago
Wow, that Win32 OpenFile function is truly cursed: - If you don't specify a directory, Windows will look for the file in a bunch of directories, but the current directory is not the first place searched. - The lpReOpenBuff is annotated
161.
by moefh 4y ago
It suffers from the same problem a lot of layman's explanations have: it jumbles the explanation of what NP is. This is really annoying because it's so easy to do better: instead of saying (like the article does) "NP is a cla
162.
by moefh 4y ago
The author and people who insist on teaching (just) that "a branch is just a ref" fighting over the wrong point. The important part is to understand that each commit is itself both a complete snapshot of the repository and a
163.
by moefh 4y ago
The problem is that there's no way to automatically check any of that. If the code is small and doesn't change or doesn't have to last for too long, that's OK. But when it's changed over the years, it's pretty
164.
by moefh 4y ago
> Modern C++ has made big inroads into removing memory safety issues though Modern C++ adds new features that allows you to write code that doesn't have as many memory safety problems, but all the unsafety (is that a word?) that e
165.
by moefh 4y ago
My reading is that, since the application was not immediately rejected, the copyright is active -- this is also mentioned in the original story I linked, which said the author had 30 days to appeal, during which time the copyright would sti
166.
by moefh 4y ago
That's interesting, I hadn't seen that. But from that link, it seems the decision was not reversed again, they just clarified that the investigation is still ongoing -- that is, they have not yet decided whether they should have g
167.
by moefh 4y ago
> In such a case, the human would be indeed granted copyright for the work, provided they took due credit for it. This goes against this news[1], where someone created an entire comic book using Midjourney (an IA engine). The (human) aut
168.
by moefh 4y ago
The problem is not the distinction between local and non-local hidden variables, but the that the "value" in that code doesn't depend on the measurement being performed. You can't understand anything about quantum mechan
169.
by moefh 4y ago
That only works if you replace " basically " with " not really ". With this code you can't violate Bell's inequalities[1], which is a really important feature of Quantum Mechanics. [1] https://en.wik
170.
by moefh 4y ago
Compilers do it all the time, for example GCC compiles "x*4 + y" to a single LEA instruction: https://godbolt.org/z/TvdW5sK4b
171.
by moefh 4y ago
From my understanding, while that's is technically true, given a consistent axiomatic system (like ZFC[1], the foundation of mathematics we use) there exists a diophantine equation that can't be proven to have no solutions in that
172.
by moefh 4y ago
[Note: I'm not the author] 0x173 doesn't fit in a byte. As the text explains, there are two validation bytes; the first one gets the high 8 bits ("the high byte") of 0x173 (which is 0x01) and the second one gets the low
173.
by moefh 4y ago
The math as explained in Twitter is correct, your example is not relevant because [1,999] is not in the form [x,2/x]. I'm sure there's a better way to see the conclusion stated in the tweet, but you can convince yourself with
174.
by moefh 4y ago
That's true, but it doesn't matter to the point being made. According to the standard[1], if short and int have the same size (even if not the same rank) both numbers are converted to unsigned int (that is, the unsigned integer ty
175.
by moefh 4y ago
That's still a bad question: the behavior is implementation-defined according to the standard, so having "implementation-defined" as a wrong option is ambiguous and confusing. The question would be fine (given that note) if &
176.
by moefh 4y ago
> New minor scales are constructed by modifying the A-minor scale (which contains the same flat notes as C-major) by adding Bs, not adding #’s. I think you're confusing two different ways of constructing the minor scales. One way is
177.
by moefh 4y ago
Right, total brain fart on my part! (And I actually had never seen the "G-7" notation) Still, I think it would be much more useful to consistently have the chord abbreviations in the main table.
178.
by moefh 4y ago
Really good stuff! If I can give another suggestion: I think it would be much more useful for beginners to see the common alias of the chord in the main table (maybe below the name that already exists?). (This is wrong, see the reply below:
179.
by moefh 4y ago
> so he is required by the standard the implement \X. Which standard is that? If you're talking about Unicode, the "standard" for regular expressions[1] is an "Unicode Technical Standard", which according to itse
180.
by moefh 4y ago
Sure, but that's up to whoever is writing the regular expression. The standard '.' (match any character) in a regexp matches an Unicode code point, not a grapheme cluster. To match a grapheme cluster, you have to use "\X

More ›