cantankerous

8 ms·

31.
by cantankerous 10y ago
I agree with the idea that sin taxation is stupid in the sense that there's a moral component involved. The tax in this case is essentially an indulgence. That said, I see a benefit in taxing soda and cigarettes in particular because
32.
by cantankerous 10y ago
This is a vacuous statement. Science is an inductive exercise and suffers from the problem of induction. It's difficult to make the case that real truth can come from it at all. In lieu of this, peer review is a very good heuristic
33.
by cantankerous 10y ago
This was my first reaction. Why does a contract language need to be Turing Complete? Trustless contracts + Turing tarpits seems like a big turn off to me.
34.
by cantankerous 10y ago
Without formal methods and math, what does programming do to reason about the mounting complexity of modern systems?
35.
by cantankerous 10y ago
I think you mean the naturals.
36.
by cantankerous 10y ago
The Reader Monad lets you abstract away local state. You're on the right track with partial functions, but using a monad is cleaner (at least in Haskell...and I'd guess anywhere else). Essentially using the monad instead will le
37.
by cantankerous 10y ago
Interestingly enough "Environment" is another name for the Reader Monad.
38.
by cantankerous 10y ago
GoF didn't try to anthropomorphize, but they ended up doing it anyway. The things they sought to name where simply tools for humans. It's the programmers equivalent of a book about hammers and screwdrivers. It's valuable f
39.
by cantankerous 10y ago
I think that's the trouble with so-called "fiscal conservativism." It holds that government should only be spending money on "the important stuff." What comprises the important stuff is anybody's guess.
40.
by cantankerous 10y ago
How pervasive is the campus-wide safe space thing, anyway? I was under the impression that it is largely a media-created, headline-grabbing thing. Naturally, you can find youtube videos of people being ridiculous at universities, but you
41.
by cantankerous 10y ago
I'm not sure the term "fiscally liberal" describes a consistent set of beliefs as they're held by a group of people in the United States. For that matter neither does "fiscally conservative."
42.
by cantankerous 10y ago
OP implied he was opposed to the ride-sharing legislation and related initiatives. Not Uber and Lyft.
43.
by cantankerous 11y ago
Routing remains an issue when you scale up to that many IP cores. It's one of those aspects of FPGA design that doesn't really have an analog in software.
44.
by cantankerous 11y ago
Many mainstream languages like Python don't even have a syntactic notion of types. The best you could really do is say that Idris would get you some typing reification that you might do in those languages at no cost, but it would seri
45.
by cantankerous 11y ago
I believe it's also called negative introspection . I think that's what epistemic modal logic calls it, anyway.
46.
by cantankerous 11y ago
Really the value for the customers comes from being able to hail a cab from your phone (because we're talking Uber, here). I don't think there's really any major value intrinsic to the "sharing economy" that trickl
47.
by cantankerous 11y ago
Who makes and maintains the technology, though? You're talking about replacing employers with some kind of system, but that system has to be created and maintained by somebody. It carries their values forward to how transactions occu
48.
by cantankerous 11y ago
It seems to me that the prize model really could work in areas where there's a lot of value snagged up in existing knowledge we already have and the prize-givers want to shake out that value in the form of good applications. I think t
49.
by cantankerous 11y ago
What about the cognitive load of chasing down things like null reference errors, which in some strongly typed languages don't even exist? And no, they're not always fairly obvious to find, especially when you're fixing someb
50.
by cantankerous 11y ago
No. I'm talking about the Google user sign in features for Chrome and Android. Microsoft is adding a twist to its version, but in my mind they're pretty much the same.
51.
by cantankerous 11y ago
Google has its own proprietary sign in features across its offering. I think it's becoming more or less standard fare.
52.
by cantankerous 11y ago
Ecuador sheltering Assange is more about Ecuador having a stronger bargaining chip with the US in future deals than anything else. Ecuador isn't some bastion of liberty. Far from it, actually. They're doing it to make a stateme
53.
by cantankerous 11y ago
They could theoretically leave, but if they have serious unresolved disputes with their host country, it could very well prevent them from leaving by using force. What then?
54.
by cantankerous 11y ago
What kinds of other tasks do you mean? Clash's surface language is Haskell, which is a general purpose programming language.
55.
by cantankerous 11y ago
Good catch! I haven't been back recently and hadn't checked the news. I'm still waiting for the state legislators to prohibit city regulation of ride sharing services. This may roll back the requirements at the city level.
56.
by cantankerous 11y ago
Glad to hear they could reach a deal in Portland. The terms your describing is, I think, essentially the terms KC is asking for now. Uber is holding out that the Missouri legislature will override the city ordinance with regards to ride s
57.
by cantankerous 11y ago
I think I agree with you, but I'm hesitant to to slight somebody for how they making an honest living. All "jobs" aren't created equal, especially of many jobs are contracted or low paying without benefits. It's u
58.
by cantankerous 11y ago
Also, here's a video of Kansas City's mayor, Sly James, speaking about the frustration of these negotations from his side of things prior to the vote. https://www.youtube.com/watch?v=fHjJUJW0Jt4
59.
by cantankerous 11y ago
Uber has been having similar regulatory fights in Kansas City, which recently passed ordinances that Uber claimed would make it prohibitive to do business there ( http://goo.gl/cXlhzb ). Uber made claims that "thousands
60.
by cantankerous 11y ago
Please don't. It will be filled with rage. ;-)

More ›