Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
StevenXC
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
11 ms
·
61.
▲
by
StevenXC
13y ago
When I tell many people that I do my research in infinite combinatorial games, they immediately assume that my research is more impressive[0] than my officemate's research dealing with finite combinatorics. I always move quickly to cor
62.
▲
by
StevenXC
13y ago
Ahh, the freshman probability theorem. AKA the Lotto player's defense.
63.
▲
by
StevenXC
14y ago
Whether you consider the properties of arithmetic to be axioms or some other word which describes a fact assumed without proof is a matter of semantics. The point was that without a precise foundation for mathematics we cannot proceed - any
64.
▲
by
StevenXC
14y ago
My (intended) implication was that answering the question > What is 6÷2(1+2)? without establishing the axioms of arithmetic is as impossible as answering > Does CH hold in ZF? without establishing some axioms of set theory. Put anot
65.
▲
by
StevenXC
14y ago
The question is taken from a Facebook post making the rounds. The parentheses are important however, as they introduce a new ambiguity: does the implied multiplication from the open parenthesis trump the division symbol on the left? Put ano
66.
▲
by
StevenXC
14y ago
Yeah, tale as old as time, right? It's making the rounds on social media currently, so I thought it was relevant. I agree with your interpretation FTA: > DON'T DO THIS! > It's ambiguous, and should not be written like this because
67.
▲
by
StevenXC
14y ago
Thanks for the catch!
68.
▲
6÷2(1+2)=?
(stevenclontz.com)
21 points
by
StevenXC
14y ago
|
55 comments
69.
▲
by
StevenXC
14y ago
Thanks for the link! (And thanks to the others below for their links as well!)
70.
▲
by
StevenXC
14y ago
My wife purchased this book to use in her elementary school computer lab; tragically it likely won't be used as IT won't install Python in her lab. (More accurately, she has requests put in from October that still haven't been fulfilled, so
71.
▲
by
StevenXC
14y ago
I'm interested in the White House's response, but anticipate the issue basically being blown off.
72.
▲
by
StevenXC
14y ago
But how many of us thought it would become proliferous as a global community? At the time it was locked down to each college (you had to have an @college.edu address to even register), and it wasn't until 2005 or 06 until high school kids
73.
▲
by
StevenXC
14y ago
> Well, maybe not. The NFL manages to spread 60 minutes of clock time across three hours in a typical game. What with time running off the clock between plays and the typical play lasting about four seconds, an average game ends up with
74.
▲
by
StevenXC
14y ago
College math instructor here; I've taught Calculus III for the past three years. I always feel bad for my freshman students, particularly those in the fall semester. Some of them are prepared, and some aren't, but almost none of them have a
75.
▲
by
StevenXC
14y ago
I just spent some time going though this blog - very interesting stuff, ranging from probability to code to topology to poker puzzles. Nice link.
76.
▲
by
StevenXC
14y ago
http://www.reddit.com/help/licensing
77.
▲
Font Awesome 3.0 Released
(twitter.com)
5 points
by
StevenXC
14y ago
|
0 comments
78.
▲
by
StevenXC
14y ago
I prefer 2.53999999... centimeters, but to each their own.
79.
▲
by
StevenXC
14y ago
Agreed.. > Therefore, all basic claims are more or less false. We just do not know why they are false. The entire body of science and mathematics therefore does not rest on a set of true statements but on a set of difficult-to-prove-fal
80.
▲
by
StevenXC
14y ago
Slick, thanks.
81.
▲
by
StevenXC
14y ago
Ah, thanks. If that's where the development going, would you recommend moving existing projects there? I could do it by hand, but is there a way to use Git or some other automated process to transfer projects?
82.
▲
by
StevenXC
14y ago
Thanks for the link!
83.
▲
by
StevenXC
14y ago
ScribTeX is going down? What happened?
84.
▲
by
StevenXC
14y ago
No sign-in is nice as an option, but the fact that you can't sign in is a negative for me - I'd like to be able to manage multiple documents and projects within an account like on ScribTeX. Oh, and ShareLaTeX looks really good; thanks for
85.
▲
by
StevenXC
14y ago
Interesting. http://labor.vermont.gov was shortened with the bit.ly domain - perhaps they caught on to the redirect.
86.
▲
by
StevenXC
14y ago
I couldn't get bit.ly to replicate the behavior that the article claimed: shortening .gov URLs using 1.usa.gov. Anyone else have any luck?