Hacker Read top | best | new | newcomments | leaders | about | bookmarklet login

Yeah I think that's not obvious from the title of the article: 24/192 are useful downloads for the sake of editing.


sort by: page size:

Yes, but on the other hand it's a good reminder for everyone processing user provided files to sanity check or convert them to a canonical format in a sandboxes and resource limited process.

It’s only 23,000 options, a plaintext file would work fine. Computers are fast.

In the article, they did this at the file level.

That's what files are for.

I was a bit dumbfounded by the article because I forgot that a.out is a format before being a filename.

Yes, my productive editor becomes useless with that kind of file content.

i don't think it's specific to a file format.

Wrong use case. I'm talking about asking them to write it edit these files.

That's true for regular files as well.

Given that other recent article about university students who don't know what files are, I wouldn't be surprised in the slightest if this is considered esoteric.

I've found them useful for settings the filetype when you don't have the mime-suffix or other easy method to identify it. But that's about it.

It is pointless, also nobody ever cares much how well a text editor can handle obscure text files (file too large, broken encoding, ....) What matters is how it handles well-formatted files, the others aren't worth opening in an editor anyways :)

> No type-system will magically know ahead of time what the contents of the file will be before you run the program.

Yes they can, it's known as 'type providers'. http://blogs.msdn.com/b/dsyme/archive/2013/01/30/twelve-type...


It's metadata. It's as obscure as file permissions bits.

You can edit them, there just text files.

Funny that it's provided in one of the most dangerous filetypes.

So what? They're just files.

I think people need to use text files less. Or at least stop hard-wapping them.

File extensions aren't limited to 3 characters these days.
next

Legal | privacy