Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
a3_nm
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
39 ms
·
331.
▲
by
a3_nm
11y ago
"Up to 80 words per minute" doesn't look very promising.
332.
▲
by
a3_nm
11y ago
Why do these books have to cost $150? The academics won't be getting this money, those publishers essentially won't be involved in helping improve the book, and it doesn't cost $150 nowadays to get something published, even i
333.
▲
by
a3_nm
11y ago
A difference with Tarsnap is that s3ql is free and open-source software (both the client and server), so you can also use it on your own server, your friends' servers, etc. I used s3ql to back up my stuff on servers where I had shell a
334.
▲
by
a3_nm
11y ago
Unlike Chrome, Chromium is open-source, so presumably no one is forbidding people to distribute it in binary form and archive older releases. Worst comes you could always retrieve the source code of older versions and build them yourself:
335.
▲
by
a3_nm
11y ago
Theoretical CS is usually not thought of as an experimental or empirical field. When a paper in that field claims "X does not exist", this has to mean that the inexistence of X was proven, not that a body of empirical knowledge ag
336.
▲
by
a3_nm
11y ago
The title of the Boston Globe article and of the HN submission is misleading. The article does not prove that subquadratic edit distance algorithms do not exist. It only proves it conditional to another unproven complexity hypothesis (SETH)
337.
▲
by
a3_nm
11y ago
It's not really a full fork, but I'm fairly confident that Iceweasel, the patched and no-branding Firefox that ships with Debian, will not have this problem. (So as I Debian user I don't really care, but it worries me slightl
338.
▲
by
a3_nm
11y ago
I suspect that your parent is conjecturing that the fact of not having X.com will eventually stop being perceived as a sign of weakness. I do not know to which extent I agree. I find it sad but likely that people may eventually stop paying
339.
▲
by
a3_nm
11y ago
It is also interesting that there are many parallels between software engineering and the design of mathematical proofs (or theoretical CS proofs, which I am more familiar with). In theoretical CS, people talk of catching and fixing "b
340.
▲
by
a3_nm
11y ago
Yes, or with programs that I could use on the command line, like ImageMagick's convert.
341.
▲
by
a3_nm
11y ago
If the problem were just historical compatibility, I don't see what would be preventing them from adding a flag --do-things-sensibly to turn on the reasonable behavior.
342.
▲
by
a3_nm
11y ago
I do not find that the article insists strongly enough on the fact that computer-aided verification of proofs is not, in any way, a threat to human creativity in mathematics. You can just understand proof assistants as an effort to design
343.
▲
by
a3_nm
11y ago
> does that then mean your moral obligation to cooperate with law enforcement should still not kick in once you personally feel something wrong is happening My point was that some of the definitions of "terrorism" and "ped
344.
▲
by
a3_nm
12y ago
> It's a moral responsibility to cooperate with law enforcement when they are trying to track criminals like pedophiles, terrorists or similarly malicious persons. It is a moral responsibility only when you agree that what the crimi
345.
▲
by
a3_nm
12y ago
> You need to keep an ordered list of the pay of every single other employee and keep it up to date as people join and leave the company. Is it even possible to run a company without having this information somewhere?
346.
▲
by
a3_nm
12y ago
Already taken: https://lwn.net/Articles/131657/
347.
▲
by
a3_nm
12y ago
No, it doesn't work. "./*" expands to "./ -@" as a single field, which rm has no problems with. (Note that, however, this is still the globbing of the shell, as far as I understand.)
348.
▲
by
a3_nm
12y ago
For old articles probably not, but now there is: http://deletionpedia.org/en/Main_Page
349.
▲
by
a3_nm
12y ago
Where's the source? What's the license? I couldn't find this information, and downloads seem to be binary-only.
350.
▲
by
a3_nm
12y ago
Sure, I'm just saying it would be less straightforward than mitmproxy. I wonder if there are tools to hook into whatever SSL library is being used (OpenSSL?) and intercept traffic before it gets encrypted and after it gets decrypted? (
351.
▲
by
a3_nm
12y ago
The last csync release is from August 2013. Is the project still alive?
352.
▲
by
a3_nm
12y ago
In Seafile the server doesn't notify changes to clients, instead the clients poll every 30 seconds, which means that changes are synced with a 30 second delay (and presumably bandwidth is wasted). See https://github.com/
353.
▲
by
a3_nm
12y ago
Would this really work? I would expect the SSL certificate of Dropbox's servers to be hardcoded in the client, so the client would refuse to connect to an interceptor.
354.
▲
DIVINA: Discovering Vulnerabilities of Internet Accounts
(suchanek.name)
3 points
by
a3_nm
12y ago
|
0 comments
355.
▲
by
a3_nm
12y ago
Thanks! By the way, your blog http://rmcgibbo.org/posts/ seems to be missing an RSS/Atom feed; I would subscribe if there were one. (I would also tell you this via email, but your website is also missing an email
356.
▲
by
a3_nm
12y ago
It's interesting that, even though sqlite is free software (it is even public domain), some of the tests are proprietary: https://www.sqlite.org/th3.html . I wonder what's the goal of this...
357.
▲
by
a3_nm
12y ago
Didn't work on "[6] J. Wang, J. Han, Y. Lu, and P. Tzvetkov. TFP: An efficient algorithm for mining top-k frequent closed itemsets. TKDE, 17(5), 2005." I tried reporting it by clicking the red cross but it doesn't seem l
358.
▲
by
a3_nm
12y ago
Use a cryptographic hash function, and there will be no collisions. There are a lot of things that rely on the assumption that hash collisions do not happen.
359.
▲
by
a3_nm
12y ago
It's a pity that there isn't currently a way to leverage cached resources with different URLs for the same content. In fact this would not be hard: if you could indicate, with the resource URL, the hash of the resource content, th
360.
▲
by
a3_nm
12y ago
This doesn't imply that, as a webmaster, you should be fine with asking browsers to load external resources from third parties with potential privacy implications, just because privacy-conscious users should have disabled it by themsel
More ›