51–60 of 138 posts
Sad to say the book isn't on Library Genesis, so you'll have to drop $40 if you want the knowledge. http://libgen.io/search.php?req=little+typer Also Library Genesis is amazing: http://libgen.io/search.php?req=knuth It's everything I dreamed of when I was a kid. I used to spend hours at the local library scouring through crummy "Learn C++ in 24 hours" type books. http://custodians.online/ is worth a read too.
As an aside, it's great that Duane Bibby is still providing the art for these. Without him, nothing would be the same.
This book is a real joy to read. I got to peek at a draft at OPLSS 2017 and have been waiting impatiently for it to come out. The detailed, carefully worked examples one after another that this style of book is famous for is adapted beautifully to dependent type theory. Check it out! The code implementing the language in the book is here: https://github.com/the-little-typer/pie
Is there a reason dependent types are not more common?
Sad to say the book isn't on Library Genesis, so you'll have to drop $40 if you want the knowledge. http://libgen.io/search.php?req=little+typer Also Library Genesis is amazing: http://libgen.io/search.php?req=knuth It's everything I dreamed of when I was a kid. I used to spend hours at the local library scouring through crummy "Learn C++ in 24 hours" type books. http://custodians.online/ is worth a read too.
I feel like there’s so much to say about this comment, that I don’t even know where to start. So firstly I agree, $40 seems like a lot. I personally couldn’t justify it at the moment. Particularly when the reproduction cost is nearly zero. But $40 also doesn’t seem like a lot to pay for a book that will probably not sell more than a few thousand copies. Most likely revenue generated won’t fully cover the time and eff…
Only to a select few? For $40? The book costs less than most console video games.
Earlier quoted context omitted.
I feel like there’s so much to say about this comment, that I don’t even know where to start. So firstly I agree, $40 seems like a lot. I personally couldn’t justify it at the moment. Particularly when the reproduction cost is nearly zero. But $40 also doesn’t seem like a lot to pay for a book that will probably not sell more than a few thousand copies. Most likely revenue generated won’t fully cover the time and eff…
> In the end, I’m left morally confused. But it feels like something is wrong in the world when a book like this is available only to a select few, when for the same capital outlay it could be available to everybody. Only to a select few? For $40? The book costs less than most console video games.
Also if you were to somehow poll everyone reading this and ask "Did you buy this book?" you'd get some number, x. But if the book were priced at $5, then $5y would be much greater than $40x.
I bought a bamboo fineline pencil for $50 the other day. It's a tool that will serve me for at least a year. It's unclear whether this book would.
I want work like this to exist, and for the author to be rewarded for it. But ultimately, in an era when words are infinitely and instantaneously copyable, the economic value of words seems to drop.
Given the choice between stealing knowledge and not stealing knowledge, when you wouldn't have paid for it anyway, where's the harm?
Earlier quoted context omitted.
> In the end, I’m left morally confused. But it feels like something is wrong in the world when a book like this is available only to a select few, when for the same capital outlay it could be available to everybody. Only to a select few? For $40? The book costs less than most console video games.
Another way of phrasing that: The book costs as much as work that took dozens of people years to make. Also if you were to somehow poll everyone reading this and ask "Did you buy this book?" you'd get some number, x. But if the book were priced at $5, then $5 y would be much greater than $40 x. I bought a bamboo fineline pencil for $50 the other day. It's a tool that will serve me for at least a year. It's unclear wh…
As a working adult, time spent reading a book is both more limited and more valuable than $40. If you wouldn't have bought it anyways, why is it worth your time stealing and reading it?
Although it was an unpopular opinion at the time, I agree with Metallica's outspoken moral opposition to Napster circa 2000.
Earlier quoted context omitted.
> In the end, I’m left morally confused. But it feels like something is wrong in the world when a book like this is available only to a select few, when for the same capital outlay it could be available to everybody. Only to a select few? For $40? The book costs less than most console video games.
Another way of phrasing that: The book costs as much as work that took dozens of people years to make. Also if you were to somehow poll everyone reading this and ask "Did you buy this book?" you'd get some number, x. But if the book were priced at $5, then $5 y would be much greater than $40 x. I bought a bamboo fineline pencil for $50 the other day. It's a tool that will serve me for at least a year. It's unclear wh…
Earlier quoted context omitted.
Another way of phrasing that: The book costs as much as work that took dozens of people years to make. Also if you were to somehow poll everyone reading this and ask "Did you buy this book?" you'd get some number, x. But if the book were priced at $5, then $5 y would be much greater than $40 x. I bought a bamboo fineline pencil for $50 the other day. It's a tool that will serve me for at least a year. It's unclear wh…
The harm is less people writing books like this in the future. Every dollar this book gets in revenue not only goes partly to the author, but goes into the record as profits for that "genre" of books. Every dollar of revenue for this book increases the value of the advance the author receives for the next book, increases the probability that another author writing the same kind of material will get accepted for publi…
I think you could've made the same sort of argument against movies or music before netflix and napster, but here we are, and the markets still seem thirsty for new content.
Earlier quoted context omitted.
Bertrand Meyer's book on Eiffel was all about the downsides of C++. And then there's the Unix-Hater's Handbook... https://en.wikipedia.org/wiki/The_Unix-Haters_Handbook I wrote a whole chapter about the downsides of X -- do you think there's a need for a broader book? ;) https://medium.com/@donhopkins/the-x-windows-disaster-128d39...
The one where you demonstrated that you don't know the difference between a client and a server? :-)
An xterm client running on a VAX mainframe connects to an X11 server running on a Sun workstation: the X11 client is remote, the X11 server is local.
A web browser client running on a phone connects to a web server running in the cloud: the web client is local, the web server is remote.
Right?