Anyway, I thought this was a solved problem on both Windows and OSX since they both have conventions for self-contained applications, while linux does not.
This is mistaken for Windows. Even if programs are run from Program Files, they will often source their DLLs from other locations.
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 effort required to create such a book.
But... the author is also a professor at MIT. I feel like if this work wasn’t somewhat publicly funded, it really should have been.
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.
> 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.
When I grew up, we never ate at a restaurant... just would have been an extravagant expense. My parents probably earned <15000USD combined. This book would have been far too expensive to consider.
This is in the western world... imagine how many people in the world can’t afford this book. On a global scale... very few people could afford this book (or a 40USD video game).
It makes me kind of sad that you’d so casually suggest that this is not the case. Makes me think that perhaps people in the tech world don’t have a great understanding of how poor many people are...
Over 80% of the world population lives on less than $10/day. The percentage of the world population who can afford this book is very small.
Maybe 10%, 5%? Other than repeating this obviously wrong statement, would you like to provide some evidence that >20% of the world population can afford this book?
The worlds population living on $10/day, will have no use for a book on a niche aspect of type systems. The majority of people on that wage will probably not even access to a computer.
Most people, at any income level, would not find value in this book. The fraction of people who find value in the book maybe correlated with income.
There are a large number of people who might benefit from access to this book (or similar books) would can not afford to legitimately purchase it.
Given that only a small fraction of the world population can afford this book (I estimated 5%, happy entertain other estimates) it seems likely that the majority of people that could benefit from access to this book, could not afford to buy it.
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 $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?
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 publication. The harm you create by stealing this book is that the market for that knowledge is destroyed.
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.
> 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.
Because reasonable adults are paying for content which they want, directly via movie tickets, indirectly via e.g. Netflix and Spotify.
Content is stolen if and only if a user tries to steal it, so I don't understand how you are absolving them of responsibility. People pay for Netflix and I guarantee you that if people stopped paying for it, Netflix originals would stop being made.
> Given the choice between stealing knowledge and not stealing knowledge, when you wouldn't have paid for it anyway, where's the harm?
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.
You repeatedly call me “dude” and “bro”. You assume many people can afford a $40 book.
To me you pretty much typify what’s wrong with modern tech culture, a total lack of empathy or understanding that there is a world outside of that which you live.
I would like to see more publicly funded, freely available educational material out there, but it seems worth pointing out that MIT is a private university.
The knowledge is freely available, here's Dan Licata giving an introduction to Dependent Types for functional programmers https://youtu.be/LXvP1A97oAM
Even though watching that, I probably think I understand Dependent Types then I'll read the Little Typer and discover my intuition was wrong like when I read the Seasoned Schemer and thought I already knew everything there was to know about the concept of higher order functions.
According to WorldCat Library search it's not even in libraries other than Library of Congress and "College of Western Idaho". So it is probably not popular enough to be uploaded to a pirate site either. In fact it just came out on 18 September, so in order for a copy to be uploaded anywhere someone would have had to buy it and then immediately scan it, or the authors would have to put a draft copy on their website.
As an author of a book on which I worked incredibly hard, FUCK you. If you want it so bad, buy it. Or wait a few years, buy it used. Or borrow it from a library. Don't fucking steal it.
Carpenters and other craftspeople who earn far less than the denizens of Hacker News buy whatever they need to further their business. They don't steal others' tools.
I'd be happy to debate, if you're interested. But in the meantime it appears that the anger is misplaced; direct it at the fact that we have this wonderful tool that destroys class barriers and makes knowledge free to all.
You act as if I have $40. Would it surprise you to learn my power was cut off within the last few months?
Another point: "Stealing" implies something was lost. The words are still there, even if I have copied them.
The game industry and the iPhone app store have proven that when you price something closer to $1, it will generate exponentially more revenue than $40.
My anger isn't misdirected. It is directed exactly at this sentiment of yours: "The words are still there". It is the same whether I came up with a new magic trick, or a song, or a film. Don't fucking steal it because you have this wonderful tool called "copy" that "destroys class barriers". There is plenty of stuff on the internet (mine included) that people have chosen to put up for free; go use those. Or wait 10 years. The words will still be there, and you can get it much cheaper.
There was a lot of energy put behind those words, and I expect to get paid a modest sum for it. The means of knowledge transmission aren't free, just as you discovered that while a river wants to be free, the mechanism of converting it to useful energy and transmitting it to you isn't free.
People put a lot of energy into programming languages, but they don't expect to get paid anything for it. Why is it different when it comes to publishing a book?
That may sound like a dismissive question, but it's at the crux of our disagreement. If we can resolve that, we might be able to see eye to eye.
I'd hazard that a very large fraction of people who work on open PLs and open operating systems get paid --and expect to get paid -- for the effort they put into that project; take Golang, Rust, Linux, Kotlin, Java/JVM, Scala, Haskell, OCaml, Swift and so on. These are not written by homeless people. Try telling Rob Pike that he's not going to get paid for the ten years he spent on Go, and that he would only get paid for his other contributions to Google.
Further, it is an author's prerogative (whether that author is a company or an individual) to set the terms of the pricing. As a consumer you can choose to accept it and pay the price, or come up with an alternative model (like iTunes or the App Store) that changes the market.
I resent it intensely that after putting my own money and time and effort into a project (took a full year off a job), somebody just pirates it so easily. And then attempts to claim moral high ground with weasel phrases like "knowledge wants to be free" and "class barriers".
If I understand your position correctly, you feel that even if someone does not have $40 or would not have paid $40 for something that can be freely copied, it is both immoral and unethical to ignore the author's wishes and copy it anyway. Even though you as the author are unaffected by this action. You also feel that it's justifiable to seek out people who do this and tell them that they should not do this, i.e. how to live their life.
Is that an accurate summary? I am trying to respond to the strongest possible interpretation of what you're saying.
What is the difference between someone doing this, which is an illegal victimless crime, and recreational drug use, which is also an illegal victimless crime? Why is one immoral and unethical, but not the other? Furthermore, why is it justifiable to believe that it's an important right to be able to ingest whatever you want into your body as long as you're not harming anyone else? And are you sure the same argument doesn't apply to this case?
I write a book, put it out on the market. Someone copies it and puts it up on a website (crime alert). Someone like you publicises it. I don't get paid because from your point of view, it is out there free for the taking. Meanwhile, I have lost hundreds or thousands of potential sales from people who may have paid, but have now been tempted to join your illegal caper. Everyone revels in the very public theft.
Which is why I seek out comments like yours that glorify piracy and tell them to bugger out of _my_ life. They are most welcome to their lives as long as they don't adversely affect mine.
> Meanwhile, I have lost hundreds or thousands of potential sales from people who may have paid, but have now been tempted to join your illegal caper. Everyone revels in the very public theft.
No you haven't, and there lies the crux of the argument. Many of those who helped themselves to the free copy wouldn't have purchased it at the retail price anyways, even if there were no free copy to be had. There is a financial loss yes, but multiplying the total number of free copies by the profit to the author off purchased copy yields a greatly exaggerated figure.
So many assumptions are embedded in your comment. Firstly, it's not proven that piracy affects sales. Quite the opposite: it usually raises popularity for an item, because – if it's good – people sing its praises, which leads to more sales.
You didn't respond to my actual comment. Again, it is victimless because no one would've bought the overpriced book except for those who have $40 to throw away on a lark.
If we focus on making a quality product at a reasonable price, sales follow. The fact that technology has reduced this price to near $0 is unfortunate but is merely a consequence of computers.
I get that technology is often upsetting, but why take it out on users? The way to win is to pay attention to trends and adapt, not wish the world were different.
Riddle me this: Why did people write books before there was an economic incentive for them to? The crux of our disagreement appears to be this: it wouldn't hurt the world for us to return to those times. And technology seems to make this inevitable.
I wish I could get paid to write programming languages all day, but many people wish they could be paid for many things that are not feasible. Are you so sure your book would have maid those thousands of dollars in an era before it was possible to widely distribute it? Who would buy it? And moreover, who would hear about it and how?
Of course, Lissa did not necessarily intend to read his books. She might want the computer only to write her midterm. But Dan knew she came from a middle-class family and could hardly afford the tuition, let alone her reading fees. Reading his books might be the only way she could graduate.
It's always interesting to watch Stallman's writings become reality.
In fact, this is so prescient as to be worth quoting in full:
Programmers still needed debugging tools, of course, but debugger vendors in 2047 distributed numbered copies only, and only to officially licensed and bonded programmers. The debugger Dan used in software class was kept behind a special firewall so that it could be used only for class exercises.
It was also possible to bypass the copyright monitors by installing a modified system kernel. Dan would eventually find out about the free kernels, even entire free operating systems, that had existed around the turn of the century. But not only were they illegal, like debuggers—you could not install one if you had one, without knowing your computer's root password. And neither the FBI nor Microsoft Support would tell you that.
Substitute "Microsoft Support" for "Apple". We even have officially-licensed and bonded programmers now: The $100 developer ransom.
Lissa did not report Dan to the SPA. His decision to help her led to their marriage, and also led them to question what they had been taught about piracy as children. The couple began reading about the history of copyright, about the Soviet Union and its restrictions on copying, and even the original United States Constitution. They moved to Luna, where they found others who had likewise gravitated away from the long arm of the SPA. When the Tycho Uprising began in 2062, the universal right to read soon became one of its central aims.
You claim you are a victim. Yet you refuse to acknowledge that there are people who can't afford your work who would otherwise be enriched by it. Of the two victims, it's hard to say which is worse. Especially given that people will continue writing books even when there is no incentive to.
"Riddle me this: Why did people write books before there was an economic incentive for them to? The crux of our disagreement appears to be this: it wouldn't hurt the world for us to return to those times."
In the middle ages, books were written by the elites, for the elites. Necessarily so, because education itself was an elite activity. You want a return to those times?
"Are you so sure your book would have maid those thousands of dollars in an era before it was possible to widely distribute it? Who would buy it? And moreover, who would hear about it and how?"
Surely you don't mean to say that a product would never be heard of if there weren't the means to copy it. Surely you don't go into a theatre and livestream a play or concert or standup, because the poor "victims" outside wouldn't have a chance to be enriched. If broadway is expensive, go elsewhere for your entertainment. You don't have the right to give away or consume someone else's work just because technology brings the cost of watching it down to zero.
This is the last I am going to say about this argument. I'm quite done.
> "People put a lot of energy into programming languages, but they don't expect to get paid anything for it. Why is it different when it comes to publishing a book?"
The difference is what the people who choose to do the work expect to get out of it. There are people who work on programming languages (or software) that have commercial licenses. That's their choice. Choosing to ignore their choice, to subvert the terms on which they choose to offer the fruits of their labor, is wrong.
If you can convince them to offer their work under other terms, great. Until then, respect the terms the authors (of books, languages, and software) have chosen.
> The game industry and the iPhone app store have proven that when you price something closer to $1, it will generate exponentially more revenue than $40.
This may be true for mass-market, high-volume products like mobile games, (although even there the real money is in in-app purchases). It is not necessarily true for special-interest, low-volume products like this book. In order for it to be true, you need to assume that over 40 times as many people will buy the book at $1 as will buy it at $40. Frankly, the audience for this book is so narrow that I suspect that they would eventually get three times as many free downloads as they will get sales at $40.
Ok, so digital scarcity is engineered, not real, because scarcity makes our economic system work. However, I don't think anyone has come up with a viable post-scarcity model. In some cases like mobile apps and steam sales, big discounts can increase volume to the point where the economic equation works. Sadly, I don't think a book on dependent types is really amenable to that scenario.
The correct response is to laugh at them and move on. And mock them on HN.
It's worth being aggressively negative toward such companies, because negotiating to your market value is step one in leading a good life. The fact that they would have you not do this means they don't care about the quality of your life, so you shouldn't care about their company.
Another answer to the Fermi paradox is that a Kardashev Type 4 civilization is able to harness the power of an entire universe. We wouldn't be able to detect this by definition, since they exist outside of our perceived reality.
At first glance, this seems to be a useless theory, since it's not refutable. But it lends itself to a belief system: by studying the universe, we gain an understanding of whatever created it. This is helpful as a motive: a reason for studying any of this at all, in absence of economic or social incentives.
This seems important. As the centuries tick by, and as we confirm and re-confirm that we are indeed alone and that we do indeed have a mostly-complete model of physics, there will become less and less incentive to analyze the corner cases. It's costly, and takes decades. But at one time, it was costly and took decades to build a cathedral. Yet we accomplished these impressive feats due to a shared belief system.
The reason I brought this up is that we often like to believe there is an advanced alien civilization tucked away in some corner of some galaxy, sending out messages via gravitational waves or neutrinos. But why do humans find this idea so seductive? It's because of an underlying loneliness: we want to believe that we are connected with the universe in some fashion, that our existence has a point, and that there is reason to do anything at all in a universe that will exist long after we've gone, long after our solar system and sun has gone. Because if there were an alien civilization, at least we would not be so alone.
In that context, a solution to Fermi's paradox is simply to believe that our very universe exists due to some higher-order phenomena not knowable within our reality. And by studying the laws of physics, we gain a glimpse into the boundary between our universe and its hypervisor.
> But why do humans find this idea so seductive? It's because of an underlying loneliness: we want to believe that we are connected with the universe in some fashion, that our existence has a point [...]
No. It's simply that statistically, we can't believe we are the first, nor that we are unique. It would be (statistically) extremely odd if we were, and there is a bias against anthropo-centric theories.
Heck, I'd be happier if we are alone (less risk and more free land), but if we appear to be, that seems odd, and worthy of investigation. No?
EDIT: Why do you claim to speak for all our hopes/dreams/desires? "We need this" or "We want that". Frankly, that's a little collectivist and creepy.
> No. It's simply that statistically, we can't believe we are the first, nor that we are unique. It would be (statistically) extremely odd if we were, and there is a bias against anthropo-centric theories.
Fermi's paradox does not ask about civilisations like ours. It asks about interstellar travelling or at least interstellar communicating species. We have not achieved this level yet so we are not the 'first' as you say. You might claim that our radio signals should be able to be detected, but they are so weak and have been travelling for such a short period of time that they may as well not exist to an outside observer. There may be millions of our type of civilisation out there presently and throughout history but they would all be undetectable to us and hence our civilisation doesn't play into the paradox.
Well one answer to the Fermi paradox is we get wiped out but barring that it seems unlikely we won't reach the stars in millions of years.
And you seem to ignore it, but the other part of the paradox is if we can achieve interstellar travel in millions of years, that's like no time at all on a galactic scale. So it would be a major coincidence if we are within 1 million years of the first.
As far as the Fermi paradox is concerned it's a much safer assumption to make that advanced civilisations will achieve interstellar communication before they achieve interstellar travel.
Even so, my point is that human technology tells us nothing about the probility of a civilisation ever developing interstellar communication because we haven't seen it happen yet. We are still at the 0 stage when going from 0 to 1. It doesn't make sense to extrapolate from our position on the technological timeline. It makes more sense to assume tabula rasa that aliens have developed this technology and then explore the implications of that.
Ok. Fair enough. My point was simply that: we might be curious, but most of us aren't lonely or looking for any higher purpose or meaning (well, many may be, but if we were - we wouldn't look to aliens to satifice them)
"we can't believe we are the first, nor that we are unique. It would be (statistically) extremely odd if we were"
Someone did a Bayesian analysis using probability distributions and found that, given what we observe (no aliens), there is a substantial probability we are the first civilization in the universe, or else the only one within galactic distances. They also inferred that whatever makes spacefaring life unlikely is probably in the past, not the future, which seems optimistic if you're worried about AGW or nuclear war.
"The Fermi question is not a paradox: it just looks like
one if one is overconfident in how well we know the
Drake equation parameters."
"The Fermi observation makes the most uncertain
priors move strongly, reinforcing the rare life guess
and an early great filter."
They end up with a 40% chance we are alone in the universe and about a 55% chance we are alone in our galaxy.
I’ve heard mathematicians express similar reasons for studying math. It can be something of a universal language.
Personally, I think no matter how often matter-energy arrange themselves into life in the universe life remains vanishingly rare. For that reason, life should be as harmonious with itself as possible - diverse and varied but self supporting. The rest of the universe is rarely calm and stable enough for life to exist.
As for why we haven’t found life yet: we are very new to this game. We just in this last decade started being able to resolve properties of exoplanets. I don’t think we have the information to even posit a question like the Fermi paradox with any level of confidence.
This wouldn't really solve the paradox as it implies there are zero type 0, 1, 2 and 3 civilizations that we can detect in our Universe, which is still statistically odd.
There was a HN thread (probably several) not too long ago about someone who did a better analysis of the Drake equation with probability distributions rather than point estimates and found that given that improved methodology, it isn't odd that we see nobody - as it is quite likely we are either the first civilization in the universe or the only one within a galaxy or more. No new facts were used, only a sensible synthesis of the known information.
He's a great presenter, not the normal dumbed down documentaries that are fashionable these days. He actually tries to explain things, not just waffle and make the watcher feel good.
Because American culture has a tendency to exclude certain groups, and allowing that to go too far in vital markets like housing and labor is bad for social stability.
In the case of Mastodon, not really, it's main advantage is federation and investors are not going to want to give many to any app that people can host themselves. They want centralization for ad tracking etc. so at most said team would end up with a Twitter clone.
Not quite true. You can serialize a closure. Emacs lisp does so in a pretty interesting way: a closure is just `(closure ((a . 1) (b . 2)) (lambda (x) (+ x a b)))`.
The point is, if you can serialize closures, I think you can serialize continuations.
Simple, but missing many parts. For example, what happens to variables on the stack? The heap? What does it mean to continue execution from “here” — from this point in time? Does that mean file handles will be closed or re-opened to match the current state of the program?
These questions usually have straightforward answers, but some are counterintuitive.
What do you mean what happens to them? Wouldn't they just be kept alive with the same semantics as how a variable used in a nested function is kept alive? Or is there more that I'm not aware of? If that's all there is to it, the semantics should be second nature if you've done Java, Python, or any other GC'd language, right?
That’s one option. But the unfortunate conclusion of that choice is that continuations leak a lot of memory. One shot continuations are better, since it frees up the variable references.
I don't see how this is different from lambdas in general, in JS/Python/etc... wouldn't it only be held as long as the variables are alive? If you use the callback only once then they should be eligible to be freed after being used once.
Thanks for the link! Unfortunately I don't understand what it's saying the issue is... would you have a simple example to illustrate? It's been years since I did Scheme, I've never actually needed to use call/cc in a program, and I'm not advanced enough in Scheme to have seen shift/reset (as with call/c, their documentation is not quite clear). :\
This is mistaken for Windows. Even if programs are run from Program Files, they will often source their DLLs from other locations.