kmill

44 ms·

421.
by kmill 9y ago
If I am reading your code correctly, I don't see full backtracking search. The CPS version should implement this (though I find their particular CPS style rather difficult to skim, so I'm not confident without running it).
422.
by kmill 9y ago
You don't have to actually reify the conversion (as in, create a data structure that holds the new representation in memory). When they say that they converted the image into RGB 3D space, it was probably mainly conceptually, to give
423.
by kmill 9y ago
> If you are going to require high-performance I'm not sure exactly why people bring up performance when tail call elimination is mentioned. Maybe because sometimes it's called "tail call optimization"? Besides repl
424.
by kmill 9y ago
One point of view of a trampoline is that you are implementing a small virtual machine (or, in the terminology of SICP and I believe the original Scheme paper, a "register machine") with two instructions: call and return. The vir
425.
by kmill 9y ago
"Scheme community" probably meant "Racket", but I don't know much about schemers these days to know for sure.
426.
by kmill 9y ago
For the benefit of people without specific knowledge of people at MIT: Adam is Adam Chlipala http://adam.chlipala.net/
427.
by kmill 9y ago
> does not fit the Lisp philosophy... all the borrowing story comes from a basis mutability I found this to be a confusing statement until I realized you were talking about Clojure. Common Lisp condones mutation, and a borrowing model
428.
by kmill 9y ago
The article even has an image of the interface from 1988. > And with the release of Mathematica 1.0 in 1988 came another critical element: the invention of Wolfram Notebooks. Notebooks arrived in a form at least superficially very simila
429.
by kmill 9y ago
> but you have to understand that this happens in all cities. Some old theatre gets torn down to make way for a new high rise condo, or a tech company decides to move in and tears down a factory to make way for a shiny new office buildin
430.
by kmill 9y ago
As an approximation, anything that isn't near the big cities and that isn't unusable due to periodic flooding is going to be fertile for farming or too far away.
431.
by kmill 9y ago
"Itself" might be 1 in the first definition. The "exactly two" in the second definition is what makes the definitions different. I'm not able to read the article because of a 503 timeout, so I can't see this i
432.
by kmill 9y ago
It's amazing: it is almost impossible to tell whether this is satire. I almost thought https://www.reallygoodux.io/about clinched it, because the "Submit" button had scrollbars in Chrome, but, alas, Firefox
433.
by kmill 9y ago
I really wish JavaScript had goto statements, because it would make it less of a hassle to make code generators that target it. Before the new block scoping constructs (which I assume would make implementing goto more complicated), was ther
434.
by kmill 9y ago
Is "moon math" a term of art? Just a couple days ago, I heard a mathematician call a certain complicated knot invariant "space math" because of how out there the approach was, but that was idiosyncratic.
435.
by kmill 9y ago
> Is this intended to just be for people who can read them, or am I supposed to just keep reading and pretend that I understand what's being said? You may also keep reading and not pretend that you understand what it says, like I
436.
by kmill 9y ago
(In case "I like this metaphor" isn't a comment about how you have liked and continue to like it, it's a reference to an old Buddhist saying. I could have sworn it also appeared on the first page of the Tao Te Ching, bu
437.
by kmill 9y ago
Don't worry, I'm not completely ignorant about the work historians do. > You can also re-discover the dates by doing your own historical research My point was that you can put a mathematician in a closed room with only pencil a
438.
by kmill 9y ago
It is true that you need to remember a lot of things to do math effectively, but a big difference between knowing dates and knowing theorems is that you can re-derive the theorems by yourself given enough time. A not-insignificant reason I
439.
by kmill 9y ago
http://www.mscs.dal.ca/~brown/n-oct04-harddayjib.pdf
440.
by kmill 9y ago
I see CM myself. Perhaps STIX is in your cache or installed locally, since MathJax makes some attempt not to download fonts.
441.
by kmill 9y ago
What do you mean? At https://josephernest.github.io/writing/ it includes cmunrm.otf: @font-face { font-family: texroman; src: url(cmunrm.otf); /* https://tex.stackexchange.com&#x2F
442.
by kmill 9y ago
Suppose you're generating positions mod 1, so f(i)=fmod(phi * i,1.0) is the position for index i. The distance between f(i) and f(j) is basically fmod(phi * (i-j),1.0), with the complication that mod wraps around... Anyway, if you do
443.
by kmill 9y ago
I am having a very difficult time believing this. - I cannot find about "diode cascades" having anything to do keyboards. The closest is the usual diode matrix to deal with simultaneous key presses. - The PS/2 interface invo
444.
by kmill 9y ago
The power of modern logic is that we can make predictions like this! I wasn't sure whether the Löwenheim–Skolem alien was just translating things into our set theory for our sake, but I think your proposal is more likely.
445.
by kmill 9y ago
For what it's worth, I spent time arguing with you because the ideas you were proposing were interesting, but the problem with math is you have to make rigorous definitions and such. The ideas as stated cannot be defended, but as I sa
446.
by kmill 9y ago
> The definition of infinitesimal is "the smallest-magnitude number that is greater than zero" That is hardly a definition. The real numbers are defined either as Dedekind cuts or as equivalence classes of Cauchy sequences of
447.
by kmill 9y ago
Neither has logfromblammo answered me nor am I hung up on notation. The notation is only incidental. They are claiming that it is a well-defined number system with numbers "having a first digit and a last digit and an infinite number
448.
by kmill 9y ago
> Don't confuse the limitations on mathematical notation with a limitation on imagination Good luck proving or calculating anything. You can define "infinitesimal/2 == infinitesimal", but nothing good will come out of
449.
by kmill 9y ago
There's not a problem if you can answer this: What is 0.000...1 + 0.000...9? (The 1 and 9 are digits after infinitely many zeros.) You are not allowed to say "undefined" if these are real numbers, because you are supposed t
450.
by kmill 9y ago
What would that be? If c>0 were smallest, then c/2 would be smaller and still positive!

More ›