kmill

42 ms·

331.
by kmill 7y ago
Probably unpipelined RISC designs with exclusively single-cycle instructions. The instruction decoder just consists of setting a bunch of multiplexers to the right states for that instruction. The distinction might be whether the instructio
332.
by kmill 7y ago
I'm wondering what you mean by "doesn't seem to be wrong" -- are you doing any calculations? I'm not able to follow exactly what you mean by the quantum amplitude coming from a pair of tennis balls. My understanding
333.
by kmill 7y ago
> String instruments are tuned by pure intervals across the open strings Depending on what you mean by a 'pure interval,' it might come as a surprise that string instrumentalists tend to tune their fifths narrower than 3/2
334.
by kmill 7y ago
This doesn't really explain any of the music theory that's described on the linked page, unless you're meaning you're explaining a theoretical basis for harmony itself? The kind of music theory on the page is about tria
335.
by kmill 7y ago
Maryanne Amacher made some music that relies on the non-linearity of ears, what is known as "otoacoustic emissions." I guess if you put a sound source that produces the sum of two pure sine waves up to a human ear then record wha
336.
by kmill 7y ago
Click the third option, choose a random username and password, then have fun.
337.
by kmill 7y ago
There are no e-mails involved if you choose to create an account, just a choice of username and password. Sure, there are lots of things they could have done better, but I admire outreach projects like this from research labs.
338.
by kmill 7y ago
This is a game made by a research lab for fun, celebrating the 50th anniversary of Unix. I'm not sure they're too interested in funnels, beyond letting people have a little fun (and some advertising that something like the Bell L
339.
by kmill 7y ago
I didn't mean to be so harsh here: it's more like the pain that classical singers feel when they hear vowels pronounced "incorrectly" on the radio :-)
340.
by kmill 7y ago
The triadic diminished chords are labeled dim, but the diminished 7th version does indeed seem to be labeled as a half diminished chord. Maybe a circle isn't being rendered for the 7. (It's a bit painful seeing it spelled as C Eb
341.
by kmill 7y ago
Whether or not it's incredibly stupid, you're in good company: it occurred to Leibniz, too. Search for 'prime' at https://pron.github.io/posts/computation-logic-algebra-pt1 (though for him the uniq
342.
by kmill 7y ago
I try to operate under the principle of taking care to be clear with what I say or write and to take care to understand what I hear or read. (It's the human version of internet protocols or combinational logic levels.) This is a very
343.
by kmill 7y ago
Also, something I'd read before (though I can't find a reference now) is that the "design by committee" was that everything filtered through Jean Ichbiah (I think), who acted as benevolent dictator for the design process
344.
by kmill 7y ago
By "random first file" you mean "first file in the directory," which is for the cli. The printBasis function is the driver for the P part of the REPL, and it's not exactly something that the interpreter depends on
345.
by kmill 7y ago
Diagonal argument? (That's how you show something is uncountable.) It's that finite Cartesian products of countable sets are countable https://proofwiki.org/wiki/Cartesian_Product_of_Countable_Se...
346.
by kmill 7y ago
Many questions about the integers are recursively enumerable (like: what are the counterexamples to Fermat's last theorem?), but this doesn't really reveal anything about any deeper structure. Part of the conjecture is, indeed, t
347.
by kmill 7y ago
Some CS friends call this behavior "depth-firsting," as if the person is doing a depth first search and won't consider trying anything else until they're satisfied the current approach won't work -- that includes ex
348.
by kmill 7y ago
It looks like they mean (a) and (b) to represent the lengths of the segments with those labels. Also, they use left-to-right operation order rather than the traditional order. Less ambiguously (and correcting an error), (a) / (b
349.
by kmill 7y ago
(Sometimes when I'm particularly lazy, I've gone as far as \frac1n. Though usually I consider spaces to be cost-free.)
350.
by kmill 7y ago
Nice idea for a game -- I use LaTeX quite a lot so it was fun testing that I could type everything. One small LaTeXing speed trick I was using is to drop curly braces for single-letter arguments, like \frac 1 n instead of \fra
351.
by kmill 7y ago
That's a twiddle (I think I was influenced by Intercal). Sometimes single quotes to me are "ticks," with the grave accent being a "back-tick."
352.
by kmill 7y ago
Wow, that is an impressive survey --- thanks for putting that together!
353.
by kmill 7y ago
Unlike lambda calculus, OO is not a specific mathematical formalism but rather a methodology and ontology for organizing a program. Lambda calculus, defined by Alonzo Church, is a kind of 'arithmetic' of abstract function manipul
354.
by kmill 7y ago
If it was a realization of a lambda calculus, then it is one with (a) primitives, (b) strict evaluation, (c) quoted lambda terms, and (d) "dynamic" bindings. (a) In classic lambda calculus, everything is a lambda term. McCarthy
355.
by kmill 7y ago
Thanks for the pointer, and I look forward to checking out that book. (Re "not really": with Maxwell's equations, the curl of the electric field is generally non-zero, so scalar potentials are not well-defined, which is all I
356.
by kmill 7y ago
The first is a union type, and the second is a disjoint union type. The second is also known by the names of tagged unions, sum types, and discriminated unions. For the first to be useful, there needs to be some hidden disjoint union to im
357.
by kmill 7y ago
I only brought up ground (in the Earth ground sense) because I've heard people think that antennas in general work by using the Earth as a second conductor, with EM radiation as the first. Antennas are conductors that are part of an u
358.
by kmill 7y ago
This analogy doesn't work so well for AC, which involves both pushing and pulling on electric charges. It's more like pipes full of a gas like air. The power plant has a big reciprocating piston that is pushing and pulling on the
359.
by kmill 7y ago
When it comes to AC (even discontinuous DC), closed loops are not necessary for current flow. A basic example is a capacitor, which can permit current while it builds up an electric field between is plates. A related example is an antenna,
360.
by kmill 7y ago
This would make sense if it were physically possible to play every noise at once. (Where would you place the infinitely many emitters? If they have any displacement at all, then there will be points that would not experience destructive in

More ›