Viewing profile — deafbybeheading

Only if you interrupt the actual `rm`, no? If you interrupt the main command, you won't get a 0 exit code so the `||` branch still executes. Your mechanism is clearly safer, but th…

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 elega…

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 "fil…

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 auth…

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 th…

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 Recover…

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 ou…

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 …

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 w…

Not to mention the program sigkills itself before it attempts to `exit 0`...

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 …

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 remove…

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?

Indeed. A few years ago, I worked in an Adobe Flex on a reporting front-end that had significant client-side complexity and required us to support relatively old browsers. We re-ev…