gary_bernhardt

12 ms·

61.
by gary_bernhardt 9y ago
It depends on where you look. Hacker News is pathologically tilted toward negative sentiment, usually in the form of look-how-smart-I-am. I also announce these screencasts on Twitter, where the the response is universally positive (in six y
62.
A Bourne-style shell built from scratch in 35 minutes [video](destroyallsoftware.com)
197 points by gary_bernhardt 9y ago|64 comments
63.
Text Editor from Scratch [video](destroyallsoftware.com)
3 points by gary_bernhardt 9y ago|0 comments
64.
by gary_bernhardt 9y ago
Not right now, but only because the coupon code was removed a while back for Reasons. I need to re-add that. If you like, free to email support@ in a few months to ask whether it's done.
65.
by gary_bernhardt 9y ago
The code to make screencasts free has been in for a while, but I rarely used it with the computation series because most of them didn't make sense in isolation. These new ones do make sense alone, so I'll probably do this more. I
66.
by gary_bernhardt 9y ago
Sorry, that's fixed now. I accidentally had it cutting off at midnight UTC. I just pushed expiration out by another day (and it's now judged by Pacific time, and the page says that explicitly for good measure).
67.
by gary_bernhardt 9y ago
When I accept an invitation to speak at a conference, I say "Yes, but I don't want to you to publish a video. If that's OK, then I'm in." Also, you may not realize this, but a lot of conferences are for-profit. It
68.
by gary_bernhardt 9y ago
Likewise. I've thought about doing this for years, especially since there are so many great works that are rarely read. Now I'm afraid that it'll be haunted by the specter of the time when someone did it and infringed my comm
69.
by gary_bernhardt 9y ago
If I were building this service, I'd do what several people in this thread have told you to do, and what I've already told you to do on Twitter: I'd ask for permission and only record an article after that permission is recei
70.
by gary_bernhardt 9y ago
Here's one huge difference: https://news.ycombinator.com/item?id=14550931 (Specifically, this site is depriving me of income.)
71.
by gary_bernhardt 9y ago
I posted a copyrighted work on Destroy All Software, which offers paid subscriptions to that same work. You found a link designed to be shared as a sample and decided to copy my commercial work in full, on your website, behind your own logi
72.
by gary_bernhardt 9y ago
One of Destroy All Software's primary value propositions (even included in the subtitle of the front page of destroyallsoftware.com) is terseness. My customers pay me more money because I produce small things. You can get quantity anyw
73.
by gary_bernhardt 9y ago
No, it's OK for this to be on HN. I'm doing an experiment with the compendium where the individual articles are publicly linkable, but navigating to one from the index requires a subscription.
74.
by gary_bernhardt 10y ago
What were you trying to do, locate your favorite commit?
75.
by gary_bernhardt 10y ago
That would explain why the commit frequency seemed to improbably high. I just updated it with correct numbers. Thanks.
76.
by gary_bernhardt 10y ago
I removed the "power law" language from the post, other than a quick "this is often called a power law, which probably isn't correct" note. I don't want to get bogged down in statistics when all I really care a
77.
by gary_bernhardt 10y ago
I thought about trying to clarify this, but "power law" is the term that's been thrown around to describe this effect in software systems for many years. Really, I only care about the fat-one-sided-ness (for its practical imp
78.
by gary_bernhardt 10y ago
Whoa, you're right! He referenced it neither by 7-character short hash nor by full hash, and I didn't think to check intermediate hash lengths. I've updated the post to reference that email.
79.
The Biggest and Weirdest Commits in Linux Kernel Git History(destroyallsoftware.com)
394 points by gary_bernhardt 10y ago|51 comments
80.
by gary_bernhardt 10y ago
It's possible to be a world-class programmer and think that test doubles are a silly waste of time. Many of the programmers whom I admire most think that. Nothing that I said precludes it. I now regret writing my monthly comment on the
81.
by gary_bernhardt 10y ago
I didn't say that you are wrong. I didn't say "that everyone with experience agrees with [me]". I specifically used the words "mostly favored by" twice. Mostly does not mean "everyone". It's fine
82.
by gary_bernhardt 10y ago
I agree with you in general. In this case there's only one coherent taxonomy in widespread use so I think it's reasonable to say "just use it". It's unfortunate that people who aren't already experts on a topic
83.
by gary_bernhardt 10y ago
There are objects that demand to be interacted with; there are objects that allow only certain predefined interactions; there are objects that allow any interaction and record them all for later inspection; and there are objects that are si
84.
by gary_bernhardt 10y ago
Spies are a different thing: they allow any interaction, recording it all so that you can inspect it layer. Python's "mock" library, for example, is mostly a spy library.
85.
by gary_bernhardt 10y ago
You're probably thinking of Scott Alexander's nootropics survey. http://slatestarcodex.com/2016/03/01/2016-nootropics-survey-...
86.
by gary_bernhardt 10y ago
That doesn't contradict the quote that you provided. The quote just says "the compiler will reject the program at compile time [if there's no valid proof]", which is true.
87.
by gary_bernhardt 10y ago
I don't see the problem here. I said that Idris will reject the program if the proof fails. That's what you're saying too, unless I'm very confused. (It's late, so maybe I am?)
88.
by gary_bernhardt 10y ago
It's generally (or maybe universally) more difficult to "get" dependent typing than plain old ML-family static typing. I mean, this HN comments page alone has multiple threads where people don't think that the "x &g
89.
by gary_bernhardt 10y ago
This is a decent summary of why I'm doing it. Wikipedia is full of "high quality" content, where "high quality" means "directly exposing every detail that anyone ever thought to nitpick", and this topic is
90.
by gary_bernhardt 10y ago
It doesn't say "type checking", though. It says "the language", which I think of as including the respective preludes.

More ›