intuitionist

26 ms·

241.
by intuitionist 8y ago
About a quarter of the people in US correctional institutions at any given time haven't been convicted of anything --- they're awaiting trial and can't pay bail. Another quarter or so are locked up for drug or public order of
242.
by intuitionist 8y ago
real heads will remember his proto-blog, “This Week’s Finds in Mathematical Physics,” which goes all the way back to 1995: http://math.ucr.edu/home/baez/TWF.html
243.
by intuitionist 8y ago
The idea that a proof should show why something is true is one of the fundamental motivations for constructive mathematics. (Brouwer and Martin-Löf would both say that this is what a proof is, almost by definition.) So for instance an exi
244.
by intuitionist 8y ago
No, it's imprisoning two million people in prisons.
245.
by intuitionist 8y ago
In general, I think that if you find yourself "needing" to write in an intentionally complex and verbose style, this is symptomatic of bad design choices elsewhere, maybe even at the language level.
246.
by intuitionist 8y ago
Yes, the hole is the handle -- imagine the cup part "melting" into the handle and you get a sense of how the transformation works.
247.
The Programming Languages Zoo(github.com)
1 points by intuitionist 8y ago|0 comments
248.
by intuitionist 8y ago
This is surely true, but the US can and does cover certain medical expenses as part of Medicare/Medicaid. The political obstacles are much harder to overcome than the logistical ones.
249.
by intuitionist 8y ago
If you’re going to rebalance your BTC-cash portfolio every time the price doubles you should probably use Kelly bets, right?
250.
by intuitionist 8y ago
“Made mostly as a throwaway tool” pretty much hits the nail on the head. (I’m a twitter friend of Elias’ who saw how it went down.) Heaven forbid someone would amuse themself while hacking together a script for a friend.
251.
by intuitionist 8y ago
I'll not take offense, nor will I spout off about metaphysics here, but I can't let it pass without noting that Cantor's diagonal argument is in fact constructively valid --- given a function from a set S to its power set 2^S