kmill

59 ms·

541.
by kmill 10y ago
Thanks! Scorekeeping was always a part of the code I was unsure about, and I thought I saw some scoring inaccuracies while playing the game, but somehow never identified what they were. If you're curious, the HITSELF constant in the o
542.
by kmill 10y ago
Funny you should ask. I translated it to Javascript a few months ago, fixing a couple of bugs in the original game in the process[1]: http://www.kylem.net/stuff/gorilla/gorilla.html [1] and surely introducing a c
543.
by kmill 10y ago
Related work: * Penrose graphical notation. https://en.wikipedia.org/wiki/Penrose_graphical_notation * Trace diagrams. https://en.wikipedia.org/wiki/Trace_diagram * Trace diagrams for Hopf algebra
544.
by kmill 10y ago
I just added an iteration operator to https://math.berkeley.edu/~kmill/tools/zgraph/zgraph.html Example: z^2-0.4+0.57i+0.03*e^(i t) iterate 150 Use shift+left and shift+right to adjust the rate at which t var
545.
by kmill 10y ago
If you want some visuals, here is something I made a few months ago: https://math.berkeley.edu/~kmill/math54fa16/roots/roots.html (it accepts polynomials in any reasonable format, factored or not, and gives b
546.
by kmill 10y ago
I think this is not quite correct for what the controversy is. My understanding is that Fukaya wrote a paper with brilliant ideas, no one could understand them for sixteen years, and then the controversial part is the brashness with which
547.
by kmill 10y ago
In a linear algebra course I helped teach last semester, I had the students go through the exercise of writing down the matrix for "multiplication by i," where the complex numbers are thought of as a two-dimensional vector space w
548.
by kmill 10y ago
What you are saying is the only way I can imagine to interpret what I wrote, if one assumes I was intending to make any sense. By the way, in Python, bool is a subtype of int (i.e., instanceof(True,int) == True), and True + True == 2. C i
549.
by kmill 10y ago
No, it's true when exactly M are true. "a1 || a2 || ... || an" is true when at least one is true. The latter is the same as "a1 + ... + an == 1 || a1 + ... + an == 2 || ... || a1 + ... + an == n".
550.
by kmill 10y ago
Yes, they are the same assuming ¬¬ϕ = ϕ. But, one interpretation of mathematical truth is something like this: 1. A proposition is the name of a set/type whose elements are proofs of the proposition. 2. A proposition is provable if it
551.
by kmill 10y ago
The main problem is taking a statement about a set ("for every A in X, A is nonempty") to the existence of a set ("there is a function f [which in ZFC is considered to be a set] such that for all A in X, f(A) is in A").
552.
by kmill 10y ago
The axiom isn't exactly about being able to pick an arbitrary element out of an arbitrary set. It says that if you have a collection of nonempty sets, then there is a function f from the collection X of sets to the union of the collec
553.
by kmill 10y ago
I was thinking about LEM today. Without the oracle, you can prove that the double negation of the law of the excluded middle is true, which can be represented with the following type: negneg_lem :: ((Either a (a -> r)) -> r) -&
554.
by kmill 10y ago
Right now, searching for "the browser mistake" just leads to this page.
555.
by kmill 10y ago
In C, I've seen people do "multidimensional arrays" by A[n * i + j], with A a double[m * n], rather than by arrays of arrays. Especially if the array is being passed as a parameter, and the array's dimensions are given
556.
by kmill 10y ago
What you are saying is completely true, but I don't understand what you are meaning to address. The person I was responding to (klodolph) seemed to be correcting the article's author about something which needed no correction.
557.
by kmill 10y ago
Yeah, I meant finitely many terms. To me, things like "infinite sums" are special operations since they don't always converge. In case and exp, ln, sin seem special: they are solutions to simple linear differential equations
558.
by kmill 10y ago
Do you mean something other than the sense the author mentions, that it can't be given in terms of elementary functions?
559.
by kmill 10y ago
In case you missed the tags right under the title: "coding, math; algebra, haskell." I wouldn't call this a bait-and-switch. (I was happy enough to learn that graph join and graph union distribute, and that they satisfy a c
560.
by kmill 10y ago
I once developed a hierarchical Markov chain, and I decided to use it to generate fortune cookie wisdom because I thought people would be more willing to overlook grammatical mistakes or be willing to interpret it as an expression of deep t
561.
by kmill 10y ago
As a math PhD student who is supported through teaching undergraduates, I have to spend a lot of time convincing my students that they have misunderstood what math is and they do in fact have to memorize the definitions of the words. It us
562.
by kmill 10y ago
It wouldn't have been a problem if it instead used an index variable i ranging from 0 to the number of sides, computing 2 pi i/sides along the way. If you're going to rely on repeated addition of irrational numbers to come ou
563.
by kmill 10y ago
The question is "what would the return value be," and without knowing which compiler is used you don't know what it would return. It doesn't make sense to say the program returns "undefined behavior" or "
564.
by kmill 10y ago
I have some memories from first grade in a California public school (in Santa Cruz) of "finding a number we can put in place of x so that x + 2 = 4" and how "at some point you will learn how to deal with x + 4 = 2". In
565.
by kmill 10y ago
Yeah, it does seem interesting (and I've seen Tsvi around the Berkeley math department). Maybe someday I'll spend the time to understand it! When I said the thing about complexity, I was thinking about intuitionism. For an intui
566.
by kmill 10y ago
> But that is a composition of both language syntax/features and libraries I agree with that, but I also think of a language as being syntax, libraries, and idioms together. Libraries give words, and the base language gives the abi
567.
by kmill 10y ago
> what can I do in $LANGUAGE that I can't do in any other programming language? In the end, languages are about getting stuff done: expressing a program. Everything can be tapped out with paperclips on the data bus in the end. What
568.
by kmill 10y ago
Or if Python's your thing: http://www.kylem.net/stuff/sieve_eratosthenes.html
569.
by kmill 10y ago
In my high school orchestra, I'd count the rest measures on my cello's fingerboard using binary. Usually I'd only need four fingers, but occasionally I'd need my thumb as well if the composer mistook the cello for a bas
570.
by kmill 10y ago
Back when city streets were still contested between pedestrians and automobiles, there were many cases of cars going in excess of 40mph on city streets. Due to the many fatalities, people pushed for requiring governors to keep cars from ex

More ›