petters

71 ms·

841.
by petters 10y ago
t0mek noted that all possible definitions of a number are countable. That would include all algebraic numbers.
842.
by petters 10y ago
I just spun up a f1-micro instance. It got a public IPv4 and I was able to reserve a static IP. I did not see that IPv4s would cost extra.
843.
by petters 10y ago
As far as I can tell, this bug has nothing to do with memory-safety. And I don't think C++ is to blame here. It's just a lot of untested code. Surely even Ocaml and Haskell need tests.
844.
by petters 10y ago
The second statement is misleading at best. It suggests that QCs are some sort of parallel/faster classical computers.
845.
by petters 10y ago
The author says in a comment > If hitting exactly zero is much less probable than hitting exactly 0.5, then I would argue that you do not have a uniform distribution… But due to the non-uniformity of floating point numbers, I think the a
846.
by petters 10y ago
Not really the same at all. The proxies were buggy and that time Google rolled back the change.
847.
by petters 10y ago
Enterprises pay money for support and these kind of guarantees.
848.
by petters 10y ago
How can they know that? A broken web page could have been queried many, many times the last weeks and couldn't one of the responses contain Wave data?
849.
by petters 10y ago
This. Bringhurst's fantastic "Elements of Typographical Style" is still relevant.
850.
by petters 10y ago
There are better algorithms for bootstrap intervals that you perhaps should look into. Better in the sense of quality, not speed. Google e.g. "interval BCa"
851.
by petters 10y ago
OTOH, that 1GW drops to almost zero at night.
852.
by petters 10y ago
Using dual numbers and modern C++ you can write a library that can do this: auto lambda = [](auto x, auto y) { // The Rosenbrock function. auto d0 = y[0] - x[0]*x[0]; auto
853.
by petters 10y ago
Not here in Scandinavia. Many are a little worried about the Russian government, but I have never heard anything against Russians. That quote stood out for me as well.
854.
by petters 10y ago
Google has lately stressed the importance of communication apps doing only one single thing (Allo, Duo, and Messenger for SMS). But Google's competitors seem to be going in the opposite direction. Facebook messenger does SMS as well si
855.
by petters 10y ago
That's the thing, debit cards are so common in Scandinavia so many people call them "credit cards" ("kreditkort") even though they're really not.
856.
by petters 10y ago
This is a proposed work for a Master's thesis. It seems to be from 2013, so I wonder whether it was successful? If I had to guess, I would think implementing a SAT solver on a GPU is quite hard. Many branches etc.
857.
by petters 10y ago
> Is there some simple reason to avoid doing this 50"+ computer monitors are rare (at least where I live).
858.
by petters 10y ago
I agree but I think it is just a way to explicitly state that this adjustment was performed and not forgotten. Better would be: "Per student spending has increased about 2.5x in the past forty years (after adjusting for inflation).&quo
859.
by petters 10y ago
Or Python. I switched from Matlab to Python and Numpy and Matplotlib and Jupyter a few years ago and haven't looked back. They really are better in many ways.
860.
by petters 10y ago
What she or he said is mostly true, though. But there are always exceptions.
861.
by petters 10y ago
No, I think you are correct. I think the result for the CelebA dataset is a toy. But many results in this area are toys, e.g. deep dream.
862.
by petters 10y ago
One huge advantage of C++ is Visual Studio. Once Rust gets something similar I might switch for my personal projects.
863.
by petters 10y ago
Google's interns are paid well.
864.
by petters 10y ago
The cost they list for research and development compared to e.g. marketing gives you an idea.
865.
by petters 10y ago
I think most people would not prefer grey on black fixed width. But it did not bother me that much, personally.
866.
by petters 10y ago
My impression as well. I am a long-time pro user. I don't mind that much, except that I really want this feature.
867.
by petters 10y ago
> Smart Sync will be available for all Dropbox Business and enterprise customers today for early access. I really hope us regular users will get it soon as well. This is great and how file syncing should work.
868.
by petters 10y ago
Wasn't that much earlier?
869.
by petters 10y ago
Everything is one repo at Google. So yes, it shares repo with search. :-) There are many, many servers involved to display a results page. These things probably are an RPC to a dedicated server. Haven't checked though.
870.
by petters 10y ago
Dropbox promised to delete files permanently after 30 days. This does not look good.

More ›