Chinjut

58 ms·

661.
by Chinjut 11y ago
Well, it is what it is (the first prime number after a googolplex). What would you prefer as a description of it? A listing of its digits? That would take rather a long time to read out. I can start you off, though. Its first few digits are
662.
by Chinjut 11y ago
Not that it needs to be said, but I posted this to spark discussion, rather than because I wholly agree or disagree with it. I personally think people should just study what they want whenever they want to, and for many people that will inc
663.
by Chinjut 11y ago
Non-paywall link: http://pbs.twimg.com/media/Ccy0r_9VAAIzNsq.png
664.
Calculus Is So Last Century(wsj.com)
3 points by Chinjut 11y ago|3 comments
665.
by Chinjut 11y ago
And why exactly do you think Facebook is offering this service? (And, furthermore, why exactly do you think they are offering this service with access only to Facebook and Facebook approved sites, rather than to the Internet at large)? [On
666.
by Chinjut 11y ago
> if you have ever worked at Google... As it happens, I have. You are correct that there are tons of smart people there (in my less modest moods, I'd take myself as one such datapoint). What of it? That does not contradict, and ther
667.
by Chinjut 11y ago
A testament to the perhaps under-appreciated role of luck in our life outcomes; those with the most success are not necessarily destined to it by intrinsic greatness, but just by capricious random events swinging their way as opposed to oth
668.
by Chinjut 11y ago
As you already noted, this doesn't seem much like basic income (as payment regardless of employment is the sine qua non of basic income). This just seems like an augmented salary, slightly unusually paid out.
669.
by Chinjut 11y ago
The C++ use of the word "functor" goes back to the original use of the word "functor" by Rudolf Carnap (to mean something like a word which combines with other words as arguments to produce a full term; a word that acts
670.
by Chinjut 11y ago
The purpose of that comment is to note precisely the same thing applying to adjunctions as you note applying to monads: programmers use adjunctions all the time even if they don't realize it. "I've never heard of them so I&#x
671.
by Chinjut 11y ago
That comment of mine wasn't the spiel I'd give to someone first trying to learn about the typical use of monads in a programming context, any more than I'd lecture a beginning programmer on the general theory of commutative r
672.
by Chinjut 11y ago
I don't quite understand the relevance of the stackexchange link. Are you just pointing out that some mathematicians sometimes discuss categories, with this as an arbitrary example? I don't think anyone doubted that.
673.
by Chinjut 11y ago
The significance of monads in programming is entirely because of the adjunction between the category of types and "pure" functions and the category of types and "monadic" functions (i.e., the Kleisli category of the mona
674.
by Chinjut 11y ago
Not sure what this is in reference to, but as you can see at http://opa.berkeley.edu/uc-berkeley-fall-enrollment-data , UC Berkeley's freshman enrollment in fall 2015 was about 43% Asian (and, for comparison, 24% white)
675.
by Chinjut 11y ago
I was under the impression UC Berkeley was similar to Caltech in this regard?
676.
by Chinjut 11y ago
> Good. Now do it with independent axioms / where no axioms follow from the rest. They already did. Which of their four axioms do you think follows from the rest?
677.
by Chinjut 11y ago
For readers who aren't already familiar with this, I'll note that this is in large part what Homotopy Type Theory is about making easy to work with. http://homotopytypetheory.org/book/ is a good introduction.
678.
by Chinjut 11y ago
Yes; putting essentially the same example another way, we might feel intuitively that there are two separate proofs of the propositional theorem that "B AND C" implies "B OR C". Edit: Or, following up on danharaj's
679.
by Chinjut 11y ago
The article makes suggestions here about the classic proof which aren't true. Euclid's proof of the infinitude of the primes was not phrased in terms of an overarching reductio ad absurdum (and even had it counterfactually been, m
680.
by Chinjut 11y ago
Two points: A) Euclid never assumes the existence of a finite set of all primes (doing so at the outset is a framing adopted only by later mathematicians); people just frequently erroneously think Euclid's proof did this, never having
681.
by Chinjut 11y ago
You've misread the proof. They do not argue that n, n + 1, and n + 2 are co-prime; they only note that n, (n + 1), and n * (n + 1) + 1 are co-prime [and more generally they continue in the same fashion, using the basic fact that n and
682.
by Chinjut 11y ago
What property does the classic proof use that the "new" proof does not?
683.
by Chinjut 11y ago
Old proof: Let's produce a series of values v_1, v_2, ..., such that v_n has at least n distinct prime factors. We can do this by noting that v_n + 1 has at least one prime factor but no prime factors in common with v_n, and thus takin
684.
by Chinjut 11y ago
> I do respect the humanities, but there's only so much you can do with them. Whereas the knowledge, technology, wealth, and all-around good stuff gained from electrical engineering, astrophysics, materials science, etc. is as limit
685.
Against Charity(jacobinmag.com)
1 points by Chinjut 11y ago|0 comments
686.
by Chinjut 11y ago
"There were two 'Reigns of Terror,' if we would but remember it and consider it; the one wrought murder in hot passion, the other in heartless cold blood; the one lasted mere months, the other had lasted a thousand years; the
687.
What Life Will Look Like After the Robots Steal All Our Jobs(vice.com)
3 points by Chinjut 11y ago|0 comments
688.
The Math Myth [pdf](education.lms.ac.uk)
2 points by Chinjut 11y ago|0 comments
689.
by Chinjut 11y ago
I'm not complaining. Just amused.
690.
by Chinjut 11y ago
"I suspect this might have something to do with the rising cost of health insurance" "Whenever there's an article about the lack of jobs or pay for the middle class, the first thing I do is hit Ctrl+F and start typing &#

More ›