skysight-inc/HackerNews huggingface dataset:
Isaac Asimov is one of the classics, of course. I'm particularly fond of the robot novels (all four of the Elijah Baley ones especially) and the entire Foundation series. Of course, you also can't miss the robot short stories. Oh, and The End of Eternity!

At some point I found Charles Stross' Accelerando, which is freely available online (along with a bunch of other short stories), and found everything I've read (which is most of it at this point, I think) enjoyably fast-paced. In particular the Laundry series (of which I've bought every iteration as soon as they came out over the past few years) -- though arguably these maybe cross-over from SF into fantasy a bit -- and the Halting State trilogy.

In terms of online available work, Cory Doctorow's work is also great. Like Stross, most of his work is more near-term SF, which I have liked, and a bunch of it is available online under a Creative Commons license. It often moves fast and is also politically interesting; sometimes the activism shines through a little blatantly, but the themes are always make me thing in various ways I appreciate (but maybe will fail your lighthearted criterion even if it is fun). His latest is Walkaway, which I would recommend.

I got into Neal Stephenson through Cryptonomicon, which is one of the greats. Stephenson has a pretty rambly, wordy style, but at least that also makes his stories last a bit longer. After that, I mostly moved on to Anathem, Reamde and Seveneves all of which are big and interesting and great reads (it took me longer than usual to get up to speed on Anathem, but it was very much worth it in the end). I tried one of the more historic ones (I think it was Quicksilver) at some point but haven't finished it. The 2017 Rise and Fall of D.O.D.O. was a bit lighter, but lots of fun, too.

William Gibson has already been mentioned, which I would also recommend. I read the Sprawl trilogy a very long time ago, and it's made a lasting expression. I've started rereading it recently. I also liked the Blue Ant trilogy and The Peripheral, but have so far missed the more recent work.

More in the one-off category: The Sparrow by Mary Doria Russell is one of my all-time favorites, and mixes deep SF with psychology and religion in interesting ways. There's a sequel, but it's not as good. I also liked The Time Traveller's Wife by Audrey Niffenegger, which is also on the softer side. I read Scalzi's Redshirts and liked it (especially if you're familiar with the Star Trek universe), it feels similar to Ready Player One in some ways. Daniel Suarez's (or Leinad Zeraus as he originally published them) Daemon is fun and easy to digest, along with its sequel Freedom. I liked Robert J. Sawyer's The Terminal Experiment, but one person I recommended it too wasn't impressed -- I still think it's fun, if not very deep. I also bought his Factoring Humanity and liked it okay.

Hope that helps. Always interested in more recommendations based on this list!
I think it is also missing the point that the voting machines are in no way set up for ranked. There hasn't even been money to update machines that are 50 years old and punch paper.
His books are great, I loved both "fire upon deep" and a "deepness in the sky". It is unfortunate he inspired the Singularity movement which I find full of bullshit and religious overtones.
Seveneves. The first sentence is, "The moon blew up suddenly and without warning." Everything is near-future sci-fi and as grounded and accurate as possible. If you liked The Martian, this will scratch the same itch.

Snow Crash is great too. Probably a bit problematic now, but fantastic world building. A bit more gritty and dystopia though.

Both are by Neal Stephenson.
NixOS on Prgmr and Failing to Learn Nix
Is such uninvited photography legal? A stranger takes your photograph without your permission or knowledge for multiple hours... sounds a lot like stalking.
FPSheet – a spreadsheet program with a Haskell scripting environment
Weird; I don't think I've updated NV in quite a while, and my disk is APFS. I have no idea what could be different. Anyways, thanks for the detail.
This is a tool I have been working on casually. It still misses some (or many..) vital features, but it seems to be a right moment to get some feedback from the community, to see what others may think of the idea and the implementation itself. Let me know what you think!
One of the biggest advantages of await is that it's explicit. Otherwise literally any function call can block, and whether or not it blocks is dependent on the body of the function so you can end up with races appearing in random parts of your code because you update a package. It's bad. At that point you might as well just use threads and blocking calls.
Well the stuff they're doing now would have been a good start.
This seems like the next logical step. A language where all functions are async/await.

And it’ll likely pull in some nice features from academia like, building a dependency graph of async statements so it can automatically reorder async statements to get optimal concurrency.
And Edgar Allen Poe.
I would recommend Ubik by Phillip K Dick.

It reads like a thriller and a mind bender. It sort of has the feel of the movie Inception if you liked that. It's not too long or hard to read, and it's completely self contained. The more I read by Phillip K Dick the more I appreciate his ideas.

I also second a recommendation for A Player of Games someone noted above.
https://mobile.twitter.com/NormOrnstein/status/1016789064379...
Are you able to take such insurance yourself and ask employer to pay for it?
Excellent video, thanks. Watch all the way through. It gets even better as it goes.
Is not exactly science fiction (fits more into the fantasy category), but Perdido Street Station, from China Mieville, is very intense, and if you like it, there are a few more books in the same universe to keep exploring.
On the other hand there's not much evidence that MS could've won (or at least secured a place in) the smartphone wars with any other CEO. Many other big companies tried and failed miserably.
> when her parents gave her pain pills for a toothache. Just like that, she was hooked.

I call B.S. The next paragraph reveals the cause ...

> Both my parents were addicts
No, it doesn't mean that. You can try it out here: https://runkit.com/embed/ev53mh0z4nxt

`makeTestType("null")()(null)` return true, but `makeTestType("number")()(null)` doesn't. The signature of `makeTestType` is `type: String => () => value: Any => Boolean`.
Not everything is a webserver/frontend/web related.
McAFee, Infineon, Havok, ZiiLabs ( Or previously more widely known as 3Dlabs ), Altera, Recon Instruments, Mobileye.

Or Name me one thing good that Intel has ever done with their Acquisition.

There is something seriously wrong with Intel.
Wool aka Silo series https://en.wikipedia.org/wiki/Silo_(series)

A dystopian future where people live in a Silo (a skyscraper but underground). What I found especially nice is how the author tried to make it realistic and portray people and work fields (machinist, IT, etc) as they really are without to much buffing.

The IT department in this story plays a really big role and it is portrayed as I've seen real IT departments, with the old, stubborn, autistic 'this is my kingdom' sysadmin boss down to the 'stupid' intern. It's just to real.

The first chapters are a little off compared to the rest of the books as it was released as novella's at first via Kindle and later written into 3 books. But every bit is as awesome as the other.

Edit: I think this mismatches on your fun/non-dystopian critaria that I just now read. But a good read anyways. Otherwise definitely Hyperion cantos as already mentioned. Although also not without drama it sure is a hell lot of mindboggling world's to plunge into!
I'm not sure that I understand what you are asking, since "prove that they have the insurance" seems to me to be equivalent to "telling the prospective employee".

Conceptually, I feel like there might be a connection to zero knowledge proofs (https://en.wikipedia.org/wiki/Zero-knowledge_proof), so perhaps you can look there for inspiration if you haven't heard of it.
And the alternative is to use a framework and sell your soul to it or, even worse, the company that makes it. In some cases that includes giving them a % of your revenue. If you ever ship, that is.
Using mail.mailinator.com as MX records are something that almost all tools check to ban disposable email addresses. The only real thing that works for them is to renew their domain pool as fast as they can. In our service in https://apility.io we check for MX records of very well known DEPs, and also we crawl the web to try to keep an up to date list of these domains.
Or you can just look two states over at California which has the highest taxes in the country but is still largely dysfunctional. I think there's more to it than just perception.
It's sad how Kx systems decided to double down on making KDB so proprietary. Had they made some part of the ecosystem open source, we'd see mass adoption and they'd probably see more money from support contracts.

There really is nothing out there like KDB that comes close for realtime manipulation and storage of ultra fast time series data.
Pretty cool, but they need to upgrade the physics, add a dust simulator and badly sized power cables so the player can make proper rats nest
Some good points here, though a couple are outdated too. For instance, I'm not sure I'd recommend mailing lists in 2018, since they're simply less convenient for the average user than a good forum might be.

That said, one extra piece of advice that should be added for a future version of a list like this is as follows:

Do not use a chat system as your only support channel.

Seriously. Things like Slack, Discord (and open alternatives like Riot) are not good systems for support forums, or any sort of community that should be visible by the public. They make it impossible to find answers with search engines like Google, impossible for archiving services to back them up in case things go down and force users to register to simply find any help given to others.

They're terrible systems for this purpose, and should not be used as a primary support channel for a project.

That's another piece of advice for such lists right there.
The Humans by Matt Haig was a very fun read, I think you'll enjoy it.
- Why not be conscious about these things?

Because life is short.
> Your own happiness is just an emotion happening inside your head; how could any other person, without access to your head, tell you that you're "wrong" in perceiving that?

Saying happiness is a kind of mental state doesn't mean that you're guaranteed to be right about whether you're in it. People are constantly in denial about whether they're jealous, depressed, angry, etc. Happiness is the same thing. We all undergo some mix of positive and negative experiences in our life. We come to a conclusion about whether those add up to happiness, and that conclusion is colored by many things, like the idea that we're fulfilling some important purpose, or "crushing it" or whatever else.

As for your point about "who can tell you you're not happy", that's missing the point. It's true that someone else who is not privy to your stream of consciousness probably isn't in a position to tell you whether you're happy. But that in no way implies that your own judgment is infallible. Nothing about the world guarantees that every truth is knowable by someone, at least not easily. It may be that you're blind to your own mental state.

However, we have very good evidence in aggregate that many people chase success at the expense of happiness. They often later describe a feeling that they were deceiving themselves.
> Man, I was so addicted to Door programs like TradeWars.

I still dream about re-making SRE/BRE.
Remember that Linus wrote that in 2007. Let's say he was talking about XP; might things have changed since then?
Anything by Ursula K. Le Guin
Here are a couple I like :

- Seveneves: A really great hard sci-fi. Very thought provoking ideas and excellent plot! Warning this is a heavy themed book. Also keep in mind that at about 3/4 in the novel there's a conclusion to the main story; the rest of the novel feels rushed and doesnt keep up; you won't miss anything if you just skip it.

- The Expanse series (starting with Leviathan wakes). A very good series. It has a light tone and mainly focuses on characters. Some books are better than the others. If you liked the 1st one then you wont regret reading the others. Not much philosofy of hard sci-fi ideas so probably near to your liking.

- Rendezvous with Rama: Probably my favorite Arthur Clarke novel. The plot may not be so interesting but the ideas presented make up for it.

- Red rising series: This is a great read, the plot feels something like a GoT of scifi; although the setting could also be considered a fantasy one. This is a plot intensive series but not many scifi philosophical ideas. Probably good for your linking.

- The three body problem trilogy: This is not so light-hearted; it is serious sci-fi presenting some excellent ideas that would blow your mind. Especially after I read the 2nd one (The Dark Forest) I kept it in my mind for a long time; thinking over the things presented there. This is sci-fi at its best.
Yes its true.

Shadi Shuda Zindagi Khushgawar Banane Ke Liye Nabvi Nuskha
https://www.sherekhudahazratali.com/2018/07/shadi-shuda-zind...
An all too familiar story. At some point you just need to get work done without worrying about every last detail of CUPS printing a document out using Liberation Serif, and whether it looks close enough to your colleagues' printouts, etc.

I wanted a Unix machine I could use to hack together bash scripts, play flash video without jitters, and use Photoshop and Word... without constant emotional labor coercing the system to do what I needed. Apple provided the best technical solution to my problem set.

(By the way, not really a tiling window manager, but have you checked out Magnet? It's one of my favorite Mac utilities.)
For something humorous and a bit off the beaten path, I'd recommend the Retief series by Keith Laumer. [1]

For the best SciFi in general, I'd actually suggest you check out assorted collections of short story. I don't have a specific anthology to recommend but I have yet to find a published collection at my library that was less than thought-provoking.

For the classics, you can't go wrong with Hugo Award winners. [2] Your local library probably has most of them; try starting with the old ones and working your way through.

1. https://en.wikipedia.org/wiki/Jame_Retief
2. http://www.thehugoawards.org/hugo-history/
Blindsight and Story of your life are two of my favourites. They are both first contact stories with seemly similar aliens and could not be more different. The way they learn to speak the languages of the aliens for instance - both methods seem plausible and horribly different.
Humans can make human decisions.

I think the best way is likely Social Engineering/asking someone.
If there is an even newer resource that is better, just link it here in a comment?
Sachin Rekhi here, YC alum from 2007. Wanted to throw a plug out for our app Notejoy: https://notejoy.com

We've built Notejoy as a collaborative notes app. So it's not only great for personal notes, but also great for easily sharing notes with your team with real-time editing, @mentions, threaded comments, and more.

But also built with a lot of the productivity features you expect from a note-taking app, including Mac, Windows, iOS apps, keyboard shortcuts / markdown accelerators, syntax highlighting, clean distraction-free interface, and more.
Do You Really Know How Much Sleep Do Babies Need? I BET YOU DON'T
"Car As A Service" is essentially rented cars: taxis, and Uber & friends. Problem in USA is bicycles and cargo bikes are not widespread. Hence the roads aren't build for bicyclists and people don't expect them while bicyclists wear helmets (in The Netherlands the latter is rare but roads are build with bicyclists taken into account).
That new nuclear will be deployed at scale in the next two decades that wind and solar are being deployed at now.
I don't mean to be flippat, but what is there to learn? Certainly there are tips and tricks, and salepeople do possess unique talents. But what is so complicated about calling up potential customers and talking about how your product solves a problem you have?

I think the first step is demystifying it. If you wanted to learn a new programming language, you would just "do it": read books, read about the language, practice writing code, etc.
I feel like you're making a very interesting point but it seems a bit broad and abstract for me to justify in my head. Could you clarify what you mean?
If solar had the same record of construction delay, cost overruns, and exorbitant hidden costs in waste storage and decommissioning, nobody would start a solar project. Instead, solar projects fall in cost and exceed their lifecycle expectations.

If you can't demonstrate a full life cycle that happens on time and on budget, and without risks that carry costs that wipe out all the value delivered by nuclear, nuclear power is theoretical.
I hope this takes over HEVC and x264 in the near future!
...yes? Why is it not surprising?
That model is called green threads.

Continuation passing style means passing along your continuation to your callee, and is the implementation of the async model. But normal calls do pass their continuation: the return address, pushed on the stack, is the continuation function, and the stack itself is the scope, and together they are a closure. Make the stack a first class value that can be switched, and you get to continuations - and that's what the runtime gets with green threads.

It means much harder interop because you can't have native frames on your stack. But you have the same problem with async.
The 8th Amendmend to the US Constitution prohibits cruel and unusual punishment, the 13th Amendment does not nullify that. Of course it is a matter of interpretation what constitutes slavery and wether or not it is cruel or unusual punishment.
Half Past Human, T. J. Bass, 1971
Wehrum, Pennsylvania: A coal mining ghost town hidden in the woods
Statistical Learning for Anomaly Detection in Cloud Server Systems: Markov Chain
I'm curious as to why you think that matters? Async/Await are general purpose concurrent programming abstractions.
I think, this is actually easy, but my simple solution makes the assumption, that both the job-offerer and the job-taker are smart people.

Here's how it goes: "To disclose something" is only a comprehensible term for the citation of something that is disclosable. But it's get very blurry, when you only paraphrase. It get's even more blurry at the point, where the paraphrasing is chosen so smart, that only other very smart people can see, that someone actually disclosed something. But: At a jury, you can play the innocent and a little bit naive person, that didn't know what he _actually_ said. Since the people tend to say about a person "He's propably not that smart, rather than naive!", because otherwise they would admit another person is way smarter then them, you are save.

Compare it to those logic-puzzles where you have set of sentences given and can derive a definitive answer by logical-deduction thru the interference of the sentences only. That would be my approach.
There have been 27 ammendments, including 12 in the last 100 years.
I've never heard it referred to as the law of large numbers (which I also associate with stats). But I still remember a discussion I had with an exec at a large systems company a number of years back when I was a consultant. I don't remember the exact context but it was around the potential for some new initiative or other. The gist of his remark was to the effect of "If it won't be a minimum $1 billion a year business for us, it's in the noise and uninteresting."
> without telling the prospective employee?

Mathematically no. But this isn't a mathematical question, it's a legal one: "some K&R policies prohibit".

You need to nitpick the legal agreement and figure out the loopholes.

Your employer will have to assist you with that, since you have no access to the agreement.

For example as part of the employment agreement you write: "Company shall expend whatever resources are necessary to recover employee in case of kidnap, etc, etc". There is no mention of insurance, just that the company will get you back. How they do it is their problem. (Obviously you're going to need a lawyer to help you write it.)
This is Haskell's IO type and its do notation !

And the reordering of statements exists too. It's called ApplicativeDo[0] and is heavily used at Facebook[1]

[0] https://www.microsoft.com/en-us/research/wp-content/uploads/...

[1] https://youtu.be/sT6VJkkhy0o
I agree. The author of the post didn't require that the general's attack at the same time. They only had to reach consensus on whether to attack or retreat. That's what spooneybarger meant by:

> The article incorrectly defines the two generals problem.

> The [actual] problem states that the two generals have decided to attack but need to coordinate on when. Failure to attack at the same time will result in defeat.
7 years is still very much an outlier though. It's certainly <1% of games that have that much time put into them.

Very very few people and companies have that kind of runway and patience.
The thing I'm most excited about for AV1 is film grain synthesis. I can't articulate why, but I really love the look of film grain in video. Unfortunately, on most codecs, film grain is a huge hassle which takes up a lot of bandwidth. But AV1 can automatically remove the grain, encode, and add it back in.
*Peugeot (sorry)
>Anti Abuse API

Why does your company consider disposable email addresses abusive?
Silicon Valley eyes Africa as new tech frontier
I think is not possible, because the purpose of such legal measure is to avoid increasing ransom and kidnapping, and that would happen if the criminals knew that they would get the ransom from the coverage company. Hence any way to prove that the insurance exists goes against the legal reason to hide the existence of such coverage.
To overcome this the following clause could be included: You are covered but if you communicate explicitely or implicitely to someone that you are covered then you are automatically excluded from this coverage.
> No, the LineageOS team builds them, then you rebrand them. If you want to actually make a difference, contribute your changes directly to the LineageOS trees. Device support is paramount for custom ROMs and LineageOS already has an amazing amount of devices. All this will do is fragment the ecosystem.

The privacy orientation of LineageOS only goes so far. Yes, you can opt for Opengapps (that name...) or run your Android device without it but then you're stuck with F-Droid. LineageOS does not include microG; if you want LOS+microG you need that fork [1]

> Please no. Just contribute to K9 directly. I get that you want to brand it to fit with your whole scheme, but you have the ability to actually improve the open source Android ecosystem.

pEp is also a K-9 fork, with material design and opportunistic encryption.

Not that I disagree w/your points though. This unnecessary fragmentation of forks is harmful. Librem 5 and Sailfish are two interesting ecosystems which are unique though.

[1] https://lineage.microg.org/

[2] https://www.pep.security/
They don't want to tell you, and shouldn't.

The reason they can't tell you is that you may then 'kidnap' yourself to collect on it.

By even "accidentally" disclosing it's exustence they would be giving the employee information that would help them to steal from the company, since their rates would increase after the fraud.

A more reasonable answer might be "We promise to do whatever we can to help any employees who find themselves in such a situation, but can't provide details as to the form that help might take as every situation is different."