skysight-inc/HackerNews huggingface dataset:
i bought the DK2 dev kit but never bothered with the 'consumer' version.

i genuinely believe that oculus never expected rift to be 'big' in any way, i think it was about building up a VR game library ready for the next gen of phone holders a-la samsung gear.

once phones are powerful enough to match a current mid-range gaming GPU and can use cameras for low latency and high accuracy "inside-out tracking" (their definition) without all the wires/lasers/sensorcameras facebook will be right there with a store and a big library.

give it 5 years and VR might finally take off!
Why create json yourself use diver instead – diver.js
Why would that be a good thing, exactly?
2.4% sure sounds oppressive.
> And I honestly cannot figure out where I'm going wrong to expect programmers to be able to do this kind of thing.

Adjust your expectations.
Another possibility is that GCC discovered that the loop had no side effects in the benchmark harness and eliminated it. This is a very common thing that happens in microbenchmarks.
Pretty interesting article but I had to laugh at this:

> A subtle refinement (a “graphic tightening” in LEGO’s words) of the 1973 logo for better digital (i.e. internet) reproduction.

Digital/internet reproduction in 1973? The web wasn't invented until 1990 and didn't really catch on until around 1997. In fact computers didn't exist in the home and the computers that did exist were text based. The personal computer revolution really happened after the IBM PC was released in 1981.
Get laid
I think they discontinued the upgrade program already.
I feel like I'm missing something, maybe - how is this news?
Consoles don't need someone to configure them and run system administratoon tasks on them. A video game console is less likely to break the OS and have a kernel panic or something.
No:

https://wakeup-world.com/2016/01/19/politicians-in-californi...

https://en.wikipedia.org/wiki/John_H._Cox#.22California_is_N...
Just checked, and of all the single-letter domains, only u.com and z.com are being used.
I'm looking for my 1st rent and thinking about how much I should throw at it
I did say that lab tests have less variability, which means they should be easier to price. My guess is that the reason the OP had so much trouble getting a price is because the lab simply doesn't work that way. It doesn't have a consumer price list; instead they do the work first, then determine which insurer to send the claim to, and then sometime later get paid whatever the insurer has set the standard reimbursement to be.

What the OP found on the 10th attempt to get a price was somebody who was willing to look up claims for other people who had the same test, determine what the reimbursements were, and let him know the cross-insurer range of those amounts. Or maybe the range was over the claims sent to the insurance companies, rather than the amounts the insurers actually paid. If that's the case, then the range reflects actually differences in the test processing rather than differences in the insurers.
I also wrote a lot of abstracts for a large cable television equipment manufacturer. In some cases, Ididn't even write the application but they've continued to pay me both the filing award and patent award fees. I haven't worked there since 2010 but they're still paying me as an employee.
is pyramid scheme a scam?
Also, if you're into this kind of thing, don't be. It degrades the environment where you do it.
That logo is from 1998.
I remember my first job, where I had to spend hours upon hours hoping that then-new features and technologies that were barely supported in desktop browsers would work in mobile too, and hack around those features if not.

It was hell, still is and that's why I only take desktop or server work now.
it's already been done.

https://m.youtube.com/watch?v=vKOb-kmOgpI
Rescue Time has helped me stay focused on work and to quit doing so much news browsing during business hours. Joe's work has saved a lot of people a lot of hours of their lives, and that's something to be proud of.
Not OP, but my biggest problem with your perspective is that it is almost pure single-payer, meaning that there's usually no choice in areas where government is involved, even if you're able and willing to pay for something better or faster.

In comparison, e.g. most European countries use a combined two-tier approach, where the role of the government is to ensure universal basic coverage and affordability of that coverage, but not to replace private insurance entirely.
Yes, this is easy to express in a prover. A naive implementation can always serve as a specification for a sophisticated one.
The c code defines a function that returns the sum computed in the loop. This function is than run using Haskell's FFI. GCC has no way of knowing there is no side effects, because other code might link to it and use the result of the function.

GHC, in concept, does know that there are no side effects, but that would apply to all of the functions being tested. Further, since it is using a benchmarking library, I assume the authors of said library were aware of the issue, and wrote it in such a way as to force evalutation of the function.

https://gist.github.com/snoyberg/9b1c77b595c4adf90880213fc49...
https://en.wikipedia.org/wiki/Depopulation_of_Chagossians_fr...
I don't think it's used correctly here. They didn't hack together any code, they didn't hack on some multipart kludge. All they did was break rules by buying votes.
The refined logo ("graphic tightening" for better digital reproduction) was introduced in 1998.
Yep: https://godbolt.org/g/LCUah9

calls_cheating():
movl $60, %eax
ret
Seems like a huge waste, huh?
I don't think I said whether or not I thought that their process is wrong, I just extended GP's analogy
Wow, what a great and simple guide
Seems like you're describing Scientific Socialism. Its track record in the 20th century was... not great, if you don't like mass starvation and death camps.
my bet it's somebody his art-project that run awild
> Note: building Certigrad currently takes ~15 minutes and consumes ~7 GB of memory.

Why does it take so long and use so much memory?
Hrmm, I tried a whois for a few (a, g, t, e) and they're just not registered: "organisation: Internet Assigned Numbers Authority".

Is IANA sitting on them?

edit: Oh, from the wiki [1]: "In 1993, the Internet Assigned Numbers Authority (IANA) explicitly reserved all single-letter and single-digit second-level domain names in the top-level domains com, net, and org, and grandfathered those that had already been assigned."

"...with the intention to avoid a single company commercially controlling a letter of the Alphabet."

Oops.

[1]: https://en.wikipedia.org/wiki/Single-letter_second-level_dom...
The company most likely was banking on most employees never collecting the patent granting "reward". Like equity, it's a carrot to motivate/manipulate you, not a sincere "thank you".
How much karma do you need to vouch?
The earlier the investor, the more risk they took on. The same terms, if material progress has been made, doesn't seem like the same risk for the same reward.

What is right, and what you can get away with, aren't the same thing. You need more money, a first option to the original investors makes sense, unless the new investors are strategic. In that case, the current investors should understand that value and you can use that to justify the same terms (lower discount for the money, but additional discount for the strategic value).

Any restructuring should be as transparent as possible and you should spend as much time as necessary explaining your rationale to the parties involved. They don't have to like it, but they deserve to know what's going on.
Get her a decent hacker's keyboard. She will treasure it always. https://elitekeyboards.com/products.php?sub=pfu_keyboards
Over many objections, W3C approves DRM for HTML5
Same for all of us who just hate Facebook. I got off Facebook back in college and now avoid it like the plague. When they bought Oculus my interest in it died. No way am I using any app or product tied to Facebook in any way.
I agreed with your argumentation... until you linked letsrun :)
I would say talk to a psychologist. But that's too simple. Better advice would be, why even do that ? The answer is to understand yourself better.

Often, it's more complicated than we think. Probably a combination. And it's very hard to define the problem by yourself. The mind is not very reliable and like to play dirty tricks on us.

By talking enough about it, and receiving expert feedback, you somehow learn more about yourself. You're able to see the problems more clearly.
This is so sad. I always have subscribed to RescueTime during their sales and pay for a year upfront. So even though I never used it as much after the first couple months, it made sense to continue subscribing year after year. He has helped so many people like myself. RIP Joe. I talked to him twice in the early days of RT. Time to find those emails. RIP.
Show HN: HeapViz – a visualization tool for Chrome heap timelines and snapshots
From our server. We can't do anything about taking it down from the network.
This is a tricky argument you make because it's so asynmetrical. You can essentially cherry pick the worst opsec and the most dedicated attacker and then use it to discount an entire technique.

I will not play this "Use OpenBSD because it has a new technique that is fashionable" game that I know is being played.

Custom baremetal custon built VMs is not really in the business of distribution appliance images. That's Docker. Different use case. So what IS done is a workflow to rebuild these images when they change.

And that's often. Their HTTP routing table is literally baked into the image. They're not "reusable" for the most part.
> AR expertise to do, well, something

Is it really a big expertise now? I think it was a big deal when they started those face filters but now even small players have that stuff. For example, hike: https://play.google.com/store/apps/details?id=com.bsb.hike
No. The "constant" is only provided at runtime from Haskell through its FFI. GCC has no opportunity to optimize that.
Almost every modern campaign takes advantage of our hairpin
tendency to get outraged. Hell, this entire thread is people getting outraged about "cheating" using millenia-old social tendencies.

The solution isn't getting outraged about outrage. It's designing systems that compensate for this tendency. Unfortunately, that often means slowing down sensitive discourse.
And then Snowball turned to Napoleon, 'you know I've been thinking..'
Yes, IG is king of the general photo sharing social networks, which is different from what IG Stories and Snapchat do. That's why I brought up the comparison to Google Plus, Google did a lot of stuff that Facebook did, and Google Plus was an attempt at bringing a lot of these services together and create a Facebook competitor.

Like IG Stories, Google Plus had crazy fast growth at first, they hit almost 30 million users in the first month which was insane for that time and even today. They also had a very diverse audience. But, just like Instagram Stories, those numbers were only so high because most of their users were "users" because they were already partly on the platform through Gmail, like most IG Stories users were already IG users.

Look, I'm not saying IG Stories isn't a real competitor, but saying that Facebook didn't have competition during their IPO like Snapchat does is not true. Many people were predicting that Google Plus could kill Facebook. Read some articles from that time period, there was a lot of talk about that.
only if you are doing it wrong!
Why one need underwriter at all? Why certain investors are offered lower unfair price?
I think a simple rule is to spend as little as you can for as long as you can. If you're young and can live with your parents...do it. Save your money. If you are single and don't spend a lot of time at home anyway, rent a cheap room. Save your money. When you can afford it, buy a small condo.

On the flip side, if you're older and require more room/privacy/quiet it's worth it to spend more on your place. You'll probably be there more often, and you probably won't be alone. You don't want to be needlessly extravagant, but you shouldn't be a cheapskate either. A nice place is worth it at a certain point in your life. And hopefully you can now afford it because you saved money earlier.
Mining the medical record: how we made faxes and scans full-text searchable
Ha, interesting. Glad to see you doing so well with Discord, I used to spend a ton of time on the BG forums back in around 2009 or so, and vaguely remember giving some feedback on the very first versions of Guildwork.
Yes, that was my original intent.
how about the one third of your salary "rule"?
Rephrased:

> Given the 1973 logo ( http://www.logodesignlove.com/images/evolution/lego-logo-12.... ), in 1998 the image was tightened to make it easier to print digitally ( http://www.logodesignlove.com/images/evolution/lego-logo-13.... )

As far as the changes go... look at the removal of white space in the area between the 'L' and 'E' and within the 'O'. Furthermore, the middle bar of the E was made more pronounced, and the upper terminal of the 'G' was made more regular.
So much nostalgia in those logos! One thing that struck me looking through those old sets is just how timeless Legos really are. I inherited many of the 70s-80s sets from an older cousin in the 90s, that were subsequently used by my younger siblings and I all the way through the early 2000s. And they're still there at my parents house ready for another generation! I honestly can't think of another toy with such staying power.
Exactly my thought. They might have gamed HN too!
You missed my point. Do WhatsApp, Instagram, or Facebook Messenger have working ephemeral messages? Or do they have marketing that claims they have ephemeral messages?

The feature is fundamentally impossible in exactly the same way as DRM, because it is DRM. You're sending someone a bunch of data and saying "now, you promise not to look at this, right? Except once."
This individual or group is going to face the same issues everyone who makes huge gains in crypto faces: Limited liquidity.

You may have $200 million in your "wallet" but it's not a lot of use to you unless you can find enough people to give you "real money" in exchange for your cryptocurrency.

I tan into this issue early on with Bitcoin. I was an early miner and at one point had some serious coin on hand. Unfortunately selling it all took a really long time and of course because it took so long my gains fluctuated wildly from transaction to transaction. I still walked away from the experience with more money than I had going into it - but nothing like I would have had if I had simply been able to dump it all at the peak of the market like I could do with a blue chip stock.
What I'm worrying about is that the reddit database is used by AI for learning dialogue and this kind of spamming actions just pollute the dataset.
Software can be "opinionated", when it has very specific ideas about how to do things and enforces a specific workflow. That can be a good thing, if you like that workflow well enough, or a bad thing, if you don't, or if you need flexibility it doesn't provide.
You used to have bugs in the ambiguous requirements in English, any formal specs which are precise, and the code. Formal specifications plus verification does indeed mostly move bugs to the formal specs or proofs. That mostly eliminates two classes of bugs. Then, it ensures that your extracted or verified code probably corresponds to your specs. It might even been proven free of (common errors here). With certifying compiler, the ML or C code might also be proven to compile to assembly without errors.

Quite a bit of improvement there. Developer is not just moving things on a ledger. That developer is preventing entire classes of problems plus reducing problems in what remains.
Honey Stinger Gold got me through my first in Detroit in 3:30. Highly recommend.
California also has an income tax of 1% for individuals earning one million dollars or more. It's called the California Mental Health Services Act. https://en.wikipedia.org/wiki/California_Mental_Health_Servi...
Can't speak for nvidia, but AMD has been improving rapidly since they released full open source drivers. Ubuntu 16.04 won't work well with newer AMD cards, but 17.04 works extremely well and there are further improvements coming in future.

Anyone wanting to play games on linux should be buying AMD at this stage.
ESNext Proposal: The Pipeline Operator
Yes, go into subreddits with population < 20K users. They start turning bad at 20K, from my personal observation.
Google+ wasn't real user growth. The number of active users was high because of such a weak definition reeking of BS.

The actual engagement rate was always weak (I'm defining it as purposefully reading or posting to google+).

Within a couple months, it was essentially nothing. I don't think Google+ ever sniffed 100M monthly active users after the initial two months of going completely public and having the hype. I'd think if it was 9 figures in active uses for the first few months, it was because a majority of people tried it once or twice or just did the Google+ profile creation. This is big because it means Google+ was never a real competitor in terms of popularity.

Google+ never felt like a threat at all to FB. And within a few months of public availablity, didn't seem like a threat of being a prominent social network behind FB either.
Like my comment below states, Google Plus grew to 30M users in their first month and 90M by the end of the year. During this time they were considered a real competitor and many people were predicting that they could dethrone Facebook and that there is nothing that says another competitor won't come along and do to Facebook what they did to Myspace.

Sure, looking back now it's easy to say Google Plus was a failure, but at the time people were really excited about it. Check out this graph of their growth:

And again, the reason for my post is that I wanted to point out there were people worried about competitors taking away market share from Facebook during their IPO just like there are people worried about competitors to Snapchat. It's only now that it's easy to discount those competitors because we see how it played out, at the time people were really excited about it, check out this graph: http://i.imgur.com/yQU2Y2z.jpg
I tried this a few times in the CS sections of a university library, and it was shocking just how ephemeral most of the topics were. There were books that got VERY EXCITED about systolic arrays. There was a small but persistent geologic stratum of books from the 1990s which all had to involve XML, Xpath, XSLT, Xforms, or some other revolutionary new technology beginning with the letter X. There were books with names like "Proceedings of the 89th conference in high-performance algorithms" which would have article after article talking about yet another kind of n-ary tree that performs ever-so-slightly better than another kind on a hypothetical computer without a cache. For some bizarre reason there were some of those "learn how to click the buttons correctly in MS Access 97 in only twenty days!!" books that had been mistakenly shelved in the CS section instead of the dumpster, and had never been checked out since. And very occasionally, once in a long while, there was something that would actually continue being relevant for multiple years after its publication.
I am a believer in "Serverless" and that it will play a primary role in a large portion of developers' lives... in the future

My experience with servless is that while this may be true at a certain level:

> No server management

I feel like in Amazon's current toolset, you are MORE aware of "servers" than you ever have been before. It's just abstracted into a different layer (cloudformations, etc). The boilerplate for severless projects it's a complete mess, imo.

Besides that, the Develop/Test/Deploy/Manage lifecycle is really difficult to reason about. I would hate to be the one on call when a serverless service goes down and I have to figure out what's going on!

I look forward to Amazon releasing more tools (or cleaning up the ones they have) to make Serverless a breeze to work in.

[EDIT] clarification of a couple minor things
> "...with the intention to avoid a single company commercially controlling a letter of the Alphabet."

Authorities taking steps against undue corporate control of the internet. It's almost quaint today.
The Greatest Risks Cities Face
It's a bit interesting, no? Hacker News isn't literally news, it's what people of our type find interesting.
You do get quite a bit of serendipity through following hyperlinks though :) .
The OP is using techniques that used to work on the wild wild web 10-15 years ago. I thought by now everything is being normalized, or at least serious people don't use spamming techniques to launch a business.

If all these bought upvotes come from new accounts, or from the same few IP ranges, or have a lesser ratio of comments to upvotes, or are interacting only between themselves and not with the larger community -> reddit can detect them and turn them into ghost accounts.

Reddit needs to open up a Kaggle challenge for detecting rented upvotes and other abuses, use the data it has already shared with the AI community (the reddit dataset) to detect such attempts as they happen.
It would be a good domain for a holding company or even just a summary of the companies he does.
Elon Musk is the greatest PR savant of our generation. I mean, he's an absolutely outstanding entrepreneur, genius engineer and fascinating technologist. But, wow. His personal brand carries so much weight, I'm definitely interested in learning about the PR people and / or firms behind his success.

Buying a single-letter domain is impressive, to say the least.

But a whole TechCrunch article, headlining with your face and name, because you tweeted about a domain name purchase for sentimental value is really next level. How did he manage to build such an impressive cognitive footprint in a world that's constantly fighting for your attention and ad revenue?

(... but then again, in the world of domain name purchases, I'm sure we'd all share a laugh if Sean Parker and / or Justin Timberlake bought "thefacebook.com" from Facebook.)
> It seems like every time I read about how SMS2FA was hacked it was done by some state level power...
It seems to be a lot more vulnerable than that. Perhaps the biggest problem is that the phone companies do not treat your phone number as being a component of a 2FA system (and, to be fair, that was never the intent).

I think this sums up the problem.

BUT

SMS is likely the most convenient way for non geeks to use. And, as far as I am concern it seems only ( or especially ) Telecoms in US are vulnerable. In places like China / Hong Kong / Japan / Korea, you cant change your recovery code or what ever without your personal ID.
I'd like a source on that since I try to collect examples of high-assurance security developed or adopted. Especially adopted as it's so rare.