skysight-inc/HackerNews huggingface dataset:
A few years ago I got an alert from Google Scholar asking me to confirm ownership of a recently published paper. Given how common my last name is, I got a lot of false matches, and the paper wasn't mine. The title, however, was similar to my undergrad research, so I took a look. Turns out that the paper was a slightly edited plagiarism of my undergrad thesis, on which I'd been credited as second author.

I emailed the first "author", the chair of the department listed as his affiliation, and the editor of the journal. The individual responded, and after some back and forth he claimed that he'd wanted to collaborate with me and had worked on reformatting the paper, but had not meant for it to go to print. The department chair said that they hadn't seen him since he'd graduated a five years previous. The editor said they'd take a look.

Finding that one's work has been plagiarized is frustrating, but dealing with the journal was even more so. They quickly acknowledged that the paper was plagiarism (by running a tool that checks against some corpus--why don't they always do this?) and had me approve a retraction statement. However, it took me sending a DMCA takedown notice and copying the publisher's general counsel on the email to actually get it posted. It then became clear that they had no intention of taking the paper off their website. Their reasoning was that their Code of Ethics precluded them from removing a retracted paper. A couple more emails to the general counsel pointing out that their Code of Ethics did not trump copyright law and a stated intention to seek legal representation finally got things sorted. I'm still not sure whether the plagiarism or the retraction notice went to print--I've been unable to get a hard copy of the journal issue.

I also demanded that the journal send me the referee reports, which they did after some insistence (and me pointing out that I was listed as an author). They also sent the response from the submitter. One of the reviewers was very concerned as to why previously published work was being submitted. In response, the individual moved some paragraphs around and made some claims about focusing on different parts of the research.

The individual later contacted me after the retraction notice started causing some problems for him, hoping that I could somehow make it go away. He admitted that he knowingly submitted the paper. He needed a paper in my area to help him change fields, and included my name because he intended to also include my name on some of his own work to make up for plagiarizing mine. If he hadn't done that he would have gotten away with it :(
Sales and marketing automation companies just got a huge boost in their capability to do SMTP validation.

Time to go check HANSA on the onion.
I've found there are many auto-didacts in programming.

I haven't found that for any lab science or engineering for that matter. I wonder why...
If they are guessing at NEDC measurements then they are claiming 19 miles more than a Model S of the same battery size, and 250 more horsepower. If they expect 400 miles EPA rated range, then they are expecting 30% more range than a P100D. Which, frankly, is ridiculous. They're also claiming full autonamous hardware and coming software, which is highly suspect. I also am wary of the fact that so much of the car looks explicitly like a Tesla. Center console screen, model 3 roof, Tesla-like nose, Tesla-like wheels, Tesla door handles, even a Tesla-like font.

That said they do apparently have a lot invested. The car is clearly intended to be a step above a model S. They have executive features, more power, and a more detailed interior (although, no leather?).
Left turn on red is legal as well in CA whenever two one-way streets are intersecting.
I had to take a full term length ethics course to get my Software Engineering degree -- at what post-secondary institutions does this not hold true?

How do we make all the unregulated ways of learning how to code (e.g. coding bootcamps) include ethics in their curriculum?
Actually Seattle's property tax is pretty good. You wouldn't believe how unprogressice WA is in practice.
Tell me about it. I'm selling a MacBook Pro in Tokyo, and the thought of dealing with those queries is pretty depressing. Plus the fact that the items on this list are not moving at all:

https://tokyo.craigslist.jp/search/sys?query=macbook
Unleash How  to Make Your Kindle Child Friendly
Most businesses fail to communicate the real reason for workplace compliance
That depends what you mean. Most of the major auto manufacturers have an electric vehicle available already (i3, Leaf, Bolt, Soul EV, etc.) or in the works for release in the next few years. The issue is that their entire production line, supplier relationships, sales models, etc. have been optimized for ICE vehicles for decades, so converting to all-electric vehicles while still producing and supporting ICE vehicles is organizationally very challenging.

However, as evidenced by Google's recently stated exit from building its own vehicle, actually bringing a new consumer car to market in any kind of decent volume is really, really, hard. I'd put my money on a slow conversion from ICE to EV with the existing manufacturers over the next 20 years, and smaller entrants popping up and going bust every couple years. Remember the Fisker Karma? And also remember how Tesla almost went broke multiple times? Long-term success for startups in the auto industry is rare.
Ask HN: How to be successful at Facebook/Google?
Hey HN,
Those of you working at Google/Facebook as a software engineer (or at similar companies where there is a lot of hard working and smart people) can you share some tips for how to be successful?
I heard it uses spot instances perhaps I am wrong.
What kind of bizarre argument are you making?
Oh hey, this is me! I had two accessory spleens. But the bad news is that ALL of them absolutely had to come out -- the accessories were discovered during a medically necessary splenectomy.

As the article says, the spleen filters your red blood cells and platelets. Think of it like a swimming pool filter for your blood stream. It knows which cells to break down because they're misshapen, spherical, instead of the "donut without a hole" shape. RBC's live about three months before degrading like that.

There's just one problem: what happens if your red blood cells are ALL funny-shaped, even the young healthy ones? Why then, your spleen valiantly tries to catch 'em all, like Pokémon, and you end up breaking down your own blood supply, auto-hemolytic anemia.

Welcome to hereditary spherocytosis, which is what I have. Despite its name, it was not hereditary in my case; about 25% of cases are de novo mutations. Incidence is about 1 in 6500, though some milder cases go undetected.

So, after a childhood of jaundice at birth, inexplicable anemia, paleness, and just being really really tired all the time, finally at age six did my pediatrician notice that my spleen was massively enlarged (due to working overtime) and two years later I had to have it out, along with the two accessories they discovered on the operating table. This was the late 1980's so I juuust missed the beginning of the era of laparoscopic surgery, so I have a heck of an abdominal scar.

Poor little spleen, it was only trying to do its job. The fault lay with my blood, not with it.

Meanwhile, I'm immune-compromised for life and have to stay on top of all kinds of vaccines. Note to other spleenless wonders posting here: there's a brand new Meningitis Type B vaccine that just came out in late 2014; get on that. Also Prevnar, Pneumovax, annual flu shots and all the other fun stuff.
You don't have to be part of it. If you find out that you are part of it then just quit. But by blowing the whistle you endanger thousands of lives, and you think that just because you're some sort of freedom fighter then it's OK.

It's not OK. You want to fight the freedom fight? Go work in politics. Don't screw your own country.

BTW - I'm not from the US.
As a consumer, that first number becomes irrelevant if it's not the "is this going to break my shit?" number. Why have it? It's not communicating something useful to me. Cut it.
Kisna vs Evils – Kisna Compilation – Part 4
TargetBay Is the Proud Winner of 2016 Rising Star Award
That's really cool. Is it actually compiling in the background? Is this a tool you wrote?
>> and with the right tooling it should be able to prove many things quickly

> Yes, this should be possible, and it is possible.

Regardless of the formal tool you use, be it Coq, Idris, TLA+ or Isabelle, proving what you need proving most -- the non-trivial stuff -- is never quick and easy. The reason it's hard to prove non-trivial algorithms correct is because it's hard to write non-trivial algorithms correctly. Temporal logic, HOL, SMT, dependent types, model checking, abstract interpretation -- they're all useful tools, but in the end, to make the utmost of formal methods, and understand the difficulties and possibilities, one must first understand the nature of algorithms and how they work, and this is always the same, regardless of the particular formalism used. Personally, I've found TLA+ to best isolate the core of the issue with as few distractions as possible, and others may find other formalisms to better suit how they think, but the essential problem is always the same.

It is true, however, that some formal tools impose more accidental complexity than others. The ones that are most refined are those that are used by real engineers on large real-world software every day, like SCADE, TLA+, SPARK etc., while things like Coq and Agda are mostly aimed at researchers and designed to let them explore new ideas.

In practice, the industry uses automated formal methods -- SMT solvers and model checkers -- almost exclusively, with interactive deductive proof used to tie results together or to fill in a few missing gaps. Interactive theorem proving is currently too costly as a primary tool for use in real-world software, in all but the most high-assurance settings.

> Look up SEL4 and CompCert for a start.

seL4 and CompCert -- while great achievements -- are neither good examples of formal methods, nor are they particularly encouraging. For one, they were academic projects that took world experts years of effort for what amounts to very small software as far as industry software goes (comparable to a ~10KLOC C program). For another, the kind of verification they required is what's known as "end-to-end", namely global correctness properties are proven all the way down to machine code. This level of correctness is unnecessary for 99.99% of software; perhaps even for no software at all.

Much better examples of the use of formal methods in industry include the use of SCADE to write thousands of safety-critical, hard realtime software every year; the use of Z and Ada SPARK by AltranUK to write large, complex defense software; the use of SPIN and other model checkers to find flaws in hardware designs, the use of B-Method in the railway sector, and the use of TLA+ at Amazon, Oracle and other companies for complex server-side services.
Candid Wedding Videography by FotoZone
...are you joking or serious?
Sorry, I've missed that!
Behind the Scenes with the World's Top Feather Detective
"as a libertarian when his companies rely on fat government subsidies and contracts"

People's ideologies and their actions rarely align.

Conservatives talk of 'small government' - and really, truly believe it - but then spend big, especially on defence.

Most bankers would be for 'limited government involvement' but they take bailouts and Fed subsidies.

They are all fairly hypocritical.

Yes, you are right - they are all pragmatically opportunists, trying to build their brands and wealth.
Can you share the salary range?
Yeah absolutely fuck Ebay. It was broken years ago.
World Web Technology Proudly Holds Certification of ISO 9001:2015
Data Analytics and Its Uses in the Retail Industry
> Wow. This is probably the worst comment I've ever seen on HN. You're suggesting that people who follow the law, which you disagree with, get blacklisted, following the model of criminals killing other criminals who follow the law.

Because everything legal is good. People like you are what Stalin, Hitler, and Mao rely on.
> So now, quitting your job (because you're asked to do something unethical) is the equivalent of losing your life and limbs?

In a capitalist system, where your alternatives are "work or stave", yes.
I'm aware of the culture, and I'm fine with it.

Surely, we benefit from having some people here and there 'rail against big corporations'.

There are granules of truth in it.

But it's the hyperbolic and crazy statements that are funny and spooky.
Some things I've realized / hypothesized over the years:

I like and am good at biking, swimming, running, and weight lifting because I'm poorly co-ordinated, so bad at other sports (that involve changing direction right/left quickly)

I like and am good at biking, swimming, running, and weight lifting because I'm kind of socially awkward and you don't need to talk to other people to do those

Regarding exercise and cognition: I was studying for the GMAT and training for a triathlon. If I did practice questions shortly after a workout, I did poorly compared to a no-workout-day, as I was tired. I think exercise helps long-term cognition, but impairs short-term cognition
> They say they don't know who it is, but we can conclude it's not the US government because Yahoo is willing and legally able to publicly disclose it.

I would assume, like most announcements, the reason that it's being announced is because the data is available out there and been seen in the wild.
Tesla’s new radar technology is already saving owners from accidents
I feel like everyone has forgotten about PRISM. All the big companies denied they participated in PRISM. Is it real, and if so, why have Americans been so complacent about its existence?
> everything's going fine

for good team lead it should indicate that "something is wrong". It possible cannot be "fine" every meeting, if team is really solving some problems. If team doesn't solve anything complex - there is no need for standup.
> I recently read an article about the unit economics of Uber. It doesn't work out. Uber, in it's current form is based on leveraging free VC money to subsidize and incentivize somewhat artificial demand.

I don't buy that argument. By that logic no taxi service could ever work out. It might not work out at the current price levels, but once they squashed all competitors they're free to raise their prices (similar to what Amazon does).
401k loans are limited to $50k.
There are widely-corroborated allegations that Wells Fargo's flagship retail division had their junior employees open millions of unauthorized accounts/financial products. Thousands of employees that did not play along were either fired or both fired and permanently burned with the self-regulating body FINRA. Employees who refused to engage in fraud were fired "for cause" and all anyone searching for their publicly-available disciplinary record with FINRA saw that they were fired for "not following directions" or somesuch.

Wells Fargo settled this issue with some regulatory bodies by either admitting or not contesting the charges and paying record fines. But they did not settle with all of their regulators.

These crimes are heinous enough to warrant a RICO case against WF. Many C-suite people plainly knew and encouraged or stood silent and should go to jail.

Due to the size of WF and the length of time it has gone on, this cancerous culture has spread, to some degree, to every other retail bank, but we can still eliminate individuals who are obviously morally corrupt using a very simple filter. The entire mid- and senior-level leadership of WF Retail for the affected time period from Branch Manager on up should be barred from ever working in banking again. WF only promoted people who actively and enthusiastically engaged in fraud and we should have little sympathy or compassion for people like that.

The retail bank should have its banking license revoked, which would result in the entire holding company being pushed into bankruptcy and the non-retail divisions sold off in a (semi)orderly fashion, if only to make an example to the rest of the industry. Great care should be taken that this doesn't turn into a Lehman-level fiasco that imperils the entire economy, but the punishment should fit the crime, and, at the minimum, bondholders should lose money. That is really the only way we can save our modern capitalism from itself.
They basically don't care about individual sellers, only "power sellers" who move the needle in a meaningful way, and can handle a margin loss on fraud. It's like how hotels and banks have a fraud allotment on their balance sheet.

How large of an market is there for "original ebay" today? If it's big enough, I wonder how much longer it will take for a competitor to rise from the ranks.
DO NOT delete your Yahoo account! In their disclaimer when you delete it, they state:

> "[...] we may allow other users to sign up for and use your current Yahoo! ID and profile names after your account has been deleted"

Bummer if you forget that it was the password reset email for your Facebook account, huh? Instead of deleting your account, purge it of all data: https://honeypot.net/purge-your-yahoo-account/
But I wasn't complaining about being downvoted, nor was I inviting anyone to downvote me. A comment not written by me was downvoted by someone who didn't seem to be represented in the replies to it, and I really did want to know why, out of actual curiosity.
Earth, the Final Frontier
Humans do this also. It makes me wonder what the driver did before left turn arrows were common. In driver's ed, i was tought to pull into the intersection blocking the right lane of perpendicular traffic (to my left), the lane just after the crosswalk. A surprising number of people don't pull up at all.
Does surge pricing actually increase availability? There's no public evidence for it.
I switched to VS code today and I love it! Looking forward to JS improvements. Thank you to the Microsoft team! :)
You shouldn't invoke Turkheimer's three laws paper (which is a good paper) to make a statement with which Turkheimer would disagree. Turkheimer certainly agrees with the factual observation that formal education (which is part of the environment not necessarily shared by siblings in the same family) can raise IQ. You can look up a paper on which he is a co-author for more details. (I correspond with Turkheimer from time to time, and know many of his co-authors and colleagues.)

The link to the paper here is from Eric Turkheimer's faculty webpage at the University of Virginia, which I visit often to read his latest publications.

http://www.people.virginia.edu/~ent3c/papers2/Articles%20for...
Ransomeware gives free decryption keys to victims who infect others
OTOH, I'm pretty certain a <2015 Model S in working condition in 2035 will be about as rare as a genuine Lancia Stratos is today. They're just not built for longevity, and have a completely proprietary repair tooling and electronics setup. I doubt we'll e.g. ever see a Haynes manual for one.
An Open Letter to Founders
Standups are for teams who solves problems and need constantly keep in touch to see if the whole team moving in the same direction. If your team is bunch of people working on independent projects - no need for standup. It sounds like you have manager who has no time/skills to put things in order.
Lots of secrets scale to hundreds of people just fine, and are enforced weaker than with a prison sentence. As far as any of those people are concerned, they are now actively monitored in the name of national security (same reasoning as why the NSL was issued).
Well, if it's real random and it's experimental vs observational, then it depends on how big an error you can tolerate. Counter-intuitive fact: the minimum sample size for a T-test is two...
I wonder how much of VS Code's community momentum over Atom is due to TypeScript vs Coffee. Personally, I find code bases with great language tooling easier to jump into.
It could alternatively be framed that it benefits users who could learn some AWS through using their low-end stuff. (I guess AWS skills are probably desirable in the job market).

The obvious followup question: is lightsail the same interface / setup as normal AWS so that this would indeed work? or is it some sort of vastly simplified separate thing?
I think it's probably more just taste. There are plenty of folks who prefer the Tesla interior to BMW/Mercedes/Audi, including myself.
Given its government's track record, I would think that data centers in the US should be walled off in much the same way as data centers in China. It is frankly surprising that American companies are blind to their own government's track record for indiscriminately spying on its citizens and people around the world.
How to Find Large Files Using Command Line in Linux
Amazon Echo may be listening in on your conversations in your Vegas hotel room
As someone who grew up in Portland and still lives here. Please stop telling people about Portland. The traffic is already bad enough and I personally enjoy dreaming of owning a house one day that isn't in the sticks. Portland housing is sky-rocketing because of techies leaving the bay for cheaper housing.
Automation was never this easy Check out this blog to know how
WebStorm on OS X has been slow and laggy every time I've tried it on a machine that can handle Atom and VS Code with no problems.
Most of the tools you mentioned are general theorem provers. They can be used for formal verification of software, but they are mostly research tools. Isabelle is probably the most production quality of those you mention. Industrial-grade formal verification tools -- designed for use by engineers and made to handle larger, more complex software -- include Z, TLA+, B-Method, Why3, SPIN, SCADE. My personal favorite is TLA+. You can start verifying real software in TLA+ in the same amount of time it would take you to get through the first one or two chapters in a book about Coq, and the size and complexity of systems you can affordably specify and verify are larger than you could ever hope to do in Coq.

If you absolutely must have end-to-end verification, namely you must verify that global program correctness properties are preserved all the way to the machine code, then you should probably use SCADE if you're writing embedded real-time software; otherwise, consider Isabelle.
Competitive sportsmen of any stripe tend to have various injuries. Unless you're a competitive runner too, the two cannot be compared.
This is an amazing tool, I use it almost daily. Whenever I want to test an idea, or see what is going on in the assembly, I go straight to godbolt.
Climate change is not a political issue in India. American government and organizations are pumping a lot of money into India over climate related issues. Clearly as a result of that you will see ivory tower intellectuals writing in op-eds.

Indian public policy however does not see climate change as an issue unless it is about stopping some project for political or financial gains.
Yes, I share us much as I can with my wife, so far she gives the best entrepreneurial advises.
How to Implement Distributed Snapshots in Tera( Modeled After BigTable)
distributed snapshot algorithm inspired by http://research.microsoft.com/en-us/um/people/lamport/pubs/c...
Daily standups are horrible. It's another "agile" thing that sounds good when somebody made it up, but is completely pointless and counter-productive in practice. And stand-up usually occurs when developers are actually starting to get productive in the morning.

I'm just not doing it anymore..along with open office.
Oh interesting. I guess that's the benefit of not competing on price. People assume you're probably good at something if you aren't the cheapest.
Show HN: Superdom.js v1, modern DOM manipulation
I did some benchmarking and figured out that Lightsail is just another name for T2 instances. Just different branding for the same product.