skysight-inc/HackerNews huggingface dataset:
The licence is quite vague. I'd recommend actually attaching an official LICENSE file in the repo which states what users are considered personal/research, and what are commercial.
Geoscience Australia | Devops Engineer | Canberra | Full-Time | On-Site ($80,022 - $92,628AUD)

As a DevOps Engineer within the Cloud Enablement team, you will have a chance to drive the development of cloud, automation, and culture at GA. You’ll help us to continually improve GA’s cloud environments and code pipelines, making our services scalable, reliable, responsive, and secure.

A collaborative and inclusive culture is vitally important to us; we love solving challenging problems as a team. We’re strong members of the Canberra DevOps community, involved in and hosting the city’s Infrastructure Coders meet up group. We’re committed to Open Source and we’ve recently kicked off the first of many Hack Days.

There’s a free on-site gym, weekly yoga and pilates, and an upcoming childcare centre – and we celebrate the end of each sprint with an informal get-together.

Apply at: https://www.apsjobs.gov.au/SearchedNoticesView.aspx?Notices=...
Ah yes, iOS doesn't let you do that, but third-party apps can choose to open stuff in the Chrome/YouTube/etc. apps if they want to.
I think Twitter is hoping for a strategic acquisition, based not on financials but on a brand and a vision. I guess this is how their board values the company. Either a buyer would be as enthusiastic about the dream as they are, or they'll realize that the dream is worth a lot less.
Wedding Invitations Sale: FLAT 30% OFF at IndianWeddingCards
When I read these news I'm always reminded of a certain old project.

There once was a decentralized communication platform that promised to replace email, wikis, forums, article comment services, blogs, microblogs, you name it.

It was technically very advanced: many people could work on the same document at the same time and they would see each other's changes in real time, even if they were working from different federated servers. The history of all changes was accessible as well, in a very user-friendly way (play button and time slider.)

The GUI was not as fast as it could be, but it was cross-platform, user-friendly, and it worked.

I'm talking about Google Wave. It was federated, it was very advanced, and it failed spectacularly. Keep that in mind as you make further predictions.
And yet, in spite of all code reviews, they just got an use after free exploit this week and the CVE database is full of exploits due to memory corruption.
Location: Los Angeles
Remote: Open
Willing to relocate: Depending on the opportunity
Technologies: Java, Node.js, Python.
Résumé/CV: https://goo.gl/KNeya8
Email: davidariascg@gmail.com

Hi guys! I'm a recent graduate from Cal State LA looking for entry level work! 2 internships under my belt mainly in PHP.

Also, sorry there's no line breaks. Not sure why that is.
No, the result of increased wealth inequality, even if you maintained the same level of social mobility, will worsen not improve situation. The description of a rise in absolute mobility would be a misunderstanding of the issue.

If that is too theoretic, consider the analogy of a lottery where one group of children win automatically and an other group has say a 10% chance of winning during their life. Increasing the prize (i.e. a rise in inequity among classes) serves only to worsens the situation not only for the median and average members but the vast bulk of the lower class since those who don't rise (the vast majority) are now even worse off relatively.

Or indeed by your logic simply raising the salary of a CEO by a massive amount also raises the "absolute mobility" of all other employees

So unless mobility also raises by at least a corresponding amount, any worsening of inequality at birth will only worsen the situation by every meaningful standard. And even then it is probably a bad idea.
Thanks, those are good comments and I largely agree. I'll reply on a couple points though:

1) Yes, even in weak models, proving correctness is still intractable in general. However, this does not mean that a general algorithm has to be slow when run on typical instances. Typical instances are designed with a proof of correctness in mind, which is a strong indication that such a proof should be accessible.

Unless you're generating programs randomy, programming generally entails carrying at least an informal proof of correctness in mind.

2) As you point out it is currently very hard and tedious to formalize those proofs. However, I believe this isn't a fundamental barrier. We need better tooling, more clever proof-finding algorithm to bridge the gaps, clearer interfaces. Importantly, it is not a computational barrier.

There is nothing about the formal verification of typical software that intrinsically requires expensive computations. Compare it to image recognition. It used to be very hard to do in software and it didn't work well. But when it finally started working, it didn't turn out to be particularly computer intensive.

I think the same is true in formal verification. We don't know how to do it very well, but we're not up against theorems in complexity theory, we just lack the know-how.
5 Money Habits to Avoid Financial Stress
Competitive Pricing Strategy – See How Products Are Priced
I suggest you start with a recursive least squares filter first, which is fully deterministic and quite easy to derive if you are comfortable with Euclidean geometry. The Kalman filter basically just adds process covariance on top of that, so in a sense it is a "fuzzy" least-squares estimator.
> Can't imagine the consequence if it caught fire at 30,000 feet.

A burned hole in the carpet.
You could install the electron or nw.js runtime separately and then just download/distribute a compressed file with the JavaScript source code. Witch would be smaller then most programs.
So much this. There are also weird quirks to deal with when dealing with browsers vs. native. On iOS, native scrolling 'just works,' but within our app (Cordova-based) it took a bunch of hand-holding to make it a decent experience.'

One example, on iOS WebKit if you flick to scroll, and then "click" (touch) on the screen while the scroll animation is still running, the click event will report a position on the webpage that was as if the scroll had never happened (e.g. you had clicked on the same place on the screen without having scrolled in the first place).
You got me as to why this is considered remotely acceptable. This being said, you sort-of need a stack for a context switch ( or possibly an ISR ) in many RTOS offerings.

This also being said, I've had engineers react rather violently to the very concept of FSMs. I can't say why that is.
I gave Typora a test drive with Readme.MD from Github. The rendering is considerably different, too early to use it.

IntelliJ IDEA MD support is still the best tool IMHO.
Manufacturing represents middle class jobs that have largely gone away thanks to globalization, outsourcing, and automation among other things. One of the reasons the Boomers were so rich compared to following generations was that it was easy to get one of those jobs with minimal education, a college degree was not a necessity to make a decent wage and buy a house, a car, etc.
reCAPTCHA intentionally occasionally calls correct answers wrong in order to make it harder for bots to learn.
Spam, AOL (https://en.wikipedia.org/wiki/Eternal_September) and the high cost of hosting the binary groups are mostly responsible for the decline of USENET.

I know I slowly stopped reading it as the spam and new customs (top posting, not trimming posts) crept slowly in, and most of the action switched to web forums (because of shiny HTML and what not).
I hear this from all over the world, and I honestly don't understand it.

Or rather, the only way I can see this happening is that everyone, everywhere on the buying side is either actively doing harm or so incompetent those are indistinguishable.

The arguments that "butbutbut, all vendors require us to do X and never let us do anything" got to be bullshit. If you have sexy multimillion medical project that needs vendors, and some of them won't take it if they can't force you into submission, I have no doubt that the million other companies in the world would take the project more than gladly.
Amusement Parks Tracks Mobile Phones to Boost Guest Experience
Exact same boat - I've based a few new api's with RethinkDB in the background - hoping it stays alive.
"She also controls a majority voting stake in the company and can’t be easily removed from her position, according to people familiar with the matter." From the Wall Street Journal.
All your chats and social media posts can now be used against you in Chinese court
I'm sorry that you can't take a joke. Personally, I found it funny that you're blessed with the requisite mathematical knowledge and perspective to be able to view the details as 'trivial minutiae'.

I did spend 5 minutes perusing the paper you linked, and couldn't make heads or tails of it. For myself and all other mere mortals unfamiliar with this mathematical machinery, I can assure you that details are far from trivial.

Thanks for taking your time to explain.
"Due to regulatory pressure, we have decided to..."

"We decided to" devoid of any qualifiers makes it sound like it was a decision made with full autonomy, and not a decision made because you were backed into a corner.
This is amazing for writing documentation. Writers can write inside of Typora and export to pdf (print) and html (web).

Exporting to html even brings in code fence block styles and language color pigments.

Bravo!
Ratti Gali Lake, Azad Kashmir, Dilkash Pakistan
No one does.
How does this compare to having a separate Postgres schema per tenant? You'd need to make your app a bit more complicated (to set the right schema before every query), but you won't need to denormalise.
https://news.ycombinator.com/item?id=12648990
The Best HR Software According to SoftwareSuggest Ranking and User Reviews
The problem then is it gives too much power to few people. Especially in the case of AI.
Fysioterapi Aarhus, fysioterapeut aarhus
The articles mentions the approach to have one schema per tenant but sadly does not mention this again afterwards.

Are there serious issues with this approach I am not aware of?
C + Lua == 21st Century "C Programming"

There is no silver bullet for everything, obviously, but for me the above combination is a match made in heaven. Lua is small and adds only the necessary tools to take care of higher abstrations in many different paradigms.

Even if these two are different languages, they are amazingly complementary. I feel that a good introductory CS course could simply teach in one semester C and the next Lua. By the end of the year students will be able to tackle a huge amount of problems, as well as learned a useful systems and scripting language.
>No reason to drive a 1024 core chip to the broad market when most applications aren't ready to use 16 cores.

Yet magically they have no problem taking advantage of massively parallel GPUs...

Most applications don't use 16 CPU cores because they don't need them.
Do you mind if I inquire what your career is? I would love a technology-related job that allows me to travel like that.
what roles do these "buffoons" work in? tech?
The replacement battery is henceforth not made by SDI. Around 30% of the existing Note 7s were made by Amperex Technology, so they only need to increase those numbers.

You're statement would also mean that if you're a department within Apple you also do not need to compete or try to survive. I don't think that's necessarily true. There are probably inefficiencies, but there is also a lot to gain as well. It just depends on the quality of the organization.
>to an insecure server

Email is insecure regardless of who owns the server or where it's located. The government's own position is that emails in transit are postcards, not letters, and emails at rest are abandoned property, not personal papers and effects.

On the scale of how bad this is, plain old email on a private dedicated server is a 10/10, but plain old email on an @state.gov server would have been at least a 9/10. From an "endangering national security" perspective, we should be equally angry about everyone who used the official State email server for classified information.

It's not just information disclosure. Imagine the lulz to be had from the fact that the Security of State can't distinguish between an email from the President and any idiot who knows how to forge a FROM header.

Also, that time when it turned out that the State Department let the Russians have RCE on its email server for more than a year [1].

[1] http://gizmodo.com/state-dept-just-shut-off-part-of-email-sy...
Google Pixel (XL)- all you need to know
They didn't just sell to Apple and immediately quit. They stayed around for some years, which is a common contract condition. You can't practically require people to not innovate after they left a company.
www.pair3d.com
good start:

https://en.wikipedia.org/wiki/National_Defense_Authorization...

... under the NDAA "an American citizen can be detained forever without trial, while the allegations against you go uncontested because you have no right to see them"
That's cool. I have no idea how that works, but it's cool.
Yeah, they're mostly made by CS educators, but the content is generally well put together. :)
never heard trump and witty in the same conversation
>Our industrialized food system nourishes more people, at lower cost, than any comparable system in history...

It does puzzle me though why in Spain, among most other food, bread is 1/5 and Tomatoes 1/10 the price. Particularly odd is that US boxed cereal and California wine are also cheaper.

But that is off topic I'm sure.
"I still think you're thinking of this as you'll take an existing product and add some AI to it. That’s not what we’re seeing. What we’re seeing is an entirely new kind of product that wasn't possible before."

The major difference from previous platform shifts is that the limits of frontier AI technology are extremely hard to gauge even for experts. Unlike AI tech, previous platform shifts are easy to understand for a person on the street. For e.g., consumers can see that smartphone allows messages to sent over cellular data, which is better than SMS. But it is not obvious whether Echo is better than Siri? Tesla's driver-assist more reliable than a competitor one?

I feel the recent breakthroughs in AI are concentrated in a small number (but very important) areas such as computer vision and to some extent machine translation. There need to be more advances especially in areas of decision making before AI can have a broader and more meaningfully impact as stated in the interview.
People saying they "failed" -- I disagree. It is VERY hard to sell products that are essentially free. Its largely down network effects and luck or having an _in_ with the good old' boys network. Its not more popular than every other db..so what.. And the best systems are rarely the most popular. Btw popularity is not merit.

But they made a badass database that relatively speaking IS very popular. So thats not failing. Thats winning.

Also maybe these people are being more honest and responsible than some startups that keep flushing millions knowing they are unlikely to ever have a positive cash flow.

Plus getting acquired by some company like Stripe, realistically, whether there was some big exit or not, is the dream of many people.

So given the reality of the startup scene to say they 'failed' is a joke.
i actually had 3 upvotes until the google people started to change that. so some do. i'm not accusing anyone of shilling. i've personally seen these threads and some proportion of people admit openly they work there. others, you click their profile and see they work at goog. don't need you to condescingly assume you speak for the community. Also forgot to mention all the people who defend google because they're desperate to work there
In JVM land I look for another language on the JVM. If Scalia, groovy, kotlin haven't piqued the interest of a potential hire then it says a lot about them.

A few years ago it would have a been a nice to have. Now it's actually suspicious if they haven't dabbled!
Yeah, I believe that was how it was changed. I don't totally recall though, so nevermind.
Thank you for this, it was an interesting read. I did not know of him until some days ago, close to his death but I am going to check out some of his presentations. May he RIP.
We don't use postgres pub/sub for exactly "realtime", but do make use of it in single-page apps that use websockets. A couple notes:

-- LISTEN/NOTIFY has a payload size hardcoded maximum. For big documents, we have to send a record ID then fetch the document upon receiving a message. In practice, it adds 5ms of overhead.

-- One of the best features is that you can combine this with pg_try_advisory_lock to create job queues that use the core locking features of postgres, which are pretty darn reliable and well defined. We use nodejs, and if the server processing a job dies, the lock is released automatically and another nodejs process can pick it up.
I'm currently working on that as we type: http://ezsend.it/

This is strictly for one-time shipments, targeted at the occasional sender. There are better solutions out there for small businesses.
This is a big myth. The US is more than dense enough for good rail. Look at Russia with its high speed lines. We just need to start building it. We use to have it. Hundreds of cities in America had trams before GM convinced cities to use buses instead ... and then killed those buses.

Just a few key tram lines in major cities can alleviate a lot of traffic, not to mention the growth of business and commerce along rail lines.
There is a company, yc in fact http://readme.io/
Wal-Mart's next move against Amazon: More warehouses, faster shipping
Here's my plan to save Twitter: Let's buy it
Funny I managed to do that in Turbo Pascal.

Also C standard library cannot be implemented without using Assembly, unless one makes use of extensions not defined in ANSI C.
Nordic VC Verdane Capital invests in 3 German companies and is hungry for more
Reasons why DevOps may not work for you
There is a mix of stuff, but the two interesting components are OnlinePythonTutor[1], called "CodeLens" and Skulpt[2].

OPT actually sends data to a server and has a program inspecting a debugger which sends data back.

The other exercises rely on Skulpt, which is a JS-based reimplementation of Python.

1. https://github.com/pgbovine/OnlinePythonTutor/blob/master/v3...
2. http://www.skulpt.org
If psychologists were educated properly to be scientists, they'd abandon psychology, which is at best an art.
So the value in AI startups is basically the number of ML/AI scientists you have times X million/scientist these days (perhaps multiplied by some sort of factor that measures the promise of your usually-not-working product).

Given this, wouldn't it make sense for AI/ML people to form a guild and/or union and capture this value themselves, rather than let smooth-talking founders take all the cash?
Capitalism has the same problem all economic systems have, and that is a unidirectional drive toward more regulation. More regulation benefits entrenched companies and creates barriers to entry to new ones, who have increasingly bigger hurdles to overcome and a rapidly expanding list of ways they can be sued or regulated out of existence.

Regulation always increases; it never declines (except for small, select bits in little deregulation burps here and there). So long as a government endures, you can expect there will continue to be more and more laws and regulations, not fewer. Eventually the system ties itself up with too much red tape, like one of those old cartoons where the character becomes tangled in a ball of yarn.

Which is not to say total deregulation is a good thing. You need regulations in place to protect individuals, who often lack power and information, from suffering by decisions made by corporate super organisms with significant advantages in power and information.

The problem with the national movement toward ever more regulation is it enables the successful to do the same thing they do in every other socioeconomic model, which is to build firewalls aimed at preserving their class and wealth and keeping out competitors.

I say this as a diehard capitalist who sees it as the best economic model we've happened upon yet. Particularly in the early days of a well-regulated capitalist society, there's immense potential for anyone to reach the top. However, the longer the society continues, the more it stifles itself with labyrinthine laws, credentialism, certifications, and 10,000 rules to operate legally in any established industry (e.g., finance, automotive, utilities, etc.).
As it should be, when you publish a stupid error that can substantially alter your conclusions.
It's also quite possibly a legal mixup.

The company he most likely used for the iOS app is, I assume, KAPELI APPS SRL which seems to have been incorporated in September 2016.

Which means that for the OSX app he used another company or he sold it as an individual.

This conflict as well as the company having no history might have triggered something on the Apple side.
Whats the stack? Im mostly cuellos about the db of choice. I built something similar for another market and the database choice was PostgreSQL for its json capabilities and full text search.
Show HN: 1 Project. 1 Engineer. 1 Year
This project took me 1 year to complete, all by my lonesome self.

What do you think? Comments appreciated!

www.enrad.io
As long as you code along yes. I'm a self-taught programmer, I learnt from watching videos and reading a lot.
Clarity and brevity are the enemies of obfuscation.
Or when you were on vacation taking a brake from work and so also from the tech stuff. RSS is great for not missing something. All that interest based sorting for social media made RSS much more important for me.
Ancient Japan 'more cosmopolitan' than thought
Also interested in this. I architected my system with a single multi-tenant db. My thinking was that it simplified things initially (less admin / backups / pooling etc) but it would be far easier to split into individual dbs later (than to combine).

We are a b2b product and we've picked up customers around the world. Now it seems like it might make sense to shard geographically. Is that common?
thanks that's really good advice. My current role is software development, I like the article about planning my day will check this out. I think point 2) is most relevant for me, perhaps I need to find new job that is more stimulating for me.
> English is, without question, one of the more tricky (re: confusing) mutts of linguistics.

I am aware of two theories in linguistics about the complexity of languages:

1. All human languages are equally complex, presumably for some fundamental reason.

2. Some languages are more complex than others. Specifically, languages with a long history of being spoken only within isolated communities are more complex, and languages that have had a wave of non-native adults learn to speak them get simplified as that happens.

English is one of the go-to examples for simplicity in languages that have been learned by many adults; the others I'm aware of are Swahili (the trade language for north/east Africa), Mandarin Chinese (the cross-regional language for China), and (in reverse) Latin (the cross-regional language for western Europe -- a lot of grammatical features of Latin get lost as the Romance languages develop from it; you might wonder why Greek still has noun cases when the romance languages lost them).

I'm not aware of any theory that would suggest English is more tricky than other langauges.