skysight-inc/HackerNews huggingface dataset:
Nothing more beautiful than bureaucracy driving out a thriving new business. Many of us danes were hopeful that the old taxi business would finally be shaken up as it is much needed.
> For a competitive golfer, the ball just is not up to par.

Well done.
Very good on the coast, high paying, fun work. Pretty sparse otherwise. I'm sure there are exceptions, but it does seem like it is growing. And, ironically, the main reason companies cite not choosing Scala (or only dip their toes into Scala) is lack of Scala engineers.
I would argue that decompilers are primarily reference tools (i.e., a more readable disassembly). It is wrong to see them as source code recovery tools because they will never be able to capture every aspect of the original program. So it doesn't make sense to have as a primary goal the ability to provide output that can be compiled again. It is more important that they more faithfully represent the disassembly.
"The market can stay irrational longer than you can stay solvent." – John Maynard Keynes
I'm unfamiliar with most of those, but aren't Deep Mind and Open AI pretty standard sources of knowledge in the DL community these days? I say this as a practitioner who has read some things from both, and had the impression that while cutting-edge, they are both "traditional" DL-focused institutions at the moment, not so concerned with AGI.
> Which radically changes huge fundamental assumptions in how legacy file systems were created 30-40 years ago.

Actually, it doesn't. It makes the ones that you haven't heard of interesting again. Consider the BSD 4.4 LFS, for example. The disc is written to as a circular log, with all writes going to the head of the log, which gradually works its way across the whole disc, and a cleanup mechanism emptying the tail of the log. That is global wear levelling in the file system ... in a design from 1990.

This is what you miss when you adopt the mindset that mis-uses the word "legacy" like that.
I think puns in the comment section belong to reddit
I've loved using Instagram Stories since they launched, but have absolutely no interest in using the equivalent features in Messenger or Facebook proper. And Snapchat never really took for me.

The people I see on Instagram aren't my small circle of real friends, or my bigger bigger circle of old acquaintances, but rather (mostly random) interesting people posting interesting photography of subjects I'm interested in. The Stories feature (temporary, unpolished) compensates perfectly for the deficiencies of the main Instagram product (permanent, curated), and vice versa.
I think more about the whole process would be nice. I mean, I can do this from a command-line just as easy, albeit a much longer syntax.
I'm pretty confident the role of a doctor will be relegated to the role of a calculator at some point. Nobody will do it anymore, rather, medical research will be the focus and providing data to AI, then less skilled/cheaper work can be done for the human care portion. IMO it is abuse to have someone work into their 30's to eventually get paid after all the sacrifice and long hours.
Hello Aadhaar, Goodbye Privacy
Show HN: Authorea beta, a collaborative git-based editor for researchers
You can ask that on their website: enter your email address along with your operating system, language and editor, and it'll let you know when support for that combination is added.
> But many of us can choose whether to see our jobs in a positive or negative light.

Right, that's the point.
> Is this a case of a story being kinda resubmitted by HN staff?

Probably, but because nobody except the mods than can give you a definitive answer on this you really should ask them (e-mail is in the footer) instead of posting here and ask for guesses.
New Ramsey number upper bound: $R(5, 5) \le 48$
That is what they /say/ isn't it, but what they actually want is the thought of someone being "full time" as if they can use that person 24/7 by paying for them "full time".

They're misunderstanding the meaning of the phrase.

Real //coverage// requires shifts of multiple people for the same job. "Being reachable", used to involve special extra pay just for the option of being called in (actual pay).
GM isn't a threat to tesla unless Cadillac starts selling something to compete with the model S. As a Tesla shareholder what keeps me up at night are Mercedes, BMW, and Lexus.
I am getting paid to work 40 hours a week, and for the most part that's what I do.

I do respond to calls and mails outside of work hours, because we are a 1.5 person IT department, and when e.g. email does not work, it is kind of a big deal. But that does not happen very often. (I used to have that colleague who literally called me every day, even when I was on vacation and sick, but he quit; the guy who replaced him is great though.)

Once a month, servers need to be updated and rebooted, and I do that, too, but I don't mind. It is kind of soothing, in its own way. ;-)

I have no problem working long hours when it is necessary. It happens, even in the best of places; but in places where it is the rule, in my experience, it's because management is too cheap to spring for a decent IT department.

And having been through a case of burnout (which, IMHO, is just a euphemism for depression), you really can't afford the amount of money it would take to make me go through that again. Or maybe you can, but you don't want to. Either way, I am happy to make a modest living working reasonable hours. My boss seems to agree, so we're cool.

(Full Disclosure: I am living and working in Germany, in case it matters.)
You may need to quantize data for error correction (as in "a trigger that differentiates symbol A from symbol B"), but you don't need numbers for that (as in "an arbitrary chaining of the sequence operator", which is the base of natural numbers).

You can have logic -binary or not- to define rules of inference, without defining a particular rule of inference for numbers (measuring quantities).

As someone else sort of implied elsewhere [1], if aliens use mathematics at all, it would probably be easier to reason with them in terms of topology rather than number theory.

[1] https://news.ycombinator.com/item?id=13969500
>NYT themselves didn't run this story

I'm not sure how it's relevant then, unless you're suggesting there's a conspiracy between CNN and NYT to destabilize Trump. Oh, you are. Carry on then.

>Every article... include a negative tone.

He is a bad president. Of course the media is negative about him.

>a dossier... which has since been debunked as a 4chan prank

Nope, wrong.
The FBI Uses “Abhorrent Crimes” to Extend Its Digital Reach
For most lukewarmists it is certain that humans (GHG emissions) are causing the global temperature to increase. But how much? About +0.5C since pre-industrial times.

Everybody also understands there's some natural variation, year-to-year noise which is 20x greater than the human caused warming signal. The trend over the past century is +1.0C / century. Or +0.2C / decade in the second half.

So lukewarmists believe humans are responsible for about half of the observed warming this century (0.5 out of 1.0), the other half is noise which will cancel out in the long run. That implies the projection for future warming is small.

The alarmist position is the opposite: believing that the noise was probably saving us from more warming, and that other mechanisms have acted to keep the observed warming down. In this view, humans are maybe responsible for over a 100% of the warming. This implies that the noise which has kept things manageable will eventually cancel out and we'll see a sharp increase in the rate of warming in the next two decades.

So yes, I think skeptics, lukewarmists, and alarmists are all interested in GMT through 2030 to get a better idea for how much warming we'll get this century.
How close are you to a linux release?
NYPD Seized 247 E-Bikes, Saving Zero Lives
> It shows just about every publicly available charger

It doesn't show any of the publicly available chargers in the state of Ohio. I don't know how many there are - I've never needed to care - but I'm pretty sure that if the local Wal-Mart has a few (and the UU church!), there are others.
It's when you check the whole cloud filesystem all at once. Not sure how it relates to tesla. Maybe the machine learning autopilot?
This statement is about a specific type of behavior conducted often by a specific type of person. It's the person that believes they are not stupid, that they are right, and that the world is at fault, when actually they're just doing it wrong. But it's their own ego and arrogance that would have them repeating themselves only to repeat the same mistake over and over and over and over.

It's the person who feels entitled to the world correcting itself, over them correcting themselves.

As with any blanket statement, it does not apply always. But this one is profound and true when it does.

I know such people. And I've also caught myself in the act more than once. In those instances, it's absolutely true.

This quote has saved me more than once.
I too love salt, but its roots as a remote command execution tool really hinder it in a lot of cases. This is especially true when you try to do something outside the well trod path; such as attempting to verify that commands issued by the salt master were actually initiated by an authorized party.

In the long run, I think I prefer Ansible, if only because it limits how much control any one server has over your infrastructure. Ansible breaks down when you have a lot of servers (thousands), but IMO at that point you really should be working at a slightly higher level of abstraction with VM images and automated scaling groups.
+1 for typestyle. My team and I have been using it for the past few weeks in trying to clean up a rather monolithic css project, and it's been really cool to work with.
That's true in larger centers like vancouver, but not in small cities and towns. In those place the government stores are an ale drinker's oasis.
I find it odd that the article seems to downplay the potential benefits machine learning provides by emphasizing a lack of explanatory power from classification algorithms.

At the very least it would seem that a machine-based classifier provides human physicians and researchers with more examples to base their inquiries on (possibly even illuminating some features they may have previously missed as important portions of theoretical models).
(Copied from above.) Totally legit concern. when we started working on this we realized if we wanted to index tens of thousands of libraries, we wouldn't be able to ship the entire index along with the client. Hence the cloud-based architecture. We've thought a lot about privacy and written up our thoughts here: kite.com/security. The short answer is: we don't index anything on your computer that you don't explicitly ask us to, and our plan is to earn trust the hard (i.e. only) way: transparency, published policies, and a track record of good decision making.

One of the big things we've worked on over the past few months is giving users fine grained control of which files are indexed by kite:

- Kite only indexes directories that you have explicitly enabled

- You can create a .kiteignore file (same semantics as .gitignore) to exclude specific files / patterns.
This has been mostly true for any new business or technology. The "hockey stick" growth point often occurs when it becomes more difficult for existing businesses not to use it.
Sometimes truth is stranger than fiction, as Bad Religion used to sing. ;-) (NB what a great name for a band that is in this context!)
By all means. Please picture the following:

-A folder full of batch files, each 2,000 lines long, that actually coordinate the builds

-A folder full of .exe's like 'findAndReplace.exe', 'EmailBuildBreakingAuthorsFromSVN.exe', replicating native Jenkins functionality, written in-house

-SVN.exe must be installed on the build node; if the build fails, the working copy is usually locked and must be manually Cleaned Up

-All build nodes run Windows XP Pro (including the Jenkins master)

This is what I had to deal with when I took over the cluster last year!!!

For the record, the whole cluster now runs on Win2012 with regular security updates, and most builds use the .Net plugin to build the VS project using msbuild. Those that can't, use Powershell scripts.

It has been a VERY long road...
Of course it's easy to not feel exploited when you make an extremely large salary, get all sorts of benefits and get to learn useful, transferrable skills. The point is that you're in rare company, most Americans couldn't even dream of a job like that.
Stuff like +/v is easier to reason about, but it's also handled by special code which runs a lot faster.
At some point I need to do a blog on all the horrible things that happen inside your computer (cache hits, memory being swapped in and out, stacks popping) when you do an interpreted, explicit loop; bytecode, AST or whatever. There are R&D interpretors which claim to remove this overhead for trivial for loops,which are the main kind that end up getting used in numeric code, but none of them ever seem to make it into production (I'm sure someone will correct me if I am wrong; I am pretty sure Art wasn't doing this in K4, though he was probably best positioned to do so).

The real reason we like +/v besides less typing; it can be handled with special code which runs close to the theoretical machine speed. Lots of small places and languages this fact can be exploited in. R and Matlab basically have a subset of operations you can do +/v type things with. APL is the main class of languages where this sort of thing is built into the semantics of the language. If you're dealing with numerics in an interpreted language, it should be built into the semantics of your language, and that's how you should do things. Really it should be in compiled languages too, and that's how people should reason about code, but it's probably asking too much since APL has only been around since the 70s...
Yes I remember coming across this in the late 90s on one of the USENET alt-compsci groups or something like it.

I find the idea of black-hole as hypercomputing environment interesting for sure.

edit: I am thinking of something different that I read in the 90's that was similar. I will have to look at this more in depth as it is different.
I think any sport which requires performing a discrete task is going to be similar. I have never golfed, or tried archery or shooting in a sport setting, but I have been powerlifting for a few years. I assume the concentration aspect is similar.
I just switched to Telekom for my Internet connection (private, not business), and while their service isn't perfect, I was still quite impressed with the whole process.

(Other DSL companies can be hell, because they don't own much of the infrastructure, so you'll get stuck in endless finger pointing and shifting of blame. Cable internet providers have their own problems, but are generally a good option, as well.)
This isn't open source, as the "no commercial use" violates a central tenet (#6) of the Open Source Defintion[1].

I believe this would be closer to "Shared Source"[2] than anything else.

[1]: https://opensource.org/osd-annotated

[2]: https://en.wikipedia.org/wiki/Shared_source
This means war!

I actually get somewhat worked up at times but generally the more it winds me up the more i want to bash its face in with a solution
Over the next year or so, it should be clear if they'll be left in the cold, or very wealthy. Pretty much everyone seems to agree that the Model 3 needs to do well in an unprecedented way (not impossible), or Tesla is in very deep trouble (not impossible). It's hard to imagine the BMW and Mercedes aren't working on things too, and they won't have horror stories of their cars being in the shops for the better part of a year.

This is still so uncertain, and I for one wouldn't feel comfortable even guessing, never mind guessing with real money.
We only have the defendant's word that it was baseless.
My foray into VPNs was good.. pretty much download, install, and play.
Really, absurdly, ridiculously close. Like so close we almost delayed launch so that we could get it in.
Earned Discretionary Time (weblog, 3 minute read)
The build server was still the shared environment, but all it did was call a batch script that did everything else, up to and including emailing the build breaker (see above comment). There was also copy-pasted jobs for each branch, rather than a single master build-branch job that took parameters.
Speaking from experience in Colorado where we have a 6 plant limit, it is plenty. The commercial markets focus on good producing strains, rather than connoisseur strains that often taste much better. The problem has been seeds, but my understanding is that BC has some very good seed banks. I hope you all have the opportunity to cultivate your own plants, and 4 seems too few if you want to keep the pipeline full (i.e. clones/veg/flower).
Good news, but it's not open source. The statement at the root of the projects says only:

"[...] that it will not assert its copyright rights with respect to any non-commercial copying, distribution, performance, display or creation of derivative works of Research Unix®".
I tend to think this whole "hype marketing" thing has been going on for a very long time; I can't quantify how long.

I do know that if you look at various technology marketing around the decade after the release of Capek's RUR (1920) - almost everything that was remotely mechanical or automatic or electronic was referred to as a "robot".

So it has been going on at least that long, and I suspect longer.
Poor geography knowledge did cause a war between Ohio and Michigan: https://en.wikipedia.org/wiki/Toledo_War

As the joke goes, Ohio won, but they still had to keep Toledo?
So you don't think that 3d printing solar roof tiles is innovative solar technology? I don't think anyone else is talking about that.
Early-bird tickets for FunctionConf, serverless conf in Amsterdam, 15-16 June
Turbo Tax different prices based on browser
I heard online companies present different prices for different users (Mac/PC, iOS/Android, etc.)

Turbo Tax Online Self-Employeed
Mac/Chrome $114.99
Mac/Safari $134.99

Same computer, same IP, etc.. Do they think people that use Safari are less computer literate?
Not just Germany but I found the same problem in Amsterdam when I tried to set up Internet for my apartment. It took 2 weeks for it to be enabled and it was really surprising since it takes about a day or two to get it setup in AZ.
1. The Four Corners monument marking the spot where borders of Arizona, New Mexico, Colorado, and Utah meet. Even after several lawsuits and court rulings, it's still off by half a kilometer or so.

Reading the Wikipedia article, it appears that the monument is off from its originally intended position, but that it has been confirmed by the courts that the surveyed markers supersede the written descriptions and therefore define the border. In other words, it makes no sense to say that the four corners marker is misplaced as it is by definition where the corners meet.
Why I Refuse to Negotiate on Equity
Most places don't have employment contracts.

The short answer is you can't. Your boss is always within his or her right to tell you that you have to stay.

You're 100% within your right to say "no" and walk out of the door.
I've only tried a VPN provider once, and all it involved was to download a program that took care of all the configuration for me. Child's play it was.
I've published in Nature, Nature Communications, Nature Materials, Scientific Reports, etc. also in physics. Perhaps my impression is wrong, but Scientific Reports does have editors in different subfields and I didn't find the refereeing level to be that different from a more specialized journal such as Physical Review Letters or Physical Review B. The main criteria is that the result simply has to be technically correct as compared to "impactful". I think that there's definitely a reason to have a peer reviewed place to publish articles about findings that are correct, but not as exciting as we might have hoped. I think of it as community service...
> Marketing can influence consumers' affinity for brands and perception of product quality. It can't change economics.

Actually, I would say marketing is one of the few things that actually can change economics, since it affects perception. Marketing can make someone think they need a new car when they don't, or that a car is affordable than an alternative when it really isn't (given financing, fuel economy, services, etc which are not always taken into account).

People don't make decisions based on reality, they make decisions based on their perception of reality. If you can change that perception, you may change their decisions.
Amazon Connect: A self-service, cloud-based call center
Hyperloop One says it could replace all air freight among GCC countries
it's right on the meridian by definition

What definition do you refer to? The real explanation for the discrepancy is that due to local gravity effects, the local vertical at the observatory does not intersect the Earth's rotation axis.

https://en.wikipedia.org/wiki/Prime_meridian_(Greenwich)

When the Airy transit circle was built, a mercury basin was used to align the telescope to the perpendicular. Thus the circle was aligned with the local vertical or plumb line, which is deflected slightly from the normal, or line perpendicular, to the reference ellipsoid used to define geodetic latitude and longitude in the International Terrestrial Reference Frame (which is nearly the same as the WGS-84 system used by GPS). While the local vertical defined at the Airy transit circle still points to the modern celestial meridian (the intersection of the prime meridian plane with the celestial sphere), it does not pass through the Earth's rotation axis. As a result of this, the ITRF zero meridian, defined by a plane passing through the Earth's rotation axis, is 102 metres to the east of the prime meridian. A 2015 analysis by Malys et al. shows the offset between the Airy transit circle and the ITRF/WGS 84 meridians can be explained by this deflection of the vertical alone; other possible sources of the offset that have been proposed in the past are smaller than the current uncertainty in the deflection of the vertical near the observatory.
A UBI makes the government itself that master. Everyone will be dependent on the payouts, and it will create a new baseline which will be consumed immediately. Pricing is relative. This will move the goal posts without making anyone functionally wealthier (except the fund's administrators, same as the union bosses always find ways to enrich themselves).

Individuals must be empowered by keeping the markets not only open, but gaping. The government's actions should always open up competition.

A great way to get started effecting this would be a liberalization of intellectual property law (trim the lifetime of copyrights to 5 years and patents to 7 years, for example, while also seriously weakening the extent of the monopolies they grant).

Another way would be a modernization of the courts, to ensure that little people can have their concerns addressed speedily and at minimal cost.

Cartels and monopolies should be aggressively disrupted (ideally through indirect action, though direct is not out of the realm of possibility), and market distorters like health insurers should be excised quickly.
20 is pretty far down the list for programming language popularity.

https://www.tiobe.com/tiobe-index/ lists Scratch in the 20th position. Cobol is 25. I'm not sure there's a Lisp dialect in the top 20 now.

Of course, any ranking of programming languages is problematic. Learning Lisp is always a good idea.
How will you know if people are using their own details, or just the details of someone else? How can you verify that without requiring a credit/debit card?