CHY872

23 ms·

181.
by CHY872 11y ago
That's pedantic and also incorrect. The problem of whether an exact solution can be found efficiently can be put to rest. You might not choose to use this algorithm, but that's not really the point of algorithms research. You&#x27
182.
by CHY872 11y ago
Don't you want https://coq.inria.fr/library/Coq.Lists.Streams.html ?
183.
by CHY872 11y ago
nVidia positioned the K1 towards the automotive industry (for all of driver assistance, computer vision etc) [0]. Since control systems there will be similar to control systems with this oven (knobs, dials etc) I'd imagine that there&#
184.
by CHY872 11y ago
Mozilla do a lot of work besides Firefox. They have Thunderbird, Firefox OS, Rust, Servo, Bugzilla, etc etc. Brooks' estimates suggest that cost of development increases with the square of the length of the code. Likewise, a single dev
185.
by CHY872 11y ago
As a tall guy, I find that my knees are at most a couple of inches from the seat in front. When the person in front of me reclines and their chair hits my knees, it's clear that I'll be uncomfortable for the entire remainder of th
186.
by CHY872 11y ago
You're generally allowed to refuse service for any reason you want, provided it's not specifically outlawed (for example, if you run a hotel you can't refuse service on grounds of race).
187.
by CHY872 11y ago
Not quite. You're appleaing to the Curry-Howard correspondance, which is neat but is not used by many theorem provers. Furthermore, > fun fix (f : 'a -> 'a) : 'a = fix f; val fix = fn: ('a -> &#x2
188.
by CHY872 11y ago
Who said it's a hardware problem? When my logic board was replaced recently, I had horrendous issues for a few days, with Chrome unusable, high CPU usage, etc - something was funny with the drivers, and it took some command line muckin
189.
by CHY872 11y ago
If you do work related stuff on your computer, your work should be taking care of the computer. This is why most people get assigned a computer by their places of employment, and are not expected to use their own. The place of work has thei
190.
by CHY872 11y ago
If you have full disk encryption enabled, the system won't boot if you don't give it the password. They write it down because you can't expect a tech to remember 16 digits of alphanumeric password for each client, as it looks
191.
by CHY872 11y ago
Mozilla's a non-profit - the money it collects goes into supporting additional open-source products. At the moment, it does this on income of $300 million per year (mostly from their search provider). Of this money, $200 million goes o
192.
by CHY872 11y ago
If you have a software problem, how are they supposed to check that they fixed it without being able to boot the computer?
193.
by CHY872 11y ago
At an Apple Store, I've been asked this a few times. Then, I just say "I'd prefer not to" and have no problem.
194.
by CHY872 11y ago
For a bit of theoretical background, try http://www.cl.cam.ac.uk/teaching/1415/Types/types.notes.pdf (it's fairly easy reading). I'm not sure I quite understand what you're saying completely, b
195.
by CHY872 11y ago
The reason that no one has given yet is that you can monitor more carefully when you have a VPN. With a VPN, you can follow the bastion model; the VPN server runs only the VPN code and nothing else (with as much crap removed as possible), w
196.
by CHY872 11y ago
FPGAs have a lot of very regular structures, so they're generally one of the first things you produce with a process.
197.
by CHY872 11y ago
There is zero need for a general purpose List.last. It encourages programming using List.last, when in most cases that leads to crap performance (as it would run in O(n) time). It's a one line function to write, but it certainly has no
198.
by CHY872 11y ago
OCaml has cool stuff like MirageOS, as one compelling lib (still a research project). It's a library that constructs unikernels. You write your application, build it, and out comes a VM that you can run. I feel that many of the advanta
199.
by CHY872 11y ago
As a correction, it's wrong to describe OCaml's types as being polymorphic (I expected this to be polymorphic types in OCaml, which would have been far more interesting!) All of the types used by OCaml are monomorphic. The expr
200.
by CHY872 11y ago
On a typical app, the user will have to trade off: peak/average memory, peak/average cpu, file storage usage, network, latency, throughput, cache behaviour, tolerance to pauses, and somehow produce a viable weighting function out
201.
by CHY872 11y ago
You're at least over-optimistic (certainly more wrong than GP). How are you measuring the performance of the app, then? Depending on your software, it might be throughput, it might be latency, it might be failure-related, etc etc. The
202.
by CHY872 11y ago
99% of people don't subsequently edit photos in photoshop; Google's tools are adequate. You're in the 1% who are power users, and so might find the mainstream solution inadequate. For that reason, software like Lightroom exis
203.
by CHY872 11y ago
It's more that if you have a site that's designed to showcase how good your company is at designing websites, and the site doesn't run well on a high end laptop, then it doesn't say much for your design, as it suggests y
204.
by CHY872 11y ago
Also using Firefox here. It's a MacBook Pro that's a few years old, but is still fast.
205.
by CHY872 11y ago
Web page is nice-looking, but isn't snappy (at least not on my laptop).
206.
by CHY872 11y ago
Then your argument degenerates. What you've said isn't factually incorrect, but it's boring; you've picked a property that no one can possibly prove or disprove (but that is obviously not true) and used that as an argume
207.
by CHY872 11y ago
If two things correlate, it doesn't mean that there's a causal link between them; it means that there's a third thing that causes both of them. Those companies who pioneered the open office plans also do a lot of other things
208.
by CHY872 11y ago
BUT frequently this is actually done. One of my old professors works on positioning, and a client he did consulting for wanted to track their employees around the office; and then design new offices based on what came out of it. If you&#x27
209.
by CHY872 11y ago
It's not a good point, though. Writing a rudimentary tool of that type would take perhaps an hour.
210.
by CHY872 11y ago
Parallel proving should be a big bonus. Nipkow found that on the Isabelle test set, using 3 theorem proves in parallel gave as good results in 5 seconds as the best among them gave in 120.

More ›