wetmore

28 ms·

271.
by wetmore 11y ago
"is an infinity to an infinitieth power still countable?" The countable product of even finite sets is not, in general, countable. For example, we can identify a real number with a binary sequence; in particular we can form a bije
272.
by wetmore 11y ago
The bank Standard Chartered[1] uses it, and instead of GHC they use their own compiler. There's some more info in this job posting[2]. [1] http://en.wikipedia.org/wiki/Standard_Chartered [2] https://don
273.
by wetmore 12y ago
http://io9.com/5627925/slavoj-iek-wake-up-and-smell-the-apoc...
274.
by wetmore 12y ago
Why is that?
275.
by wetmore 12y ago
I really like how this guy clearly knows his way around computers (poke around his site a bit, like the colophon[1]) but his academic interests are in history. It's great to see hacking interests and skills in someone working in a diff
276.
by wetmore 12y ago
The author is also a guard for the Baltimore Ravens.
277.
by wetmore 12y ago
The text is still readable as plaintext, but I think you could concede that styling it a bit does make it easier to see the effect of your markdown. It's like how, say, Sublime text has a syntax highlighter for markdown files. Sure, yo
278.
by wetmore 12y ago
There's a fascinating essay about this run here: http://www.believermag.com/issues/201105/?read=article_jamis...
279.
by wetmore 12y ago
Pick up a copy of Linear Algebra Done Right and start working through it. Edit: I see someone else linked to it in this comment thread.
280.
by wetmore 12y ago
We're not modern day gods.
281.
by wetmore 12y ago
Very cool.
282.
by wetmore 12y ago
You and I are math students, and we both have this sort of reaction when we see such articles. The important thing is to realize that not everyone is a math student.
283.
N choose k the Haskell way(mattwetmore.me)
2 points by wetmore 12y ago|0 comments
284.
by wetmore 12y ago
FWIW the guy who made this also made that huge quine from a year or two ago: https://github.com/mame/quine-relay
285.
by wetmore 12y ago
That article isn't quite it either: http://en.wikipedia.org/wiki/Manifold_Destiny#Controversy
286.
by wetmore 12y ago
This would be relevant if there was another proof of the ABC conjecture available.
287.
by wetmore 12y ago
That is like a complete no-go. It took something like 6 years[0] to formalize the proof of Feit-Thomson, one of the first "long" proofs in group theory, and that was done by experts who understood both Coq and the proof. In the ti
288.
by wetmore 12y ago
People often talk about the proof as if they just enumerated every possible planar graph and checked. Which is true in a sense, but disregards the work that went into making it possible to enumerate the cases in the first place. There are i
289.
by wetmore 12y ago
Yeah last time I saw this article that's pretty much what people were saying. It's like saying you shouldn't use a web framework, and using as an example a website where you type a word into a textbox and it alerts whatever y
290.
by wetmore 12y ago
You can say that R^2 has "more" points than R by inclusion: there is a natural injection of R into R^2 as a proper subspace. Think of the odd numbers in the integers, for example. "More" is a fairly loose concept in that
291.
by wetmore 12y ago
This is really innovative!
292.
by wetmore 12y ago
You have no idea about the technical challenges that come with a jump like this. Stop reducing it to "the parachute", "the team", "the suit". These are all important parts of the jump but you can't just do
293.
by wetmore 12y ago
Scott Aaronson teaches at MIT... I'm sure he has some experience with modern physics education.
294.
by wetmore 12y ago
I'm sure his hellban here is really helping demonstrate that...
295.
by wetmore 12y ago
Shape of Space is a really neat book.
296.
by wetmore 12y ago
It's easy to use partial application to get rid of that problem: the type of the function node is: node : String -> [Attribute] -> [CssProperty] -> [Html] -> Html We could define a convenient function div, for exampl
297.
by wetmore 12y ago
Thanks, I really appreciate the compliment. And yeah, it's great.
298.
by wetmore 12y ago
Unfortunately the math doesn't really say this.
299.
by wetmore 12y ago
Yeah it's sort of overkill for the sundial, and doesn't necessarily explain how you construct such a fractal, only that it exists (although the proof may be constructive, but it isn't given). I appreciated the math, as someon
300.
by wetmore 12y ago
tl;dr If, for each angle of the sun, you want some object to have a particular shadow, that object exists. The theorem says something like this: imagine you have a 2D plane, with the usual x and y axes. For any θ between 0 and pi, there is

More ›