skysight-inc/HackerNews huggingface dataset:
I think that the classic ironical demonstration of the limits of proof systems comes up with the fact that CoqIDE 8.7.1 crashes immediately on OSX if you try to cut or paste anything.

The problem, it turns out that they included a new version of OCaml which was incompatible with the older version of GTK that was being used. Result: crash due to seg fault.

We really need both proofs and pragmatics. Proofs can give us confidence in the fundamentals when used appropriately for the processor, or for consensus algorithms like Raft, or key parts of the OS. Tests and statistical analysis can give us confidence that we haven't overlooked something crucial.

Some systems obviously aren't very appropriate for formal methods (take machine learning, for instance, there can be no formal spec for what a fraud looks like). There statistics and testing will have to suffice because we have clear value on average even if we cannot formally guarantee the system.

Other systems are much more appropriate for formal methods. I should hope that a heart monitor, CPU, voting machine or aircraft flight management system will have substantial amounts of formally proved code (I know that I am dreaming with the voting machines; let's settle for getting it down on paper). I don't want to collect a statistical sampling of whether an airplane works as we iteratively work out the bugs and specs in an agile fashion.
I prefer cosmic background radiation.
No, we can talk about it - my point was that the conversation is probably more easily had in person or via blogposts where guard-rails can be set so people don’t talk over or past each other. When the topic is so vast, it’s more useful to have specific debate than to have armchair musings back and forth. It’s just more difficult of a conversation to be carried out in the latter form.
It is my belief that adtech companies' top priority is to make money. They do this by increasing clickthrough rate and cost per click. As long as they don't fall below some "trust" threshold (subjective emotional judgement from ill-informed customers pulling threads from obfuscated-at-best PR releases), they are golden.

From that perspective, why would they want to "better" target using proxy metrics for the ones you really care about? Focusing on the CTR[0], why use tags or interests when you can use clickthrough rate itself?

There are so many factors in what causes someone to click; it's a more effective strategy to treat all those factors as a black box, and optimize for the direct behavior you want to encourage.

Added bonus, those black box / supercomplex problems can be efficiently optimized by ML.

[0] CPC is driven by the advertiser side
I so wish the US government would do the right thing and abolish the H1B visa. The American taxpayers and citizens owe nothing whatsoever to the international engineer community. We should not have to care about your situation in this indefensible government program. It has been used to undermine the wages of domestic American engineers, what ever their ethnicity.

Somehow, Indian engineers have got this idea that the American economy owes them a job. If you are an Indian-American engineer, meaning one who has set down permanent roots in the United States, then you would understand how inappropriate it is having this group of people come in and undermine the status of domestic engineers, those who have to pay property taxes for the house as they have bought, those who vote in national elections because they are citizens, those who do not seek to game the US economy, only to send their money home to India or wherever.

In short, though I abhor Donald Trump, I am delighted with every step he takes to dismantle the H1B visa program.

If you come from India, then fix the Indian economy. Don't try to steal jobs from people with actual skin in the United States.
Which part have you worked on? I've seen some interesting blog posts on Rakudo. I'd like to see more written about how the JIT works though.
Thank you! Isn't this what serverless really is about... federated and distributed cloud platforms? Not another buzzword from whatever cloud provider, that essentially means more proprietary systems that benefit their profits and not technology as a whole.
Serverless is the new Blockchain--hype overrides all arguments against it's inefficiencies.
Boeing invests in new airplane programs that can take 10 to 15 years to turn profitable. The charge that Boeing is short term focused makes no sense at all, but that doesn't even blunt the regular charges that Boeing management sacrifices long term for short term results.
Not waging genocide on fit models as far as I can tell. Critiquing the bland predictability of advertising, including its use of fit models, and the demoralizing effects of a massive, relentless torrent of poorly-targeted ads you can't stop, yes.

There's nothing here that can't be hung on a pre-existing hook of "advertising sucks" (for many reasons including shallowness and sexism) and/or "Instagram sucks" (due to its being an ad platform masquerading as a "social" "sharing" "platform"). But you can also add the bluntness of their ad targeting algorithm to the list. It sucks. "She ordered yoga pants once... TURN THE YOGA FIREHOSE ON HER!"

I think everybody here including the author knows why she's seeing the ads.
Likewise "They don't do a perfect job" and Facebook's non-omniscience, are pretty obvious too. But it's worse than doing an imperfect job; it's idiotic and self-defeating for both the ad broker (Facebook/Instagram) and the advertiser. She is never going to respond to any of those ads. Even less so, the more they make her feel like nothing more than a place where leggings and bras go, that has money in it. Though I guess neither the broker nor the advertiser cares about responses, only viewings.
End of the checkout line: the looming crisis for American cashiers
I shelved a startup I worked on for over a year due to failing to gain any traction or raise any funding.

I started tutoring students in Python, JS, and Java on Wyzant. I enjoy teaching, and it helps pay the bills.

I applied to Fullstack Academy and have an interview in a few days. I want to stop spinning my wheels and become employable as a professional Software Engineer.
Adobe Photoshop cc (2018) 19.0 Plus Crack
I agree. My point was not that it is equivalent in scope (as the kinds of insecurities we foist on women are just brutal), but that I don't think that we would expect to see it come up as simply "half naked men".

I am also "overweight" (at the borderline for being clinically "obese", even), but it isn't something that haunts me every day and makes me question if I will ever be valued as a person again when I look in a mirror the same way we do with women.
Maybe to you, but the younger generation is different.

My cousin is a psychiatrist at a college, who has wishes there was a cure to baldness because so many young men become suicidal from balding.

The social media generation values looks very very highly.
I just don’t “feel” this article, and I use Azure Functions heavily.

My money’s on Istio (or something like it) and managed Kubernetes, since they can provide the right degree of insight/monitoring and control (any runtime, as long as you can pack it into a container) and don’t restrict you to any platform.
> "Taiwan has done a great job at treating many communicable diseases, but more chronic conditions are on the rise. These include cancer and cardiovascular and cerebrovascular disease, all of which are expensive to treat."

It's foolish to keep talking about healthcare without talking about (personal) health (including diet and lifestyle).

Reforming the healthcare system of a relatively young and healthy society is relatively easy (read: doable). On the other hand, "fixing" a healthcare system of a country (e.g., USA) that's aging and more importantly fond of "acquiring" preventable conditions (e.g., obesity, type 2 diabetes, etc.) and you will always be going sideways.

Yes, there is room for improvement in the USA. But that's still not going to fix the disgusting amount of resources wasted on the preventables.

If healthcare is going to be a right then personal health is the responsibility that must be paired with this right. Thus far the USA isn't interested in the discussion of the latter.
Oh. My. Goodness.

Nevermind negative body image. I would feel sexually harassed or something for having that many boobs and butts shoved in my face over and over and over. That veers weirdly into soft porn territory. If I want to look at naked bodies all the live long day, fine. But she says I mostly just came here to see pictures of my friends’ dogs and kids. If I were visiting a site to talk to friends about their kids and almost exclusively saw these kinds of ads, I would feel like this would be a bit like leaving a stack of Playboy magazines on the desk of a teacher at an elementary school.
It might also get you flagged…
I predict that there will be numerous duplicate Ask submissions.

https://news.ycombinator.com/item?id=16007988

https://hn.algolia.com/?query=%22ask%20hn%22%202018&sort=byP...
Does anyone have any research on the effectiveness of swype-based keyboards? Accuracy and correcting mistakes based on dictionaries? How does age and previous experience affect the use cases?

Keybee has suggestions support based on AOSP dictionaries, by default off.
Ok so - I am your target customer exactly. My team is responsible for generating product feed files to give to agencies and engines. The process is extremely painful and usually ends up wasting the time of up to 10 people in the company for what should be some automated process. And here’s the thing - because it’s revenue generating, finding the budget to pay for your service is super duper easy.

So with that in mind, here’s some unsolicited feedback -

* I need you to state your limitations up front. How many products can you handle, what is the size of data you can handle?

* What platforms do you integrate with? This wasn’t obvious to me after quickly scanning the site

* Do you let me dedupe, aggregate, or create new data attributes in your platform?
Funny Videos 2018 #1
One of my goals in 2018 is to see fewer ads. For Twitter, that means using a dedicated app (Tweetbot) that doesn't display any ads. I looked into similar applications for Instagram, but it appears they shut down their feed APIs two years ago.

However, I just discovered that the Instagram website doesn't show sponsored posts. I'm not sure if has something to do with my setup, but I just scrolled through the last hundred photos and didn't see a single ad. It looks great and functions just like the mobile app. The icon is even the same! Just go to instagram.com on your phone and sign in.
As a U.S. based software engineer, I can say that medicine is not the only sector that has over-priced professionals. I get paid a ridiculously high salary compared with my European counterparts. I've honestly always wanted to move to Europe, but the salaries here keep me from doing so. I don't understand how the U.S. gets away with it, to be honest.

With a global economy, I don't understand how we manage to stay competitive. Same goes for Silicon Valley vs the rest of the U.S. I don't understand how there can be such a price differential, and yet the most pricey places seem to win economically.
Left $150k software engineering job (well got fired for making video called "9 Ways to cope with having a boring 9-5 job" which somebody found and sent to HR) to make videos about stuff I think is interesting (https://www.youtube.com/c/JDiculous1 https://www.facebook.com/HonestLogic), with a slant towards addressing wage slavery, basic income, student loans, capitalism, etc. Still in the early stages, but I'll be hitting this hard in 2018.
A Trip from Chuka University to Waterfall Domestic Tourism in Kenya
so you're saying we should subsidize beekeepers (keeping european honeybees, by the way) as a environmental protection program, because otherwise there's nothing else to pollinate the natural native plants?
I think you're saying something different re: values.

Parent's saying the trend has already been in place (and true) for significant time. According to a survey[0] from Pew Research,

"Americans are roughly twice as likely to express worry (72%) than enthusiasm (33%) about
a future in which robots and computers are capable of doing many jobs that are currently
done by humans."

[0] http://www.pewinternet.org/2017/10/04/automation-in-everyday...
nice guess, but it's the owners who pick up the slack, i.e. me and my partners. we don't have junior people on the payroll i.e. people who would be frequently on call.

second, we manage run-of-the-mill web applications, not a bunch of internal IT stuff that is constantly breaking due to user abuse and poor planning. two different types of clients.

the problem with running a small tech company is you get accused of all of the downsides of a big company, but enjoy none of the associated upsides.

so in your mind, i'm an evil capitalist squeezing every last dime out of my workers, but at the same time, i'm unreliable. in reality none of these things are true, because it's my company and my responsibility to run it.

do you see how that works? this is how large companies get away with terrible practices -- because nobody gives business to the smaller ones, usually for reasons that are made up on the spot, like you just did.

keep that in mind next time you talk to a small vendor.
Anyone interested in story behind Hotmail should checkout:

"PS: I Love You. Get Your Free Email at Hotmail"

https://techcrunch.com/2009/10/18/ps-i-love-you-get-your-fre...

and here is the story of how Microsoft acquired Hotmail:

https://twit.tv/shows/twit-bits/episodes/4597
Using Pusher Chatkit with SlackTextViewController on iOS
Nowadays many applications offer in-app chat and messenger features to their users. The in-app messenger can be useful for things like live support chatting or in-app messaging with other application users.
PS: I Love You. Get Your Free Email at Hotmail (2009)
Left my job and legal security behind, and decided to take the full startup plunge. Started a project that will increase sex worker safety while providing a smoother, faster experience for everyone involved: https://pinkdate.is.
Yup, "no hookups" -> wants a hookup

So, it is indicated
Handguns are difficult to use. Moving targets are hard to hit. Extensive training helps, but many people who have found them in situations where they need to use that training have found their performance suffers.
I just try to point out the obvious :-)

From my point of view, if a person was right that X Corp was sacrificing the long term for short term profits, and that nobody else has cottoned on to it, they would be making a fortune shorting the stock.

I.e. if they were so sure they were right, they'd be willing to put money on it.

As for me, as mentioned before, I put my money where my theories are. I'm a long term investor (riding the booms and busts up and down) and have done satisfyingly well for it. I've had my failures, too, riding Enron right down to zero :-) but overall it's been good.
I've been scanned several times -- they scan 5-10 items and then let you finish checkout process. Not a huge deal...
The Robots Are Coming and Sweden Is Fine
That's great! I hope it works out that way for you and your community. I'll probably get the game when I get back to my gaming PC after the holidays. Please add me to the short list for early mod testing when you start to roll it out. This seems like the kind of thing I could really get in to.
English is my native language, but sometimes on HN it’s impossible to tell if someone really believes stuff like that or if they’re being sarcastic.

It’s a weird mix of people here. Some people on HN genuinely suggest in some of these threads that I should talk to my mom over IRC rather than using a messenger.
Continue reading IF you are interested in seeing how this was implemented: https://www.codementor.io/neoighodaro/using-pusher-chatkit-w...
The fission ignition doesn't make any appreciable difference in fallout; the main factor in fallout is at what altitude the bomb detonates--higher altitude, less fallout. The amount of radioactive material in the fission trigger itself is negligible; fallout comes from radioactivity induced in the materials thrown up from the ground during the explosion.
I would love this so much.
A Linux OS with the support of a major company and decent UI/UX? Yes please.
HOT OFFERS
Security Council 2398 (2018)
I agree that the thread was needlessly bogged down with a continuum fallacy about the word lethal.

I think you're right that escalating behavior is a significant variable. But I think that's a very tough thing to change. It may be that the low hanging fruit consists in changing the equipment rather than the culture. But I don't disagree with you in the big picture.

Anyway, I'll be careful not to assume your comments are attempting to be responsive to the things they reply to when I see them in the future, to prevent my misunderstanding.
A D.J. Could Save Your Life Tonight
Add the JSON Extensions to HttpClient on .NET Core
Cryptocurrency exchange. I genuinely believe in a healthy competition and the goal is to create a digital asset exchange with features for professional traders.

https://www.bithubhq.com/
Or big chunks of lime.
Thank you :). The external link was only to source one of the images, so I'm not sure if I should bother replacing it.

I actually know quite a lot about math and science, but my major difficulty is not being able to hold down a career where I have to apply math/science (though I have difficulty staying focused at most jobs that require substantial abstract ability).

In addition to Hooke's law, I simply felt a lot of muscle tension on my forehead growing up. Because I essentially had that feeling from birth though, I didn't consciously notice it until recently.
No, the reason you aren't supposed to use it to generate cryptographic keys is because it's public: so it effectively provides no (or nearly no) entropy. It's the same reason you shouldn't use the current time as a seed for a PRNG.

NIST Beacon is more intended for things like lottery drawings, where you want to prove that you're generating the random numbers in an unbiased manner.
> Being attracted to fat people is a kink, not the norm.

Norms of attractiveness are social constructs that demonstrably change over time.
Should your driverless car kill you if it means saving five pedestrians? [video]
http://playquest.io
A minimalist create-your-own adventure RPG/interactive story using nothing but text and emoji. Started as a simple exercise to learn more about front-end development and to build out my portfolio of personal projects. tried to do a kickstarter that was not successful. put together with Django, jQuery, Bootstrap and some JS libraries including underscore and hammer.js and an API for text to speech. For the most part it is spaghetti code and it made me realize that I should really start working on a front end framework, so I’ve been working on ReactJS and will possibly rewrite the game in React.
Super exaggerated headline
Building out CloudSploit (https://cloudsploit.com) to help improve AWS cloud security.

One highly-used tool we released this year was an S3 Bucket security scanner. We made it after reading article after article featuring companies who lost customer data because they failed to properly secure their S3 buckets.
How does this work for someone who already has a full-time job and mortgage? We would still need to take out a loan, right?
See my profile for a job that I m looking to hire for. If it fits your needs, I will be happy to talk.
You will absolutely need to notify AWS to scale to "world changing" levels or take on "massive surges" without spewing errors. There literal limits that require filling out a web form and waiting to get your ticket administered. Then Lambda is backed by EC2, which itself has functional (Re: AWS has per-minute limits on how fast you can add concurrency) and physical (Re: AWS has finite compute and will tell you they would like advances on your "massive" compute needs -- you can't just get infinite cloud off the shelf).
How good is it going?
The closest correspondence is men being financially successful, along with all the skills and status symbols that entails.

Notice that we're providing free content marketing for an organization whose value proposition is "we'll help you get rich". Men are not immune at all.
I love the story behind the FreeBSD to NT switchover
> I didn't tell them how cheap they were though.

They know. If they were to charge more another Chinese competitor would step in, and customers would be less likely to give them a try because of the risk that is part of the AliExpress experience. It's just how the AliExpress economy works.
They don't need to replace Linux in one big event. They'll probably test and safely move some working ideas to their production OSes (similarly as Span was introduced in .NET from Midori).

There is also some effort in abstracting device drivers in Android (Project Treble) but how it could be used in Magenta is not clear.

Personally I'd be really interested in seeing this OS deployed in production. I like Linux but it's XXI century, we should be slowly adopting basic security principles in our OSes (capabilities, microkernels). But I fear that Magenta will look similar to Android, while it is open source Google will internally use a customized version that the customers will not be able to compile themselves.
> China's ascension to number 1 world economy

My gripe with this is that people seem to take this as a fact that hasn't even occurred with almost 100% certainty that it will happen.

A lot can go wrong in 20 years. So far, all economies that challenged US in the past mysteriously gets IMF'd, pulling the rug out of a credit bubble that they help create by twisting the arms of the central banks that are supposed to be free from this kind of interference:

This documentary about Japanese central bank is eye opening to just how much grip the US hegemony has, one which I fail to see China being able to emulate anytime soon because of the hostage situation that US allies are finding themselves in.

https://www.youtube.com/watch?v=p5Ac7ap_MAY

The theory that states Sadam was whacked because he started to accept euro instead of the petrodollar standard makes an awful lot of sense.
> Yes because fat people are physically unattractive. Not only are they unattractive aesthetically, it’s just unhealthy and that’s far more of a factor in my opinion.

I think you’re wrong; bigger folks can totally be attractive. That they are unattractive to you is different.
Indeed, this is essentially the core purpose of advertising: deception and the exploitation of insecurities.

To those of you who work in this field, I urge you to consider your actions and to exercise integrity in your work.

I'm not one to make sweeping judgments, but I must admit that, personally, I sometimes find it difficult to understand how some people in the field of marketing can do what they do with a clean conscience.
> What Google should consider doing is making App Engine "classic" services like Memcached, etc. available to any service running across GCP.

Already being done. First was Datastore, now Cloud Tasks is in Alpha. Expect to see others (Cron, Cache, etc) come as well.
Except we don't actually know where the keys were dropped, so might as well start under the streetlight.
Lambda is backed by EC2 and absolutely has EC2's limits. Just like scaling an ELB takes minutes to serve "massive surges" -- AWS recommends you pre-warm ELBs or contact them to do so -- the same is true of Lambda.
That's a bit outdated (magenta was renamed zircon a while back and that mirror is overdue for deletion). Try:

https://fuchsia.googlesource.com/zircon/+/master/docs/syscal...

https://fuchsia.googlesource.com/zircon/+/master/docs/concep...
It's still better to think and formulate hypothesis in math. It's easier to criticize and falsify.

Even if the math is there to express an idea formally, it's time well spent.