kmill

62 ms·

511.
by kmill 9y ago
Usually "encoded faithfully" is used to mean that the encoded thing can be recovered perfectly (mathematically, not necessarily physically). I thought you were saying that both the past and the future are functions of the present
512.
by kmill 9y ago
I wasn't reading carefully, and I thought they mentioned it because it's slightly different from (function () { console.log("#"); })(); though not actually since the this is not being used. I was expecting to se
513.
by kmill 9y ago
Here are two examples in Python syntax, assuming "yield" is no longer a keyword. def f(): def receiver(yield): yield(2) # yield jumps out of the 'receiver' function and never returns print(&quot
514.
by kmill 9y ago
My approximate understanding: Some problems reduce to calculating the trace of a matrix. The matrix might be really complicated, but sometimes you can approximate it by having particles braid around each other and measuring how likely the p
515.
by kmill 9y ago
Speaking of monads, one of the themes in Prof. Sussman's "Adventures in advanced symbolic programming" course was that many metacircular evaluator experiments can be set up by using mostly the same core evaluator but swapping
516.
by kmill 9y ago
You know how in Python the "yield" statement is actually an expression and can be sent values using "next"? Imagine there is a special "yield" called "call-with-current-continuation" that can be used
517.
by kmill 9y ago
Well, they can't, because the system might still fly apart at some future point. It is possible that these are close to periodic solutions, but to make it rigorous what they need to do is show that the principle of least action is sat
518.
by kmill 9y ago
This paper seems to be missing some related work, for instance Carles Simó. Greg Minton created a computer-assisted proof system for showing that there must exist a choreography with parameters within a certain distance of some given approx
519.
by kmill 10y ago
I think that overlap just means we are very sensitive to color variation for radiation around 550nm.
520.
by kmill 10y ago
The article is called "The root of all eval." I think the author gets it.
521.
by kmill 10y ago
It's true that the Kleisli category gives a composition law from a monad, but let's not lose sight: the point isn't whether there is a conceivable way to compose things, but whether a monad is just a monoid of functions under
522.
by kmill 10y ago
The Wikipedia article mentions "The combinators K and S correspond to two well-known axioms". I wonder whether Schönfinkel and Curry had Łukasiewicz's axioms in mind when creating it? I'm finding it difficult to find t
523.
by kmill 10y ago
I checked that while I was writing my comment, and I don't believe there is such an isomorphism. For the identity monad, we have the following functions: return :: a -> a return = id join :: a -> a join = id If
524.
by kmill 10y ago
Function composition is a monoid, but it is not a monad, even though the words sound similar. So it's not really getting them to the same place, but I'm not going to offer any opinion on whether someone needs to study category
525.
by kmill 10y ago
Ok, it's an immersion in R^3 of a tubular neighborhood of an embedding of the Klein bottle in R^4. But be like Michelangelo and see the immersed Klein bottle inside the glass.
526.
by kmill 10y ago
Mainly, I was poking a bit of fun at the idea that "number" even has a rigorous definition. You can't really assert whether infinity is a number or not without 1) knowing what they mean by "number" or 2) knowing wh
527.
by kmill 10y ago
It's not a number if you are like me and say "a number is an element of a ring." (We're not talking about ordinals or cardinals, the subject being rationals, otherwise I might have a different definition.) The projectiv
528.
by kmill 10y ago
I have mine specifically for LiquidText[1] to read papers and textbooks. [1] http://liquidtext.net/
529.
by kmill 10y ago
CV=Q. Pulling plates apart makes the capacitance C decrease, while the charge Q remains constant. This means V must be increasing. Energy in a capacitor is VQ/2, so the energy increased. (This is somewhat circular reasoning. The po
530.
by kmill 10y ago
The "true" Fourier transform is to write the function as an infinite sum of e^(2 pi i n x) with complex coefficients and n an integer. (This is the "true" Fourier transform because of a connection between periodic funct
531.
by kmill 10y ago
Here's an argument I've found sometimes works better for people who can't see what the diagonal from the list is supposed to do, or if they think it's rather arbitrary. It's essentially the same argument, just writ
532.
by kmill 10y ago
"Your username must be 1-4cm when printed with 12pt Times New Roman." I kind of like the idea of minimum length in cm as a password requirement.
533.
by kmill 10y ago
To expand on this point, one resolution to the Ship of Theseus problem is that the point at which the ship stops being the "same" ship depends on how you are going to define "same." "Same" could mean different
534.
by kmill 10y ago
What frustrates you about it? I understand the complexity of compositions, but do you have any interesting stories to share about the complexity causing problems for you?
535.
by kmill 10y ago
There are multiple ways of counting "length" of a string. Number of UTF-8 bytes, number of UTF-16 code units, number of codepoints, number of grapheme clusters. These are all distinct yet valid concepts of "length." Fo
536.
by kmill 10y ago
What is your answer to the first question? In Kleene's original paper (which I've only skimmed), he is interested in "events" for nerve computation models, and defines "regular events" to be some minimal set o
537.
by kmill 10y ago
Actually, it turned out I just reversed who received each point! The bug was more subtle and came down to the fact that arguments are passed by reference in QBasic, so the DoShot function modifies the caller's PlayerNum variable when
538.
by kmill 10y ago
If the point is running old QBasic code in a browser, it's probably better to compile DosBox to HTML5 and run the original QBasic interpreter in that, as is done on archive.org: https://archive.org/search.php?query=subj
539.
by kmill 10y ago
If you're willing to forgo the built-in drawing primitives, you can get access to the underlying buffer and draw directly to that. That way you avoid the CSS parser. Edit: in particular, getImageData and putImageData.
540.
by kmill 10y ago
I did it by hand by reading the original QBasic source code. One reason I did it was to reacquaint myself with QBasic, the first programming language I learned. Another was the challenge of converting a program which relied on blocking be

More ›