mkehrt

14 ms·

181.
by mkehrt 6y ago
But arts that were sports remained, the same as in East Asia. We still have boxing, wrestling, fencing and others.
182.
by mkehrt 6y ago
FWIW, I would use your distinction as well. "Atomic" to me means fission only, where "thermonuclear" means fusion and "nuclear" could mean either. But other comments seem to show this is not universal.
183.
by mkehrt 6y ago
3. I am not sure what GP meant with this, but I do know that in type theory, intuitionistic logic is very important. The propositions of intuitionistic logic correspond exactly to the types of types programs in certain models of programmi
184.
by mkehrt 6y ago
My (educated layman) understanding is that there actually is a useful thing that HoTT gives us as a foundation for mathematics. that ZFC does not. This is the translation of proofs from one structure to an isomorphic one. For example, if I
185.
by mkehrt 7y ago
I'm confused. main doesn't take void--it takes two arguments. The f() syntax means that the definition doesn't specify how many arguments the function will be called with, while f(void) means it takes no arguments.
186.
by mkehrt 7y ago
int main() { return 0; } Main takes argc and argv, but it's idiomatic to omit them if unused.
187.
by mkehrt 8y ago
bakul's point is that it's not already implemented--Go's existing map doesn't have finegrained synchronization, and you can't write a generic map that does. Or, for another example, you can't write a generic Li
188.
by mkehrt 8y ago
With Java I assume you mean that you can create two arrays that are subtypes of each other if their contents are subtypes? i.e., `int[] < double[]`, or `Subclass[] < Superclass[]`? If so, this is known wrong in the programming languag
189.
by mkehrt 9y ago
Siri can already recognize a song, and apparently this uses licensed Shazam technology. But I never want to use that, and instead use Shazam, because I don't want to talk to my phone in public. I'm afraid Apple will kill the app
190.
by mkehrt 9y ago
You've assumed locals own the housing, when really most of them are renting. Rental prices go up; everybody loses.
191.
by mkehrt 9y ago
The atmospheric oxygen was 35%. Everything was on fire!
192.
by mkehrt 10y ago
Does the fact that it's a peptide mean it won't survive digestion and can't be taken orally?
193.
by mkehrt 10y ago
Non termination is modeled as false: a function that takes an A and never terminates has type A -> F, or ~A. There's some connection between classical logics and concurrency, though it's hard to get at. You can use callcc to i
194.
by mkehrt 10y ago
I'm not sure "calculus" has a technical meaning in the same sense "algebra" does, and, as mentioned by tel, the use is mostly historical. But note that other historical simple languages such as combinator systems
195.
by mkehrt 10y ago
I feel the same way, when I'm not rushed to catch a plane. It's a good place to relax, especially if I have a reasonably lengthed layover.
196.
by mkehrt 10y ago
Hm, you may be right. I though that was going to violate: > Each recursive function call must be on a syntactic subcomponent of its formal parameter. But it doesn't. But you can't actually use that to get a nonterminating pro
197.
by mkehrt 10y ago
Essentially, to get a nonterminating, program, your top level function needs to take a piece of codata to corecurse over to run indefinitely. Since you can't actually write a program that takes no arguments that produces an infinite p
198.
by mkehrt 10y ago
In the past few years, both the hardware caught up to and new practical techniques have been developed for multilevel neural nets (deep learning). It turns out that these are very effective at many problems that were not as amenable to ear
199.
by mkehrt 10y ago
Check out /r/askhistorians, if you aren't familiar with it.
200.
by mkehrt 10y ago
That sounds pretty cool! Unfortunately, your website is terrible . There is no information about what it is or how it works without watching a video, and I'm not willing to do that.
201.
by mkehrt 10y ago
I'm pretty sure I was told those pimento ones were poisonous as a kid.
202.
by mkehrt 10y ago
I'd be willing to be the GP is in CS; in CS, conferences are where it's at.
203.
by mkehrt 10y ago
Good point.
204.
by mkehrt 10y ago
Does anyone know if this section of Missouri law has ever been challenged under the Thirteenth Amendment's prohibition against involuntary servitude? It naively seems unlikely to me to survive. Or are there other precedents for forcin
205.
by mkehrt 10y ago
No, they're mostly actual photographs by this guy: http://www.theverge.com/2013/5/8/4311868/the-illusion-of-sim...
206.
by mkehrt 10y ago
This is essentially what an RSU is: a stock grant with a vesting schedule. Many public tech companies grant them, but they are more complicated for the granting company taxwise[1], so they are rare in small startups. [1] They have to withh
207.
by mkehrt 10y ago
Luckily, my compiler writes large piles of tests for me. I call it the typechecker.
208.
by mkehrt 10y ago
Presumably whatever they are testing will work on other, similar systems over which the US military does not have control.
209.
by mkehrt 10y ago
This is the first reasonable thing I've read in this post. I can't believe that upthread someone actually proposed limiting variable names to four characters to keep the 80 char limit!
210.
by mkehrt 10y ago
"CDMA" means something different than "code division multiple access" multiplexing when contrasted with GSM. Instead it refers to the CDMA2000 family of telephony protocols ( https://en.wikipedia.org/wiki&

More ›