deafbybeheading | 11 years ago | on: Proving false in Coq using an implementation bug
deafbybeheading's comments
deafbybeheading | 11 years ago | on: Proving false in Coq using an implementation bug
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.
deafbybeheading | 11 years ago | on: Proving false in Coq using an implementation bug
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)?
deafbybeheading | 11 years ago | on: Proving false in Coq using an implementation bug
Oh my! That `||` is gorgeous. I hadn't seen that before.
deafbybeheading | 11 years ago | on: XSV – A fast CSV toolkit in Rust
>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 can't safely use it for arbitrary data (since your records themselves could contain these separators). Most of the time that doesn't matter; sometimes it does.
deafbybeheading | 11 years ago | on: Lenovo Caught Installing Adware on New Computers
A colleague uses the Dell XPS 13 and it's pretty good; I'm eyeing that for my next machine.
deafbybeheading | 11 years ago | on: Moved ~/.local/share/steam. Ran steam. It deleted everything owned by user
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 playing ball.
deafbybeheading | 11 years ago | on: Stop Changing UIs for No Good Reason
Some valid points, but GitHub's UI evolution has been phenomenal over the last two years.
deafbybeheading | 12 years ago | on: Subtly Bad Things Linux May Be Doing To PostgreSQL
Stupid (and somewhat tangential) question: how do bypass kernels work with virtualization, if at all?
deafbybeheading | 12 years ago | on: KeePass: OpenSource Password Manager
...and a mechanism provided by the party you are attempting to secure passwords from. I use LastPass, but just sayin'.
deafbybeheading | 12 years ago | on: 37signals Job Board is closing down
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 has decent mobile clients).
deafbybeheading | 12 years ago | on: Heroku Postgres 2.0
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: http://www.postgresql.org/docs/current/static/continuous-arc...
deafbybeheading | 12 years ago | on: Yahoo Acquires Bread, Will Shut Down The URL Shortener That Earned You Money
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!
deafbybeheading | 12 years ago | on: Yahoo Acquires Bread, Will Shut Down The URL Shortener That Earned You Money
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). Please don't put a billion in them.
deafbybeheading | 12 years ago | on: Launched my iOS game as Open Source
Microsoft sometimes licenses things like this and it's commonly referred to as "shared source."
deafbybeheading | 12 years ago | on: Big buttons are great, but they'd better make sense
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 the task at hand.
deafbybeheading | 12 years ago | on: Golang Automatic Reloads
Not to mention the program sigkills itself before it attempts to `exit 0`...
deafbybeheading | 12 years ago | on: Less is exponentially more (2012)
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 Go this was an afterthought (though to be fair, the performance benefits of C / C++ are often cargo-culted even when that kind of performance is completely irrelevant, so Pike still has some valid points).
deafbybeheading | 12 years ago | on: Postgresql 9.3 Released
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.
deafbybeheading | 12 years ago | on: 115, the Newest Element on the Periodic Table
page 1
Your mechanism is clearly safer, but the user is required to clean up `foo.tmp` themselves in case of failure, so it's not really comparable.