sddfd

24 ms·

121.
by sddfd 9y ago
It can. He didn't bother to do it.
122.
by sddfd 9y ago
Why not use a binary number representation? They are in the library: https://coq.inria.fr/distrib/current/stdlib/Coq.NArith.BinNa... If you use Z, even the Omega tactic (solver for presburger arithmetic) shou
123.
by sddfd 9y ago
If CF was legally obligated to offer their services to them, such a claim wouldn't hold water. I'm not saying CF /should/ be obligated to provide the service to everyone. I'm just saying if they were, then speculat
124.
by sddfd 9y ago
I understand. My question is more about how much freedom they should have with their own ToS. Let me explain why I think this question is important. First, we all value freedom and in particular everyone should be allowed to offer business
125.
by sddfd 9y ago
Why, exactly, would that be a reasonable thing to do for a /payment processor/?
126.
by sddfd 9y ago
> That kind of runaway automation that could pay for this kind of a party isn't close Automation is already here, and has been for a long time. The whole point of the industrial revolution is about automation: Machines that support
127.
by sddfd 9y ago
We are past the point were the problem is resources scarcity, be it products or workforce. We are discussing about resource allocation. Money is the accepted way of influencing resource allocation. Telling people they should not save money
128.
by sddfd 9y ago
What about exchange traded funds? The general trend is still upwards and the Bubbles don't change that. Of course if you get in just before a bubble bursts, you lose at first and may have to wait a long time to break even. But judging
129.
by sddfd 9y ago
Exactly and now tell anyone that it was ever a good idea to not provide basic pensions for everyone and make payments mandatory. If that had been the case then at least everyone had paid at some point.
130.
by sddfd 9y ago
> right direction, vs not even a good idea I think it is a step in the right direction because it allows you to build platform independent software today, with a relatively defined interface to the system (dom + JavaScript). This is a g
131.
by sddfd 9y ago
I think electron is a step into the right direction. Let's assume for a moment there weren't the problem with JavaScript performance (because, for example, web assembly can replace it). Then electron is a platform everyone can bui
132.
by sddfd 9y ago
There is also Kelsey's 1989 popl paper, which explains the idea of compilation as program transformation very clearly. Kelsey and Hudak "Realistic Compilation by Program Transformation" POPL 1989
133.
by sddfd 9y ago
I concede, I've only ever been in a large campus library in the US. Also I agree, if a few percent of the population cannot afford to access the internet there is a serious problem. I just doubt that libraries are an effective way to s
134.
by sddfd 9y ago
>Are books a waste of money? For preservation and dissemination of information, definitely. They might be useful for education, especially children's ed, though. > In-person public speaking events? Don't need a library for t
135.
by sddfd 9y ago
Why would anyone think libraries are important in 2017? If things keep getting digitalized at the current speed, all knowledge of the world will be accessible online in our lifetime. Unless you believe that a large percentage of citizens wi
136.
by sddfd 9y ago
He didn't say he didn't like it. He just said it wasn't his game, in the sense that it wasn't his way of continuing the story, and that he'd like to pick off where he left of after MI2.
137.
by sddfd 9y ago
The segfaults in that particular Reddit thread were caused by a php test suite and are not the high parallel load type of segfault plaguing RyZen. As of now, nobody seems to be able to reproduce the high parallel load segfaults on epic or t
138.
by sddfd 9y ago
The absurdity is that life insurance/pension companies assume live expectancy is actually rising. The company providing my pension fund estimates my life expectancy to 114 years - a fantasy number, albeit one that /increases/
139.
by sddfd 9y ago
When publishing a paper/book with a certain publisher there is an interaction between the prestige of the publisher and the prestige of the author: An author publishing with prestigious publishers is considered prestigous; a publisher
140.
by sddfd 9y ago
How would I dontate? The site seems down atm.
141.
by sddfd 9y ago
This is not a problem. Microorganisms are already evolving to metabolize plastic: https://www.sciencealert.com/new-plastic-munching-bacteria-c... The real problems start when microorganisms that can metabolize plastic becom
142.
by sddfd 9y ago
What I never understood was why they were opening offices in SF, NY, and London, without having the revenue to back them up. In my eyes that was just flushing huge amounts of money down the drain.
143.
by sddfd 9y ago
Why is this getting downvoted?
144.
by sddfd 9y ago
I respect your stance. However, it is also clear that you haven't been under fire yet :)
145.
by sddfd 9y ago
Funny story :) > Unfortunately, map updates to car navigation systems are quite expensive. I thought cars would get their updates via a connection to a cell network?
146.
by sddfd 9y ago
>Yet, German manufacturers have no competing product to offer https://en.wikipedia.org/wiki/Audi_e-tron I had an hybrid A3 rental just 6 weeks ago. If I could, I'd never drive something else. It's smooth i
147.
by sddfd 9y ago
Exactly, but who's going to use a system that gives you the very true feeling that you could do its job much better?
148.
by sddfd 9y ago
I reguarly drive rentals from all German premium brands. All their navigation is good, but the VW/Audi navigation system stands out. It has the cleanest interface and displays exactly the information you need. Also, the VW/Audi sy
149.
by sddfd 9y ago
I agree. Also, consistent, sub 1% innovation is very important, but people like to forget that and (over-)value the 10X or "disruptive" innovation everyone keeps talking about recently.
150.
by sddfd 9y ago
That is an excellent question. If you've ever driven Berlin inner city during rush our with cyclists driving on the road, vans parking on regular traffic lane to unload (no joke), people jaywalking, etc. you'll probably find it ha

More ›