Thanks, I know `||` in general--I meant I hadn't seen the specific construction GP had used. The error handling to delete the output file in case the command failed is really elegant.
Can you explain what the program itself is doing to do that? That is, can you explain the Coq program itself (and how it triggers the bug)?
Oh my! That `||` is gorgeous. I hadn't seen that before.
>Fun fact: ASCII actually reserved control characters for this stuff. 1F is the "unit separator" and 1E is the "record separator". There is even a "group separator" (1D) and a "file separator" (1C). Which means you…
A colleague uses the Dell XPS 13 and it's pretty good; I'm eyeing that for my next machine.
Why not have Apple require apps to run usefully with just basic permissions? Anything beyond access to own files is optional. This could certainly be gamed, but scrupulous app authors could gain a ton of trust from…
Some valid points, but GitHub's UI evolution has been phenomenal over the last two years.
Stupid (and somewhat tangential) question: how do bypass kernels work with virtualization, if at all?
...and a mechanism provided by the party you are attempting to secure passwords from. I use LastPass, but just sayin'.
In about a year of using Campfire, I never saw a single bug fix or new feature. We've since moved to HipChat, and while it's not perfect, it's so refreshing to pay for a service that gets regular updates (not to mention…
Rollback is essentially like a fork to the past. It creates a new database, but only replays transactions up to a specific instant. It's based on the Postgres Point-in-Time Recovery feature:…
Oof, you're right--sorry about that. The addons page [1] has the right pricing, but our own pricing page is incorrect. I'll make sure we get this updated. Thanks for pointing it out! [1]:…
While I agree this is not a huge engineering endeavor and Yahoo could do the Internet a solid by making this work, our free dev databases are limited to 10k rows (and, as the name suggests, intended for development).…
Microsoft sometimes licenses things like this and it's commonly referred to as "shared source."
General usability is important in pretty much all interfaces, but discoverability isn't. There's a big difference between designing an interface a user will be instantly familiar with, and one that's optimally suited to…
That's absurd. The law of diminishing returns comes into play, and for most cases, assembly is just not worth it (whereas C or C++ is). Rust seems like another interesting take at that sweet spot, but it seems like in…
The default is determined by initdb, but was capped at 32MB due to the above issue. With this change, the cap's been bumped to 128MB.
reference: http://www.ufopaedia.org/index.php?title=Elerium-115
As a big fan of the GPL, ...I'm skeptical. I don't think Valve would benefit from keeping any potential modifications (or even plugins) secret, given that these would be far removed from its bread-and-butter. A friend…
I'll take talking to my phone as a first step. Getting simple file transfers to my SIII has been a pain, not to mention anything more sophisticated...
Don't forget --no-preserve-root
Why not rsync?
Sure, I was being facetious. Even with actions that are simple to execute, I'm somewhat skeptical that a black box with a single recommendation is the best answer. I think that presenting the analysis as "do this, and…
Then you can skip the middleman and just automate the taking-action part.
The thing is, unit tests are another "use case" for a given piece of code. Many people here are saying, "I wouldn't do monkey patching in production, but it's not really a problem for stubbing in test code." And what…
Thanks, I know `||` in general--I meant I hadn't seen the specific construction GP had used. The error handling to delete the output file in case the command failed is really elegant.
Can you explain what the program itself is doing to do that? That is, can you explain the Coq program itself (and how it triggers the bug)?
Oh my! That `||` is gorgeous. I hadn't seen that before.
>Fun fact: ASCII actually reserved control characters for this stuff. 1F is the "unit separator" and 1E is the "record separator". There is even a "group separator" (1D) and a "file separator" (1C). Which means you…
A colleague uses the Dell XPS 13 and it's pretty good; I'm eyeing that for my next machine.
Why not have Apple require apps to run usefully with just basic permissions? Anything beyond access to own files is optional. This could certainly be gamed, but scrupulous app authors could gain a ton of trust from…
Some valid points, but GitHub's UI evolution has been phenomenal over the last two years.
Stupid (and somewhat tangential) question: how do bypass kernels work with virtualization, if at all?
...and a mechanism provided by the party you are attempting to secure passwords from. I use LastPass, but just sayin'.
In about a year of using Campfire, I never saw a single bug fix or new feature. We've since moved to HipChat, and while it's not perfect, it's so refreshing to pay for a service that gets regular updates (not to mention…
Rollback is essentially like a fork to the past. It creates a new database, but only replays transactions up to a specific instant. It's based on the Postgres Point-in-Time Recovery feature:…
Oof, you're right--sorry about that. The addons page [1] has the right pricing, but our own pricing page is incorrect. I'll make sure we get this updated. Thanks for pointing it out! [1]:…
While I agree this is not a huge engineering endeavor and Yahoo could do the Internet a solid by making this work, our free dev databases are limited to 10k rows (and, as the name suggests, intended for development).…
Microsoft sometimes licenses things like this and it's commonly referred to as "shared source."
General usability is important in pretty much all interfaces, but discoverability isn't. There's a big difference between designing an interface a user will be instantly familiar with, and one that's optimally suited to…
That's absurd. The law of diminishing returns comes into play, and for most cases, assembly is just not worth it (whereas C or C++ is). Rust seems like another interesting take at that sweet spot, but it seems like in…
The default is determined by initdb, but was capped at 32MB due to the above issue. With this change, the cap's been bumped to 128MB.
reference: http://www.ufopaedia.org/index.php?title=Elerium-115
As a big fan of the GPL, ...I'm skeptical. I don't think Valve would benefit from keeping any potential modifications (or even plugins) secret, given that these would be far removed from its bread-and-butter. A friend…
I'll take talking to my phone as a first step. Getting simple file transfers to my SIII has been a pain, not to mention anything more sophisticated...
Don't forget --no-preserve-root
Why not rsync?
Sure, I was being facetious. Even with actions that are simple to execute, I'm somewhat skeptical that a black box with a single recommendation is the best answer. I think that presenting the analysis as "do this, and…
Then you can skip the middleman and just automate the taking-action part.
The thing is, unit tests are another "use case" for a given piece of code. Many people here are saying, "I wouldn't do monkey patching in production, but it's not really a problem for stubbing in test code." And what…