skysight-inc/HackerNews huggingface dataset:
I'd love to see this happen at my company. Many of us have L-desks with cabinets and drawers. I see little, if any use, for them, and would rather some vertical space in a convertible desk like the VariDesk.
Sorry about that. Although I'm worried about the number of opinions I see on HN that are literally the sarcastic ones you expressed.
Formal verification of software is basically never done, but I was under the impression that chip vendors relied pretty heavily on both exhaustive state testing and formal verification.
Didn't the IRS decide bitcoin is an asset and not a currency? Seems like they shouldn't be able to have it both ways - if using an asset in this way isn't money laundering then it's a sound decision.
It's a large library of human-recorded loops, mixed and matched together at random. There's essentially nothing in the way of automated music composition.
Is there an indicator that large tech companies that have their business model figured out are laying off people or are expected to at this point?

My read on this is that the downturn is limited to funded startups with no clear revenue model or who can't scale large enough to secure future funding. This in turn could lead to a feeding frenzy by the big established players who see talent they can scoop up from people looking for stability.

I'd also love it if you or anyone has numbers on the percentage of people employed by such startups compared against those employed by the large tech companies. My gut says the % employed by the funded, pre-revenue startups is pretty minimal compared to the overall employee count of the large tech giants that are doing just fine.

Plus, given that this fallout would be largely limited to the private markets, I wonder if the outcome will really be that disastrous.
Since this does seem to be a causing confusion, which is precisely the kind of confusion trademark law is supposed to prevent, it seems like changing the name is the right thing to do.

Would Jupyter also object to jupyter.sagemath.com? I mean, that seems to more clearly say that it's jupyter instances associated to sagemath.
So? Relying on commercial auditors to verify compliance with published industry standards is a pretty common free-market solution to problems of trust.
I just bought a Roland JD-XI and not having an understanding of music theory I was looking for anything that talked about What Sounds Good and Why.

I'd like to read more without really diving into music theory too far.
Solving the Dating Problem with the SENPAI Protocol [pdf]
And of those that map to implementations, many are physically infeasible implementations
Seconded. I was a fairly early adopter of Windows 10, and the updates have never been an issue for me. I changed the update setting to 'notify to schedule restarts' and it's always prompted me to schedule it myself, rather than just doing it when it thinks I won't be using the computer.

It's that simple.

The only windows thing I changed is to use Classic Shell instead of the new start menu - other than that, it's fantastic, and a good evolution to windows 7. Going back feels like going back to XP.
> The original Prius wasn't all that great.

Much like the original iPhone.
If I intend to share or build upon it, yes.

If I'm exploring an idea that I know is throwaway and won't be foundational for anything else, no.
> Top Gear loved it.

Oh, absolutely. They loved the handling and similar less quantifiable qualities. The people bagging it were the people saying, "Only 200HP? Why are the tyres so small?" while the folks looking at the overall picture were saying "this is a hugely fun car in a very practical way."
Just curious here but sometimes some things are just much easier/faster to communicate using talk. Text just doesn't cut it. Don't you feel that way?
I am not too surprised. I think these efforts are like trying to get computers to write essays by following established rules for writing style. They can follow those rules well enough, and so they don't sound like complete amateurs . . . but at the same time, they aren't saying anything.

Which is exactly how computer generated music sounds to me. Pleasant enough, superficially, but with no real content.
Could Olympians Be Tweaking Their Genes?
lego seems to have a plugin for Gandi's DNS API[1].

Let's Encrypt always sends DNS queries to the domain's authoritative DNS server and doesn't cache any results, so as soon as your authoritative DNS server has the record, you're good.

[1]: https://github.com/xenolf/lego/tree/master/providers/dns/gan...
Does the computer generated music "compose" music based on music theory or by learning from other songs? Much like literature, music can be good because an artist tastefully broke the rules and typical norms. A song-writing algorithm full of rule breaking will not necessarily create a song that fits the bill of "good" music.
> and colleges don't want to teach software development because

Because they don't want to admit they've become trade schools for white collar workers. They even advertise themselves as such, "training for the real world". The real world needs more software developers than computer scientists.
https://rwmj.wordpress.com/2016/07/26/risc-v-on-an-fpga-pt-4...
https://rwmj.wordpress.com/2016/07/26/risc-v-on-an-fpga-pt-5...
Ahh, the buy vs build debate. Disclaimer, I work for https://www.chargify.com/, another provider of recurring billing software in the same space as Chargebee.

We see this question asked a lot it really boils down to resources and what you want to spend your time on. Yes, it is pretty easy to build a basic system with a gateway such as Stripe or Braintree but there are two main problems: 1. It does not scale well (your needs will likely increase) 2. Building and maintaining your own system takes away from focusing on your product (and it is not a core competency)...

As Krush said, there are "hundreds of small things that come up as you grow." By using a best of breed tool, most of these things are available out of the box with little to no dev work needed such as testing plans, coupons/promo codes, taxes, reporting/analytics, billing portal for customer account management, a portal for your support team to see/edit account history/info, system emails, dunning management, and so much more.

The price for billing software like Chargify is minimal compared to the time saved building and maintaining your own system. In fact, the money saved by leveraging our dunning features alone have proven to provide a 4x return based on the monthly cost of Chargify's software. So not only does it save a lot of resources, it provides an ROI.

We have a ton of people that come to us after building their own system, and wished they implement Chargify in the beginning. But it is never too late!

Happy to answer any specific questions.
Spammers Abuse GitHub by Forking Unreal Engine
This sounds like a lot of the typical WSJ "sky is falling" stuff again.
I could only finish two pages. What's so interesting about a response to a review of a linguistics book written by a psychologist? Normally I always read the entire article before commenting, but I feel like I'm missing something. Am I really the only one here who doesn't have the background for this? Am I expected to have read the book and review first? Am I expected to read the book and review now?
I don't get the shutdown reboot problem. Is a restart every 15 days unacceptable in return for reliable, consistent security/bug patches? Even Ubuntu is like that. I've used a mac book air for a little while and the update software had a glitch which caused it to get stuck. So I have zero experience with osx updates.
Just to be as fair as I can: I also find the new "Jupyter" branding to itself be super ultra confusing. :)
David Cope seemed to do pretty well:

https://psmag.com/triumph-of-the-cyborg-composer-620e5aead47...

IIRC the samples sounded good to me, but I have been unable to play them now to refresh my memory.
If you think about paper, it's not perfectly white because of the material and light passing through it and reflecting off it. Neither is the ink perfectly black. I've also found that a mix of shades is preferable to either pure white or black. On my latest site I used:

#0f0a01 for black
#fbfbfb for white
I don't think dhcpcd5 does this. Do you have a reference?
As long as you don't have to deal with licences, then it becomes hell.
I'm the same way, and still sore from some Microsoft losses.

It's as if they have the potential to build an amazing ecosystem but they trip over themselves and stuff comes out 3/4 baked. Mostly looking at the huge opportunity that they had with Windows Phone and still have with Xbox Live.
Are there any industries with authoritative right or wrong best practices?
Renaming: I think if the enter key does anything except execute/open the selected file it's non obvious and nonsensical. Also, the F key mappings are all random. It's meant to be like that. F5 is refresh. F11 is full screen. These are a bunch of unnamed keys that can be assigned arbitrary functions. Some apps hardcore it, some let users change.
I no longer work as an engineer. I apply the engineer and safety rules developed for airlines, nuclear power, oil & gas to patient safety. We put in "forcing functions" to ensure safety. For example, a driver cannot pit their car in reverse without their foot on the brake.
As far as I can tell the design flaw in the Tesla (which I have already Stated) is that the object detection radar sensor did not see high enough for clearance of the car. Musk mentioned in a twitter feed that they didn't want to detect overhead signs, but the signs must be high enough to clear large truck so the radar sensors should have been looking 8 to 10 feet vertically but the were not. That is why the car crashed. Not operator error. Not beta software. Not going 74 miles per hour. The car lacked the appropriate radar sensor to detect vertical 8 to 10 feet or so. Musk and supportes can spin but the engineer asks why the sensor wasn't there. To me, it appears to be a flaw in the thought process and it is hard to understand how the autopilot could be allowed to be turned on without the proper object detection sensor. And this basic flaw makes me concerned about other flaws in the design.
> It hasn't decreased, it has significantly expanded since NAFTA was created

"computers and electrical components" account for a good deal of the expansion in this time period.

Output is growing but it's lagging behind GDP growth. A heavy amount of the growth after the recession comes from the automobile sector. It's uncertain how sustainable that is.

It's just more complicated than trumpeting that manufacturing is at an all-time high. There are real concerns underneath those numbers.
Found the reference.. it supports wpad when used as a dhcp server. It doesn't support it as a client.
I just wish they'd fix their site so it doesn't break the layout horribly if someone has set their default browser text size to something other than 16px! The irony of a site that is about maintaining accessibility for those with less than perfect vision breaking under one of the most likely changes to be made by someone with less than perfect vision is rather awkward.
> what service do banks provide to their depositors?

Risk.

That is, banks should pay more interest (or have less-negative rates) than the CB currency, because

1. They're riskier. They can have solvency problems and liquidity problems (mitigated by the CB and the law, now and in the future to varying extents)

2. They want your money to lend to other people at yet higher interest rates. If they don't have reserves they can't make loans and they go out of business, so they pay you a premium for your deposits.
A css generator. Niiiice
Mostly manager positions at the top. That's how you know society is falling apart. When it starts becoming an old boys club with shared resources among guys that don't do anything useful.
Going off this, let's say I'm paid in Bitcoin and think the US Dollar is dumb. I still owe taxes in US Dollars and if taxes are 20-50% of what I spend money on in the world, then I'm going to have to use the US Dollar whether I want to or not. That gives the fiat currency weight - someone that is a third of my budget will only accept payment in it.

That's what a virtual currency lacks - someone that is a large portion of your spending that won't accept any other currency as payment. The US government is a large portion of my spending and won't accept non-USD payments.

The fact that you need to pay the government money in the currency they mandate means you'll use their currency. That guarantees users. For a virtual currency, there's no one demanding that I use it - at least no one that's a significant portion of my life that I can't avoid. So, I can easily leave and never come back. But if I lose faith in the US Dollar, I still need a significant portion of my income in dollars to give to the government.
As far as I can tell the issue started on July 17th with a fork made by zishenwushi, or at least that is the first email I got. https://github.com/zishenwushi/UnrealTournament

edit: my github news feed right now http://i.imgur.com/7RVOjxe.png
jupyter.sagemath.com -- that's a really good idea. Thanks for pointing it out.
What i gathered from the article is that access to data means power;

- more transparency of government + ability to organize means more power to grassroots organizations

- more data on individuals means more power to corporations
and governments

- ability to steal data means power to cyber criminals.

What i did not understand is the motivations of each of these actor to curtail his access to data/power? i think Bruce Schneier precisely described the new steady state now what i don't understand is how the system could possibly change.

this reminds me of the transformation of the former Soviet Union : in the nineties a lot of people thought that liberalism is here to stay; you can't just do a dictatorship and censorship in the 21st century etc, etc. However it turned out to be a brief interlude - the new elite is just a repackaged old nomenklatura and state power was never curtailed/balanced by an independent judiciary.
Same with the internet - the new gadget couldn't change the power balance, it just took them some time to adapt. TLDR: The criminals were the fastest to adapt (they always do); civil society got something out of the ability to organize but then the balance shifted back to the state and corporations, it just took them some time to get their act together.
Lowes and Home Depot will both take batteries for recycling.
Hall is literally trying to build Joseph Smith's version of Zion, so it is directly tied to LDS doctrine by any definition.
I'm pretty sure WSL is not enough for any decent sized dev effort. And running Linux on a VM on an i3 would just be masochistic. Stick to Linux would be my suggestion.
Really unfortunate for everyone involved. In these cases, does the company legally owe anything to the crowdfunding backers? The campaign was on indiegogo, which I believe has much looser requirements than kickstarter for ensuring project creators fulfill their rewards.
iPhone sales are supposed to collapse though.

The new iPhone is coming out in a few weeks.
"The applicable tech is already under a patent license (see OATH and IETF documentation)."

There's patents that cover a specific tech, for its uses, for underlying mechanisms, and for vague extensions. These are the risky types that show up the most with most of it obvious to point it shouldn't be patented. Expensive to fight, though. Microsoft goes for all three. So, either IETF would have to own patents for all use cases and underlying techs or Microsoft would have to issue patent license for all such categories if they have any. A patent license for the whole product to be used or cloned however, as in the open licenses, is still safer.

"There's no greater risk with a Microsoft option than a Google option"

Unbelievable. You've looked at the court histories to find that Microsoft and Google have caused about equal damage to companies with patent suits, lock-in, or obsoleting core products. They haven't. Google doesn't even compare, esp the billions Microsoft extracted with legal suits, except on encouraging lockin where Google at least stays ahead of most competition in terms of capabilities instead of stagnating. Virtually no comparison in actual damage done although I'll concede Google is becoming more like Microsoft every day in terms of sneakiness & lock-in strategies.

" I realize a lot of technical folks are still highly suspicious of Microsoft"

You should try the non-technical folks who've been burned by them with Windows activation failures, forced upgrades of hardware, forced ads on their paid Xbox Live, BSA developing snitches in organization, licensing schemes, lawsuits over nonsense patents, and so on. You don't have to be technical to be suspicious of an organization that pulls as much BS as Microsoft. I've met many non-technical people using Mac's (or enterprise Linux) because they didn't want the trouble of dealing with Windows or Microsoft. Worst horror stories I hear from Apple users in terms of company are the "Apple tax" and issues with non-Apple hardware. Also the PPC to Intel transition at one point. Collectively not in same ballpark as Microsoft's behavior, esp in financial risk.

"Microsoft's option has the best cross-platform reach and is the easiest to find in the respective app stores."

This could be true. Again, if it's usable, better than others, and you can avoid lock-in, then sure go for it as it's best option. Also, go for it if others are so bad they wouldn't use them anyway. Better than nothing. These are potential use-cases.

"You probably should be using at least one by now, if not several. "

It usually means they hit two targets instead of one. My opponents can do that. I just don't trust the accounts at all. I assume my machine is compromised then work from there. Far as riff raff, I use a Linux desktop, update my software, secure the wireless, make randomish passwords, and so on. I could improve it but the few times I've had to change something was when online service itself was compromised. Yahoo and LinkedIn being only ones I know recently. I'm not saying other people shouldn't do it necessarily but little benefit for me given threat profile.
As a note, when I was developing full time on Ubuntu, I used Ksplice which applied updates without a restart, even kernel updates. OS X still requires restarts after OS changes (in fact, I have a pending update to apply right now), though it's not as bad as Windows.
I feel it's important to point out that no one "needs" an EV certificate.

Of course there is the "increased conversion" argument from which some users find it worthwhile. But groups certain groups have long pushed a myth that certain types of websites "need" EV, which only serves to help their profits.

More than one consultant has argued you won't pass PCI compliance without an EV cert (false).
> At that point I made a decision to change this by enforcing a new hiring rule. Next couple of new employees are going to be women up until we balance our team

I stopped reading after this part!
Here's a good example of C&D letter that isn't written with going on the "all out offensive" in mind: https://brokenpianoforpresident.files.wordpress.com/2012/07/...
So if the "send email" step fails (temporarily), the next worker to come along will grab the same receipt and send it again?

I think a better solution would be to use a centralized queue that actually does the mail sending, and retries in case of failure.
Like the others, I use it wherever I can. The newer Verifone readers have NFC capabilities.

Whether or not the retailer has enabled it is another story. It's also another story if the staff knows anything about it.

Whataburger is an example. They take Apple Pay and they didn't even know it. The employees are always surprised to see someone use it.
Just as a heads up, the adjustment of putting your heels on a 5lb plate is actually used to train depth in the squat. "Ass-to-grass" is the squat standard for weightlifting (i.e., like in a 3rd world squat, you should want to be able to sit down on your heels comfortably), and the idea is that squatting a bit higher weights than you can do without the heels elevated with the heels elevated trains that depth in the movement. Point being, eventually you might be able to get to just under parallel if you keep working on the heel-elevated squats!

Also, re toes slightly out, this is how you should squat, you shouldn't square up with the rack or keep your feet parallel, because (again, referencing the 3rd world squat) if you were to sit down on your heels, mobility permitting, you would basically have to have your toes slightly outward.
Different data point.

I occasionally think I want a new MBP but I just got Sierra PB2 working just fine on my Mid-2009 MBP which isn't even supported. Given that I've upgraded it over the years with a SSD and maxed out the RAM, it still surprisingly feels like a pretty usable machine despite its bulk. So for me, at least for now, it's good enough and I still do not have a sufficiently compelling reason to upgrade. Hence the lack of new machines really does not bother me that much.
Wow, I am the opposite. Have to move to windows every now and again to develop (Damn you Xamarin and SOE), and I hate every minute of it. Everything is harder, the hardware is crap, it seems slow and buggy.

I much prefer xcode on Apple.
Aren't there problems where large scale data sets are not available, even for the big players?

With small amounts of data and/or unconventional learning situations, there should be options for incorporating domain expertise in interesting ways. I might be wrong, but I think the fraction of problems that can be solved with deep learning/large data set analysis is a small fraction of the set of AI problems as a whole.

For example, at a statistics symposium at MIT last year Stanford Professor Robert Tibshirani mentioned a healthcare (cancer diagnosis) problem, done in collaboration with healthcare people: http://www-stat.stanford.edu/~tibs/ftp/canc.pdf (these slides are different from the ones used at MIT, the content is similar though). He mentioned how they talked to some deep learning experts at Google, who told him that the data set was too small for effective deep learning usage. Another reason is mentioned on pg 30 of the above, basically sparsity being more important than nonlinearity here.

In healthcare, people care a lot about "interpretable" models. The term is ill-defined, but in a sense it is something where the trained model is easily explainable, and easily written down. A linear model is a simple example of such a thing, though usually insufficient on its own.
Deep neural nets arguably do not meet this, hence a reluctance (among other reasons) to shift in certain fields.

Your point may still be valid though - I do not know whether there are enough viable economic opportunities. Computer vision in particular is dominated by DNN/large scale analysis these days, and I sympathize with your difficulties here.
Why News Junkies Are So Glum About Politics, Economics, and Everything Else
If he had decided to give preference to (e.g.) Syrian refugees because he felt a sense of wanting to help, would you have the same response? If he gave preference to a veteran out of Patriotism or an ex-con out of a belief in "second chances" would you have the same reaction?
It was confusing at first when I switched to Mac (still have a Windows 10 laptop), but the 'Enter' to rename really saves me time, or it becomes much more natural.

And while we're on the subject of renaming files, I actually like how I can rename currently opened files.
YouTube runs several MySQL instances behind Vitess
(source: http://blog.vitess.io/2015/03/scaling-mysql-in-cloud-with-vi... )
Very sad. I pre-ordered this a while back. I don't mind startups dying but the way they handled the whole thing is disappointing. Absolute no communication whatsoever about the impending disaster. In fact, I am yet to receive any notification thus far that my order won't be fulfilled.