grogers

33 ms·

331.
by grogers 13y ago
Writing a formal specification using something like TLA+ is actually very much like writing unit tests. Therefore, many of the same problems apply. The main difference is that you are testing your design, not the implementation. You are try
332.
by grogers 13y ago
Maybe, but the linux kernel has had its share of local privilege escalation bugs. If I were a cloud provider (or user) I'd be hesitant to trust containers for hard isolation.
333.
by grogers 13y ago
Ah this old chestnut... Clearly the author believes in fighting flames with a flamethrower. Anyone could write the exact same arguments against this piece, just as he does against Linus. His arguments aren't well backed, and his tone is eve
334.
by grogers 13y ago
No, of course not - how often do you actually look at extended windows of history... But it still pains me to no end when my coworkers constantly commit history like: Commit d Parent a b Merge branch origin/mainline into mainline
335.
by grogers 14y ago
8 choose 3 = 56 Even sniffing just one login gives a completely practical attack to gain access to your account, even though the attacker doesn't have the full password. They might not be able to do everything the full password would let th
336.
by grogers 14y ago
I view it less as a cost factor and more as a convenience. Developing expertise with juniper and Cisco takes a lot longer. Each router vendor has its own quirks. Even just buolding software to monitor routers is basically a full time job si
337.
by grogers 14y ago
Is it really with getting Colo space for just one rack of servers? To me this seems to be well below the threshold where owning your own hardware makes sense.
338.
by grogers 16y ago
This has been true for over 5 years (far cry came out in 2004...). And yet, CryEngine has basically only been used in other Crytek titles. If destructible trees couldn't sell game engines, theres little new hotness in CryEngine 3 that will.
339.
by grogers 16y ago
And typically the AUR has whatever else you may happen to need, up to date as well. That was really what pushed me from gentoo to arch, maintaining portage overlays is a pain, and the official gentoo package repo never updates what packages
340.
by grogers 16y ago
I bet that something similar to the http://www.it.uu.se/research/group/hipe/papers/succ_types.pd... success typing used in erlang's dialyzer could be used to provide some level of type checking. Type hinting would only make this simpler (
341.
by grogers 16y ago
If you have enough computing power to do it, so do the crackers (but usually even moreso)
342.
by grogers 16y ago
Well the number of pirates rose disproportionately more than the number of paid users, so it definitely isn't _just_ a constant percentage.
343.
by grogers 16y ago
Actually he says the opposite: (This isn't cheating; you aren't hurting anybody else's performance by turning on ECN for only one machine. Like magic, ECN is just always an improvement, and always fair. Nowadays, chances are that the reason
344.
by grogers 16y ago
What's wrong with spawning a separate process for the FSM? You will still typically have it linked in your supervisor hierarchy.
345.
by grogers 16y ago
Also, in many cases (eg. this one) the duplicated content even links to the original source, so even simple pagerank should put stackoverflow significantly higher than its duplicates.
346.
by grogers 16y ago
They also usually have the smallest process technology of the time. If necessary, Intel could fab ARM chips and dominate the ARM market from the inside.
347.
by grogers 16y ago
I tried to go to google.com but it showed me ebay... Switching browsers or going to a different site didn't update anything. Its a neat idea though!
348.
by grogers 16y ago
Another good introduction to zippers that helped me understand them in plain terms is: http://blog.ezyang.com/2010/04/you-could-have-invented-zippe...
349.
by grogers 16y ago
I hate a lot of the tools/libraries/frameworks/software I am forced to use on a daily basis, because a lot of it is complete crap, or has some very annoying misfeature that I run into constantly and there is no way around. I'd wager that th
350.
by grogers 16y ago
One example was that tuples elegantly handle multiple return values anyways, so you don't need to bother with them if you have tuples (and tuples are good in their own right). Another is that generics already exist in the language - map wor
351.
by grogers 16y ago
This is interesting - each node is tiny and can barely do much (mainly RAM constraints). But because they are tiny, you can pack tons of them on a chip/board and coordinate several nodes to do larger work items. Since all actions are asynch
352.
by grogers 16y ago
What pushed me away from contributing patches and improvements was the Contributor Agreement. I'm sure others feel the same as it is a pretty large barrier to entry. Making each clojure.contrib.* library more independent makes sense, but it
353.
by grogers 16y ago
The two examples he gives could be done easily in any programming language that supports higher order functions (ie. functions which take a function as an input argument). To a lesser extent he requires lambdas in the with-memcached example
354.
by grogers 16y ago
Ironically, LAPACK is for the most part pretty straight forward. Most of the code is simply shells out to BLAS routines. Because everything is matrix-matrix, it all maps reasonably well to how you'd explain it in a math textbook.
355.
by grogers 16y ago
While that is true, sometimes stepping away from the problem will let it coalesce in my head and give clarity to what I wasn't making any headway on earlier. If you aren't getting anything done, working longer is probably not the path to vi
356.
by grogers 16y ago
Never used GOOG-411, I've always found the GOOGLE text service more convenient, but its strange to see them shut it down. I guess not that many users?
357.
by grogers 16y ago
That was fun, good waste of time while my code was compiling. I just used C++ and hacked up a prime seive for #2 and for #3 used a combination generator I had previously used before - http://photon.poly.edu/~hbr/boost/combinations.html
358.
by grogers 16y ago
I'm not sure that's the right way of looking at it. With most numerical simulations, the only thing that matters is the level of accuracy. By changing the accuracy, you change how fast it runs (less accuracy->faster). So for a given lev
359.
by grogers 16y ago
Yep, and from Runge-Kutta you can get better by switching to variable (and/or independent) step size. Eg. Adaptive Runge-Kutta (variable timestep based on local error estimate from two different orders). Or you can go to predictor-corrector
360.
by grogers 16y ago
It says it uses Euler integration, what do you expect? At least the really bad interactions are mostly handled by absorbing the planets into one another, even though not all of them are.

More ›