skysight-inc/HackerNews huggingface dataset:
The lack of equally high standard replacements for software such as

For me, it's Devonthink Pro (http://www.devontechnologies.com/solutions/writers.html) in particular and also Lightroom. Yes, there is progress on Dark Table, but there's too much useful software on OS X and despite Apple's faults its laptop hardware still leads the pack.

Yes, the lack of ports on the new MBP is annoying. If I had to buy a new MBP today I'd just get the last version—which is still fantastic—refurbished, and kick the hardware can down the road a couple years.
Funny that this got written. I've looked at switching from macOS to Windows 10.

My first operating system was Windows 95. I then upgraded to 98, and later XP. I decided to go with a Mac in 2008 after Windows Vista just couldn't get itself together.
Thanks! Also I will add that I don't want to burn too much CPU on eschalot [1] if it's pointless :)

[1] https://github.com/ReclaimYourPrivacy/eschalot
I have a feeling that the inscrutability of deep learning models is going to provide a playground for fraud. There are some papers that I cannot find at the moment (Deep Flaws?) related to detection of model and input fouling via adversarial inputs.

I'm approaching ML from 20 years in infosec and am a bit undecided where I should focus my efforts. Using ML as a tool or defending ML against threats. Ultimately both will be applicable.
Volcanoes have never extincted all life, why are you worried they might extinct human life in the next million years?

If we haven't found out everything by then we never will.
12 lawyers upvoted this thread. More like who wants a lawsuit.
Nope, not my site, just the fastest example from my previous notes on interesting education articles. Glad to have gotten some citations, I'll give 'em a look. School books, yup, much scamming there.
You're absolutely right. That's another assumption: you'll continue to spend roughly the same amount in retirement as you did while working. The idea isn't to live in squalor so that you can retire early—it's to cut out the expensive things that add no joy to your life...permanently.
Oakland is almost that low and it's a 10-minute BART ride from downtown SF. It's ridiculous to have that much differential within a short commute distance, not to mention the variety of neighborhoods even within cities.
Things are a lot better in the real world, but I hear the Valley is pretty much Logan's Run. Which, if you get the reference, means you're probably too old to work in Silicon Valley.
(I've edited my blog post to clarify this)
Singapore / Toronto | Mid & Senior Software Engineers | Full-time, ONSITE, http://tradegecko.com

TradeGecko's vision is to enable every commerce entrepreneur to build a great business, we do this with our cloud based commerce platform. We help thousands of commerce brands globally grow.

If you're based in Singapore or Toronto or looking to move we'd love to hear from you.

Our stack is Ruby/Rails, Ember.js, PostgreSQL, Redis, WebSockets, JavaScript, HTML, CSS, all on Heroku & AWS.

Our process is to go through a code review / either through an assigned project or an open-source project you've created.

Info here: https://tradegecko.workable.com/jobs/383966
I can't disagree. I love Gitlab but it would be hard to take a > 50% pay cut if I were to work there.

That being said, I have full confidence in Gitlab and know they'll continue to improve these things!
Meteor is not dying, it's just evolving towards more openness and modularity, which is what people have been asking for all along.

This does mean some pieces of Meteor (like its front-end framework Blaze, for example) might become obsolete, but overall it's a good thing.
You're welcome.

It's interesting that 1) insists you didn't claim anything, then 2) insists that you stand by your claim. ;-) Well, fine, it's not a courtroom, it's a conversation, and I'll try to be useful.

1) It's a natural question. Many people wonder about it, and each new generation will ask it all over again. People who think that because it has already been answered (many times) it should never be asked again need to grow up. They don't have to answer.

My background is physics, and for what it's worth I believe there is no value in combining QM with spiritual systems. I could be wrong, of course, and if you want to pursue it, just do some googling and find some good books, because it has been a popular topic for decades.

Warning: you will find mountains of pseudoscience. If you are most interested in amazing-sounding ideas and not how well supported the ideas are by repeatable measurements, favor books by non-physicists. If you care less about how amazing it sounds and more about what is best supported by repeated measurements, favor books written by people who know QM best: physicists.

2) Sure, be skeptical about everything, though not EQUALLY skeptical of all claims. (Less evidence -> more skepticism.) Real science needs to welcome skepticism (though real, human scientists often don't, unfortunately), while most spiritual practices don't, insisting that you have more faith or "first empty your cup" or otherwise overcome the weakness / character flaw of your skepticism. So, if you want to be skeptical, real science is a better approach for you (and me).

You can claim literally anything, and not all things are true, so you should have an approach to deciding. Mine is the scientific approach; you choose what you like.

You did suggest that we don't know everything about QM or spiritual systems, so maybe there is a connection. While philosophically true, such things are empty conjectures in science. We don't know everything about anything, so that argument supports all claims "A might be related to B", no matter what A and B are. Again, philosophically true but scientifically empty, because science doesn't consider something to be real until you actually observe/measure it. If you speculate about a connection between QM and something else, think of a way to measure it. Until someone does, there is nothing there, scientifically. It doesn't mean there never will be, just nothing so far, and nothing (in my opinion) to suggest there ever will be (again, scientifically).

Also, if you enjoy this type of discussion, you might enjoy reading more about the philosophy of science in general. You'll see more in-depth justifications for much of what I've been saying that aren't restricted to any particular field of science or non-science.
> For an even more basic introduction I'd recommend starting with Lawvere and Schanuel's Conceptual Mathematics: A First Introduction to Categories. Requires less abstract algebra. If you have some mathematical intuition then this is the book to start with.

It's a great book! Don't forget to do the exercises. It starts off very easy but if you don't do the exercises all of a sudden you'll be lost.
Since those stats aren't for software engineers, it would be enlightening if there was a breakout of the IT workers who couldn't find jobs to see how much of the more-affected population was some variation of manager or pseudo-manager, as those roles tend to skew older and are also the roles that (anecdotally at least) I saw less hiring of. When I think back to the people I'd worked with who had trouble finding their next gigs during the recession, 100% of them were some variation of PM, scrum master, and so on. Almost universally their resumes/LinkedIn profiles had very vague descriptions of what it was they did for the 5+ years leading up to the recession. There may be a lesson in that as well.
Great writeup.

He makes a great point I think inadvertently:

However, they haven't created significant commercial value in industry yet, in ways that couldn't plausibly be substituted with traditional supervised learning.

Transfer learning, domain adaptation and semi-supervised learning alleviate the data-hungry requirements of deep learning, and are starting to work really well.

Transfer learning is a term of art, but it also represents how supervised learning works from human>machine.

I think we need to embed more ML systems into our daily lives to "teach" networks how/when/why to do things. IMO the best way to do this is through AR as it's a great input output tool for recommending actions to the user and transmitting the type of data that we are making great progress in (vision).
It's the configuration that kills it, and a large part of that is loading context into the user's mind (the highest drop-out form).
Why America's Restaurant Industry Is in a Bubble About to Burst
Stairlin | Zürich, Switzerland | Full-time | REMOTE | Frontend Engineer | https://stairlin.com#job

Stairlin is a fast-growing startup from Zürich Switzerland. We are building a booking platform that allows to booking on any kind of services with just a name and a phone number.

As a frontend engineer, you will work on our B2C and B2B web platforms. This includes implementing new features and refining existing ones. You will also work closely with our sales team in order to bring customers feedback into our product.

What we'll expect from you:

- 5+ years of experience with software development
- Experience with one or more of the following languages: Javascript (ES5/6), Ruby, Go
- Experience with React, Redux or similar tools
- Experience with HTML and SCSS
- Deep understanding of browsers, HTTP and networking
- Excellent written and verbal communication skills
- Strong opinions, weakly held
- Bonus: You speak one swiss national language

Frontend: [JS, ES6, React, Redux, HTML, SCSS, Webpack, Falcor]

Backend: [Go, Microservices, LEGO, gRPC, Aerospike, InfluxDB, Docker, Swarm]

Apply here: ['job', '@', 'stairlin.com'].join('') or contact me for more info: ['bg', '@', 'stairlin.com'].join('') (I am Bastien Gysler, co-founder and software engineer)
Long ago, conservatives believed that public assistance made people immoral. Then Ronald Reagan discovered that his own followers actually like their public assistance when it benefits them and not those "other" people. So conservatives changed their tune and began claiming that public assistance is "unsustainable."
Erlog – Prolog interpreter in and for Erlang
I genuinely think you don't need a math background to get a general understanding of category theory, because it's so high level. A lot of it is just drawings, even, not complicated formulae and proofs. It's not category theory itself that's difficult to understand, it's the examples and vocabulary.

I think you really need no more than high school algebra to understand basically what category theory is about.
I think the real problem is not the loss of pensions: 401k savings can easily replace pensions if savers make good decisions. The problem is, most people don't make good investment decisions.

A single poor decision, such as panic selling during the 2008 recession, can irreversibly ruin peoples' retirement unless they are young and have time to catch back up.

Imagine how much worse the impact of the 2008 recession would have been if we had privatized social security and allowed savers to invest the money like they did in their 401ks.

On the other hand, I know someone who retired from United Airlines after decades of work as a mechanic, and lost all of his pension because of the financial and legal problems the company and the pension fund were going through. He had to go back to work at a retail store in his late 60s in order to pay the bills. I bet he would have rather had a 401k and some control over his own investments.
i think its something like this <myusername>@google.com therefore, replacing <myusername> with ciaravino.

Therefore, email is ciaravino@google.com
> categories, used as a unifying theme in the presentation of the main topics

Categories are not a good way to be introduced to the "main topics" of abstract algebra. Yes, Category Theory can be seen as the "Chapter 0" of a course on abstract algebra, but for beginners a traditional presentation based on sets would be much easier to digest.

There is a similarity between using categories and using functional programming style or a language - as opposed to using an approach to mathematics based on sets and using the imperative programming style or a language: the latter is just more intuitive and therefore easier to learn for a beginner.
Windows 10 Gains 14% Desktop Market Share in 2016, Edge Continues to Struggle
Another path you can take: build your own desktop and install a Hackintosh OS!

Here's my build (http://pcpartpicker.com/list/pYWQMp), which runs into some driver issues but can be fixed with Kext utility. This setup allows me to do CUDA programming + Deep Learning stuff natively in OSX, while having access to pretty Mac software. It's great, I highly recommend it!
There are tons of wireless / wifi backup cameras already. The top search on amazon for such a beast is under $40...
Sure, why not. Give us a master list with all the things.
I think you've misinterpreted my comments. I don't drive on the left out of spite. I drive in the right-most lane that flows at the speed limit. I'll admit that sometimes I'll go 60 if the limit is 55.

This means that the lane to my right is generally crowded. Hitting the brakes in order to shift is probably worse than continuing at a constant pace. I'll let the tailgater take the risk of changing lanes.
A hidden source of stress can be a single individual (or two) who causes you ongoing low levels of stress, without you realizing how big a toll it's really taking on you.

I've had it happen, wherein I wonder why I'm feeling anxious, angry, or otherwise. Then, I step back and recognize how a particular person is treating me and realize that a) it's simply wrong/unfair and b) I'm allowing it to happen and allowing it to get to me.

It doesn't mean it's malicious or intentional, but it's no less affecting.

I'd encourage everyone to step back once in a while and objectively consider their relationships, then tweak, manage, or dispose as necessary.
Every translation is done by a single human

No, the "perfect score" is an "averaged" translation by multiple humans, measured by BLEU score.
Dang. Any idea about potential ongoing hack projects to make this work?
any plans for a linux client?
FWIW I recently got Lua up onto github, though development does not happen on github. https://github.com/lua/lua

See http://daurnimator.com/post/153864402074/githubcomlua for more info
They have duplicated the failure at their test site, possibly a number of times. At least one was mentioned but there have been multiple explosions.
‘Didn’t we already kill this game?’ [FIFA origin story]
Celiac here. I went through a not nearly as bad although still 18 month long painful regression, diagnoses and recovery period before getting to my current better than ever state (thanks to diagnoses and fixing my diet). My brother and I wrote a learning algorithm in Go that allows you to log your food and how it made you feel, and then it evaluates that against all of the other things you have eaten and changes the score for that food. After a month or two of data you start to see compelling patterns, and it allows you to isolate single ingredients through continued trial and error. If something results in 10 bad experiences and no good ones, it is probably a trigger food and should be eliminated. On the opposite end, you can conclusively rule out foods by trialing them with a bunch of other ingredients and seeing if they cause problems.

I built it because three people I know went through processes similar to the one you describe and they found the trying foods process very hard to track in a way that made is easy to determine which foods were a problem. I never took it further but the Go app is deployable and I think there is a great service to be built I have just been busy with my day job. I think that if this job goes well I will have enough money to work on this mission full time and at that point I will revisit this project and try to make it more functional and integrate with other medical and health devices and APIs for easier logging and better correlations (ie. eat a food, that increases heart rate 10-20bpm indicating autoimmune response of some kind, that is automatically tracked and the food is scored lower).

I signed up on the website, first name starts with R and time around 21:20, feel free to email me and we can chat.
Come on, that's just silly and it's a deliberate strawman. The options are not just between a $500 camera and a brand new car. The whole point is that the type of person who eschews the myriad of much cheaper camera options is also the type of person least likely to own a car that doesn't already have a built-in backup camera.
If I'm understanding you correctly, I think you might be blurring the lines here. A NYT reporter is a journalist, not an expert. They may use experts as sources for their stories. I agree that it would be a serious breach of ethics for a journalist to take money from Monsanto. It's not the same as an expert receiving funding from industry. That has it's own ethics issues, which I think are the ones you're getting at.
Which is why cockpit controls and flight planning is stuck in the 70s.
> SML was literally designed to do proving.

So was Caml (and its precursor Le-ML), originally :)

That it grew so far beyond that I think is a consequence of it not having a formal definition like SML. This allows the developers to extend the language willy-nilly without going through the grueling task of extending a formal semantics. On top of that, as another commentor pointed out, is the fact that there's a single "reference implementation", which means that users don't need to worry about getting locked-in when opting to use new functionality.

That said, SML is still a fantastic base for new research projects in the PL space, mostly for the very same reasons it hasn't seen nearly as much adoption in the "practical" space as Caml: it's a small, simple, well-understood, and formally-specified language that grants researchers an excellent starting point for their inquiries and experiments.
AngelList is a popular job hunting site in the Bay Area. Entry level jobs may be hard to come by though.
I mean, not really, because neither of us have had our perfect capitalistic or socialistic society (if those are even the right terms) with which to test our philosophies.
Its real awe. Blew my mind. Ill make sure to research Parfit more, thanks.
The key points are:

1) the process is iterative, not a single "roll" that has to turn out right

2) each generation is a modification of the previous one, not a completely new "roll"

3) some states more likely to progress to the next generation than others

We occur in an environment where these conditions are satisfied. Why that is the case is a question well beyond the scope of evolutionary theory.
Not capitalism. End-stage oligarchocapitalism.
except that Hackintosh not exactly legal :-)
Kiva | San Francisco, CA | Full-time | Onsite | Software Engineer and DevOps | http://kiva.org/careers

We're hiring someone who wants to make the world a better place with us through working on the code and systems that serve www.kiva.org. We're a non-profit helping to alleviate poverty through connecting lenders to borrowers across the world and here at home. We offer awesome benefits including a partner trip to anywhere we work for a week to meet our borrowers and partners. We're looking for people with either strong financial system skills for our back-end position or a DevOps candidates with strong AWS skills for our Ops position. If those aren't your thing then we're also going to be hiring for other positions later in the year, just shoot me an email (my username at gmail) and let me know!
http://kiva.org/careers
For every complex problem there is an answer that is clear, simple, and wrong.
Not sure I see the point in trying to learn category theory without algebra to motivate it.
Mirillis Action 2.0.7 Crack and Keygen Free Download
Reflexivity.
I was also going to point out that often misunderstanding about Derek Parfit. He is also misunderstood similar to Soren Kierkegaard. The argument for self and against Emmanuel Kant are not anti-Super Natural.
I'm not sure if I understand, but other (future) sites using the protocol will have the access to the same data? Meaning my toots will travel to all of the implementations?
This applies to much of the XMPP discussion above, too. Also worth noting that GnuPG isn't even what you send the emails with. And that PGP on mobile is almost unheard of. I doubt I could explain how to send an PGP encrypted email (for example, to a doctor/lawyer/accountant) inside of 2 minutes.

Strong intrinsic motivation is the only reason people use PGP. It took me ~3 months to get a critical mass of 15 or so people on to Signal as first port of call.
I'm 40. My test engineer and lead developer are older than me. My director and VP are older. My team has two developers and one web designer who are younger than me.

But, this is a large enterprise software company on the East Coast.
1. key pinning wasn't part of this policy, and regardless implementations are few and doing it correctly is problematic at best.

2. Certificate transparency is not implemented in all clients (and won't be).

3. I do understand the 2 foot high fence, and I've re-iterated repeatedly that I don't believe that TLS is a bad idea or that it provides no benefits. My original comment was meant to point out that a blanket "https everywhere" policy for the federal government is a bad idea.

4. malicious or friendly routers can MITM. Would you go to defcon, attach to an unknown wifi source, and pass your banking credentials?
Batu Caves, Selangor, Malaysia
Not code ( I could if the need be). But to help raise awareness. Are you doing a concerted effort that one could join? Maybe chat over email?
History of the Development of Lua [pdf]
Is WorldLII not already a good start?

http://www.worldlii.org/databases.html
"Today, there is no such thing as non-sensitive web traffic..."

I just don't agree. Is it sensitive for me to google a man page or look up some algorithm or another? Because that's mainly what I use the Web for. The Web - not intranet ( which is usually quite sensitive ).

Blog reading is sensitive? Hacker News? No, no they are not.
"I has a fast Intel CPU (4Ghz i7-6700K), plenty of RAM and fast SSD storage."
You will also spend 3,6 times more money while living in San Francisco.
Hi, Meteor cofounder and CEO here :)

Our Meteor business is thriving and we beat our 2016 revenue goal by almost 40%, driven by strong Galaxy growth. We expect that to continue into 2017 based on what we heard from a survey of Meteor/Galaxy users that we did recently – they are using Meteor for mission critical apps and most of them plan to write more Meteor apps in 2017. In line with this, we are growing our Meteor open source team while also continuing to ramp up our work on Apollo.

The big difference between Meteor and Apollo is that Meteor is about new app development (specifically in JavaScript), and Apollo is about a data system that you can add to already-existing apps that are running in production at meaningful scale. There's a place for both of these things and a lot of overlap between them.

Meteor isn't going to take over all JavaScript development the way Rails took over Ruby development, at least not anytime soon. That's just not how the JavaScript ecosystem works. However, I think it will be the #1 full stack JavaScript framework for a long time to come and will continue to be a really great option for teams that want to build JavaScript apps quickly, especially apps that have a realtime or collaborative element.