kmicklas

28 ms·

241.
by kmicklas 10y ago
Why is 2) relevant? Natural language understanding is way harder and a totally unrelated problem.
242.
by kmicklas 10y ago
I don't know that much about machine learning and have only briefly surveyed the landscape of research on machine learning for theorem proving, but if you want to learn about the current state of the art in verified programming it&#x27
243.
by kmicklas 10y ago
I would bet pretty good money that automated theorem proving is better than the best humans within 10 years. There's still not a lot of good research in combining machine learning and theorem proving, and intuitively it seems feasible.
244.
by kmicklas 10y ago
They don't even claim to be communist? The official line is "socialism with Chinese characteristics" which is already pretty misleading.
245.
by kmicklas 10y ago
Communist != undemocratic China happens to be neither communist or democratic
246.
by kmicklas 10y ago
> The 2 major mistakes of mankind in the 20th century are fascism and communism. That's a bit misleading cause fascism is just inherently bad while communism has had some implementation problems.
247.
by kmicklas 10y ago
> It doesn't help the rest of the world speaks English while Chinese pumpers insist that eventually everyone will speak and write Mandarin, which is syntaxtually and linguistically a lot harder to learn and use. I'm certain Jap
248.
by kmicklas 10y ago
> we don't even have languages (now!) that have lasted a millenia. Wut?
249.
by kmicklas 10y ago
> especially since California is so worker-friendly on everything else Are there no tech jobs outside California?
250.
by kmicklas 10y ago
Or Ctrl-C or Ctrl-[
251.
by kmicklas 10y ago
> As a vim user, esc is pretty important. Only if you're too lazy to rebind it to any of the many more finger friendly options.
252.
by kmicklas 10y ago
Okay but then you can't compare that to Stockholm proper. It should be exceedingly obvious to anyone who has even Google image searched the two cities that NYC is much denser.
253.
by kmicklas 10y ago
> No urban area in the U.S. is as dense as Stockholm's (3,500). NYC is at the low end of that range (2,000), and is less dense than a bunch of Swedish cities with just ~50-100k people. Wat. NYC is over 10k/km^2. Manhattan is ov
254.
by kmicklas 10y ago
I think the lifting background is biasing you. I'm also a lifter and I had the same thought when I first saw Soylent. But actually, I would dispute that fat is cheap and plenty. Carbs are for sure, but when I do the math I'm actua
255.
by kmicklas 10y ago
> and pack a far more interesting macro profile than the Soylent ones. What makes you say that?
256.
by kmicklas 10y ago
In my experience Google NYC attracts a lot of people who are very cynical about the stereotypical bay area tech culture. I get the impression there is a lot less cool-aid being drunk here but then again I've never lived in the bay so I
257.
by kmicklas 10y ago
> Imagine if you could visit Rome today, and find it still populated by Latin-speaking, toga-wearing Romans. Maybe no more togas, but isn't this basically true? While for example Spanish is Basquified and French is Germanicified, mo
258.
by kmicklas 10y ago
I think leftist and SJW are not necessarily considered derogatory by those who identify as those things.
259.
by kmicklas 10y ago
The MTA is much more than 5 years behind on just about everything else, and MetroCards are one of the least annoying things about the subway I think, so I'm skeptical we'll see it anywhere near that soon.
260.
by kmicklas 10y ago
I remember reading that the fastest human reflexes and computational outputs seem to happen around 100ms, and it takes roughly 10ms to transmit a signal from neuron to neuron, so that would imply 10 layers deep is enough for, for example, h
261.
by kmicklas 10y ago
Latency throughput tradeoffs is the one I always seem to be trying to explain to non CS people.
262.
by kmicklas 10y ago
Likely by that time we will have overcome this problem.
263.
by kmicklas 10y ago
This seems like less of an argument against functional languages and more like an argument that functional languages aren't going to magically make your program concurrent. Which is basically true. Despite crappy concurrency infrastruc
264.
by kmicklas 10y ago
As nice as etymologically transparent definitions are, that's not what racism means. (It includes the culture component.)
265.
by kmicklas 10y ago
Exactly, that is the root cause of these so called "community issues."
266.
by kmicklas 10y ago
Spellcheck more or less solves the needs of an educated native speaker who occasionally forgets weird spellings. But there's still a huge economic and educational burden to teaching spelling to kids and (especially) the millions of non
267.
by kmicklas 11y ago
> It also seems that there's a middle road that isn't often taken (possibly with the exception of gaming) where you can use assembly language (at least for performance critical sections). Is using assembly really a meaningful a
268.
by kmicklas 11y ago
I'm skeptical that the "weight training" routine was at all adequate. Climbing a wall with weights attached to you is nothing like a set of heavy squats.
269.
by kmicklas 11y ago
While I'm a big fan of intermittent fasting myself, I don't think the research is anywhere near conclusive enough to say it's more important than basic advice like sleeping, exercising, and avoiding processed foods.
270.
by kmicklas 11y ago
Yes, that's exactly what I meant. But compare this to CompCert. CompCert itself is verified, which means it doesn't have to output a proof for each program it compiles. Even if you don't care about the theoretical concerns of

More ›