minopret

9 ms·

31.
by minopret 12y ago
In light of experience would it perhaps be helpful after all to use a block-level copy (such as Partclone, PartImage, or GNU ddrescue) and analyze later which files have the bad blocks? I see that the choice of a file-level copy was deliber
32.
by minopret 12y ago
CompCert is formalized in Coq. It looks possible to represent one's own C source code and its intended behavior using CompCert's proof development. I would not at all suggest that it's easy. Also, CompCert sources are offered
33.
by minopret 12y ago
Yes. Those are traditional mottos from the way Jewish religious books are used. My wild guess is that they are more likely a sort of inside joke here, but it is conceivable that they are intended in all seriousness. Anyway, a person may wri
34.
by minopret 12y ago
Followup: The directions that I mentioned are somewhat buried in the site. Here they are: http://www.gutenberg.org/wiki/Gutenberg:Wiki
35.
by minopret 12y ago
Whoever would like to improve that list at gutenberg.org can follow directions on the site to get access to edit it. I hope they will. I was glad to see that some like that page. I was actually the one who grabbed that list of contents from
36.
by minopret 12y ago
Yes, I'd revise as "Consider using Python 3 in this case." This is a chief reason why I now avoid Python 2. Python 3 is more than five years old. Where we have discretion to choose Python 3, it's time to exercise that di
37.
by minopret 12y ago
Pronounced "author of Flow"
38.
by minopret 12y ago
Here on Hacker News, I momentarily mistook "µg" for "pg". So I thought Paul Graham was making an announcement about APIs for Android. If that had been intentional, it could have been a homograph attack.
39.
by minopret 12y ago
So that sort of explains the new Unicode 7.0 characters "fool" and "trump-1" through "trump-21" as well as the existing "knight" playing-card characters. Wikipedia helps too. 'A Tarot deck corres
40.
by minopret 12y ago
"There is no law against" except in Professor Kingsfield's class on contract law. "You come in here with a skull full of MUSH; you leave thinking like a lawyer." Which I am not.
41.
by minopret 12y ago
The Big Bang Theory got on my nerves until I started reading a biography of Oppenheimer. Sheldon is not an appropriate symbol of whatever all geeks are. He might be an Oppenheimer though. He is certainly a Sheldon. I can appreciate that. Th
42.
by minopret 12y ago
He mentions "transferability" as a goal. Whatever a person learns in the context of this small Linux is directly applicable to other Linux distributions. Granted, whatever a person learns in the context of any Forth is applicable
43.
by minopret 13y ago
Is it that debate (even as devil's advocate) is structurally limited when participants self-select for willingness to act? That dynamic reminds me of the bias labeled "sympathetic point of view" as described in the essay &quo
44.
by minopret 13y ago
Many of these are surprisingly very readable, particularly if you're willing to wade into their world. For example, I find it hilarious that, in The Republic, Glaucon (if I recall correctly) complains directly about Socrates using his
45.
by minopret 13y ago
You can't avoid it "at all costs". You're going to have to delineate your acceptable risks, conversely your threat model. That's a game-like activity played by your business analyst (you) and your security analyst (
46.
by minopret 13y ago
Third page, first column. Goodness, others here quoted bits of it and now you show us that it's all one passage!
47.
by minopret 13y ago
The Book Review Column edited by William Gasarch seems to include a rather large proportional of books that, given a suitable undergraduate-level background, a person can hope simply to enjoy. A person can hope to grow with them, rather tha
48.
by minopret 13y ago
For me it is difficult to understand what's depicted in these few photos with their captions in tiny hover text. I see that there is a relevant report at Foreign Policy's web site from a month ago. One of these photos is the main
49.
by minopret 13y ago
I enjoy ProjectEuler.net and I would put it in that category. Within the first few months I was motivated to learn a number of excellent Python performance tips. I can't guess whether you find math puzzles as compelling as I do, but [t
50.
by minopret 13y ago
No, it's aerogel condoms that are vaporware. Ho ho.
51.
by minopret 13y ago
"More than I need to see women who have it all, I need to see women who are simply competent engineers." That's my suggestion for what to say in the title, if it can be said in fewer words. I think it would give the idea bett
52.
by minopret 13y ago
What's wrong is what the DOM is and what it isn't. The DOM is the Document Object Model data structure along with the parametrized routines that operate on that data structure. It exposes every way in which the apparent simplicity
53.
by minopret 13y ago
I like it. Before clicking I thought perhaps he had used CSS to render Adobe's commercially important multiple-master typeface. That would have shocked me. So forgive me for feeling a little bit let down!
54.
by minopret 13y ago
Correct. The article says that the plastic pistol was brought within yards of the Prime Minister by a correspondent from a show on Israel's News 10. It says that the Israel Security Agency (sometimes known in English as "Shin Bet&
55.
by minopret 13y ago
There's nothing quite like the Internet Archive Wayback Machine. For sufficiently recent dates, web caches can serve a similar purpose. Some of those can be accessed conveniently using the Firefox plugin "Resurrect Pages" ( h
56.
by minopret 13y ago
That almost happened when my wife, my eight-year-old daughter, and I were playing Monopoly last night. I didn't think there was anything very realistic about Monopoly, but here it is. We were adding houses without keeping sufficient cash to
57.
by minopret 13y ago
What's such a novelty about sequences of ones and zeros? And even that is really just the separation of darkness from light. We've had that since Creation.
58.
by minopret 13y ago
Similarly, we've all experimented with not going to the movie theater at all. I don't want to be barred from theaters, but I don't have a lot of use for them either. One particularly interesting presentation in movie theaters is the Metropo
59.
by minopret 13y ago
In theory it's the distinctive manner of expressing ideas that is protected. We know that in practice it's complicated.
60.
by minopret 13y ago
Yes, The Great Gatsby entered the public domain January 1, 2011, in countries such as the United Kingdom and Australia that observe copyright for the author's lifetime plus 70 years. F. Scott Fitzgerald died in 1940. But in the United Sta

More ›