skysight-inc/HackerNews huggingface dataset:
> People can easily (and rationally) advocate for things that are in their own interest individually, but ultimately lead to them being worse off when everyone acts similarly. See the prisoner's dilemma.

Union bargaining is collective bargaining. It is the antithesis of what you describe. It gets everyone on-board with the same deal, rather then everyone making individual deals.

> What's "free market" and what isn't is subjective, but I don't think labor unions nec are. It's basically a cartel, but from the worker's side.

I guess in my mind, cartels are free market. The government is interfering with the free market when they break up monopolies or cartels. Unions are the government's way of saying "we don't normally allow cartels or monopolies, but this is okay because it results in a net positive on society."

> When you add in union or government mandated benefits I'd argue it's NOT a free market because there very well could be drivers willing to drive at some wage or rate who wouldn't be allowed to per the union or gov rules.

What the union negotiates is just like whatever you negotiate with your boss. Maybe someone would do your job for less, but thats not how it worked out. Thats how markets work sometimes.
Adobe+Bridge+CC+2017+Crack+For+Mac+OS+Download
> [tacit programming] makes reasoning about programs much harder

With sufficient type information reasoning is easy enough that even the compiler can verify correctness.

> The opinion that a point-free style is "beautiful code" seems pretty esotheric to me.

In some way one could say that tacit programming is the interface-oriented programming of the FP-world.

I just had an example where I used tacit programming and had much cleaner code: I had to talk to PostgreSQL through "some" API. For that I need to connect, authenticate and potentially configure the connection. The toplevel function looks like this (in CL):

(defun connect (open authenticate configure)
;;; omitting the (check-type ..)s on the functions here for brevity
(funcall (compose configure authenticate open)))

There is of course a wrapper that creates the 3 functions for you for the regular use cases, but if you want to implement a connection through IP-over-carrier-pigeon or authentication based on DNA samples, you can do so without having to touch the library - just pass your own open/authenticate/configure functions.

And the benefits are just the same you have in OOP when using interfaces properly: Decoupling of logic and implementation.
You are calling Genocide of 1.5 million of their own citizens "banishment". And then you advice people to go and read on the subject.
Your lack of education on the topic of Armenian Genocide is astonishing.
I agree with you, I had no idea what this was saying. The first line of the article would make a better headline.

"More than 80 Canonical workers are facing the axe as founder Mark Shuttleworth has taken back the role of chief executive officer."
Hence why in the EU, most terms of service are essentially meaningless. If a judge finds your clauses surprising or an undue burden on the customer, they are null and void.
Some people in mid 20s have a decade of experience. Many fresh grads have never coded outside of completing their assignments. There's absolutely nothing wrong with this observation.. unless of course you're ageist ;)
He certainly did. And wrote an article about the process.
Open office plans are awful, just as bad as cube farms where they mix their yacking sales people in with engineers. I've spent brief time working in many different office layouts and none of them were places I'd like to work. One startup had this guy with the loudest mechanical keyboard I've ever heard. I was in the complete diagonal opposite side of the office and it sounded like brief bursts of ping pong. It was the most distracting thing of any of the offices I've been in. Not one single office I ever went to did the right thing and gave engineers their own office with a door.
To clarify, this is not a beta, this is a dev build. The Beta channel is 3126, which has been a rock for me (paid user).
> For haskell there is a fantastic tool that converts code into a pointfree function definition.

But why? If a point-free style is more readable, then by all means use it, but if you need an automated tool to do the translation for you, then that seems unlikely. If it's an efficiency question, then your compiler can, and (given the trickiness of GHC in particular) probably will, do anything that an external automated tool can.
We're having great luck using traefik (https://traefik.io) as a kubernetes ingress, we just couldn't get nginx working well and ever since the switch it's been rock-solid.
One can only hope. More competition is always welcome, arguably now more than ever.
This "pilot wife" provided a better response than United's CEO. That's the real story here: it's how United has handled this unfortunate event.
The impression I get is that whether or not it works depends on the particular Windows tool. The guidance and the blog post not to do it seems to be the best general advice. My understanding is that the unspoken assumption between the lines is that you may be able to find Windows tools that are well-behaved and will not corrupt things, but don't expect to find that many because alternate streams and complicated metadata are not things most Windows tool developers have had need to understand/deal with/round-trip to date.
I live less than five minutes from my office.

I make a point of making myself available at the office a couple of hours per day, but I vastly prefer -- and am more productive -- working from my office at home. Fewer distractions, less noise, and I can work when I want. For somebody that's severely ADHD and has always been a night owl, it makes a huge difference.

I still prefer getting some face time to quickly talk through some issues, which is why I do physically go in to the office most days (and I'm about to head there now), but if I had to choose to go strictly one direction or the other, I'd choose remote work without any question.
> I think perhaps Maths people need to seek more consensus on terminology.

If only they could follow the example of programmers, who never have two different words for identical (or, worse, near-identical) concepts!
They were sworn law enforcement officers working for the city of Chicago.

There's room for them to have different authority than other Chicago police, I haven't found anything in a couple minutes of looking, but they aren't private security or anything like that.
Not card advice but operational advice:

From being at startups where people tend to move fast and often move on, tell your staff that they can use the services they need BUT you will only reimburse them for 3 months. After that, it must be on the corp card.

I've seen too many times where AWS, Mailchimp, etc, etc are on someone's personal card and once they leave, everything blows up after a couple months. It's even worse if they left under bad terms.

Give them some flexibility but make sure it comes to a single point of control.
Offtopic... Someone here actually develops software in Drupal? Most people i knew abandoned drupal years ago for Joomla or something in python like Django, its kinda weird/cringeworthy hearing news about Drupal the Community more than the Drupal project.
For reference to those choosing: I started using Elm 2 years ago, also coming straight from Javascript. Elm wasn't without its frustrations. My biggest learning curve with Elm was a couple things.

1) Reading the type signature. I didn't know how to search for "->". But once I figured it out, and paired it with what I learned about currying, it made a lot of sense.

2) Earlier versions of Elm had non-descript error messages. Nowadays, it's fantastic, better than most. It was a main focus of the language for an entire version.

3) Figuring out how you operate on values wrapped inside a Maybe without unwrapping it with a case statement. Once I figured out Maybe.map and how to chain them together using Maybe.andThen, it got a lot easier.

After I had more experience, my main slow downs were:

1) Still, figuring out how to chain Maybes together, when it's a bit more convoluted.

2) If you want to make a non-standard UI element, you still have to break out of Elm and do it in javascript, either natively or through ports. I was making a markdown editor at the time, and had to do this.

3) Decoding/encoding JSON from ports can be tricky with recursive data structures. It's easy when your data is easy. It is not if you don't control both ends, and can burn time getting it right.

I've only listed the stuff I had trouble with, but there are many many things right about Elm. The design decisions are...tasteful. I don't know how else to describe it, other than it feels like someone put a lot of thought into it, and made all the right decisions--like how people think of Apple products.

There are some rough edges, namely Ports, and a single giant reducer/update function. But the community is working on it. The one thing they did right is that you don't have to spend a day installing a lot of npm packages just to get an application up and running. So if you're thinking about trying Elm over Typescript, just jump into it.
Evan’s Awesome A/B Tools
> For example NATO/EU bombs the heck out of zillions of countries so a counterstrategy of "we are almost members of your own alliance" is a brilliant shield.

Turkey has been part of NATO for sixty five years. That's not why.
Terrence Tao had a blogpost about this "How to assign partial credit on an exam of true-false questions?"

https://terrytao.wordpress.com/2016/06/01/how-to-assign-part...
I am not even remotely a lawyer or qualified to actually answer this, but my guess is the situation here didn't actually prevent United from fulfilling their contracts. They just chose to ignore their contracts because they thought they could get away with it.
You mean, you expect tenthousands of broadcasters, with millions of users, to switch their systems over, because some people at Google decided that they should control the web? It's very questionable that such a move can even be made without a discussion in one of the web standards groups, and can be made entirely by Google employees.

In the long term, changing this is unavoidable, but without warning, and without discussion, deprecating a widely used standard is not exactly awesome. You'd expect such a change to require discussion in standards groups, months of warnings before it happens, etc
An Open Source Sequence-To-Sequence Framework in TensorFlow
Well you will normally see two terminologies:

- Morphism (Domain, Codomain)

- Arrow (Source, Target)

The reason for the last one is that you may find "Arrows" that aren't functions. (Such as an order relationship in the Poset category)
Why some experts worry about VR dangers
Inmates built computers hidden in ceiling, connected them to prison network
Scrapping Services Availables
https://goo.gl/forms/Q51dcygH0nNUEohR2

click on the above link to contact us for further details
It seems like premium manufacturers are having a problem with Qualcomm's licensing and the FTC and courts are sympathetic.

How much value is added by Qualcomm to a Blackberry or iPhone? My limited understanding is that every sold - even unrelated - feature added to the phone effectively included a tax to Qualcomm. It is a great business model until it isn't.
Mimicking an impact on Earth’s early atmosphere yields all 4 RNA bases
It's good to see some attention paid to the subject, but it's not exactly a new revelation.

Probably 15-20 years ago, my computer architecture professor commented that, while CPUs of the past had relatively anemic number-crunching powers, all the pipelining and high clock speeds and other advancements in more recent CPUs had changed that, but corresponding advancements in memory bandwidth had not been made.

Which in turn meant that the way you go about optimizing code needed to change. In the past it had been mostly about finding ways to eliminate instructions or simplify expressions, because the things that were holding you back were the ALU and the ability to plow through instructions. With all those things sped up massively but less improvement in RAM, it became very important to start thinking about memory access patterns and caches.

We even had a homework assignment to optimize a matrix multiply, and the lesson learned was that the dominating factor wasn't what the code looks like the innermost loop, it was which direction you proceed through the matrices (row by row vs. column by column) because that determines memory access patterns.
But what will happen is exactly what happens with overbroad patents. It is not possible to make an agreement with someone that requires soul-bonds. This could count as unlawful eviction and assault.
bookmarks fall into two use cases for me.

1 - important instant recall, across the top of my browser is a interface bar littered with favicons (and no text). I know the name of every site on that list, but don't ever want to type them.

2 - approximate match/personal search. Modern browsers will autofill your url bar as you type things associated with the metadata of a bookmark. This offloads the memory of things i found interesting 8 months ago.
> In Windows 10 Creators Update, you can now launch Windows apps & tools from within Bash …

Can anyone verify if this means you can run the Docker for Windows client (the docker and docker-compose executables, not the engine) from within WSL, including from shell scripts?

If so, I can't wait to try it out, since that's about the last thing preventing me from using my usual Linux/MacOS dev workflow in Windows!

Unfortunately I'm running an Enterprise version of Windows, and the upgrade tool doesn't support Enterprise yet, so I'll probably have to wait for it to come through Windows Update.
They don't use fossil fuels, but they do need to be charged, and a fleet of them would need some added infrastructure to charge simultaneously. But that's a one-time cost, in the long run they should be cheaper to operate, clearly.
Just because it's possible doesn't mean it's a good idea.

RFC 1925: https://www.ietf.org/rfc/rfc1925.txt

With sufficient thrust, pigs fly just fine. However, this is
not necessarily a good idea. It is hard to be sure where they
are going to land, and it could be dangerous sitting under them
as they fly overhead.
Client-side encryption and zero-knowledge storage design might give some peace of mind to some users.
Transactional mutations have to have a commit phase. I agree.
That was really mostly the case in the cold of winter.
High Fidelity Testing SauceLabs Raises $70M “At Great Valuation” Says CEO
BlackBerry is coming back (not to smartphone market which they lost completely), as a company. The stock price has been surging.
Lots of the comments seem to be missing the point that, despite the title, the author is not advocating the point-free style:

> The point of this exercise is to illustrate how the lambda calculus with pattern matching (or set theory for that matter) is superior to the point-free style in terms of expressive efficiency.
Same, but I also get free food at the office and other nice perks.

Also, I like my coworkers so coming to work seems like playing sometimes.
If the police didn't know who was wrong then maybe instead of using force, they could asked the airline to cancel the flight and seek damages in a court. Then, and only then, they could remove anyone from the plane as it wasn't part of a contract anymore but just the airline's property.

Instead they chose a side to favor by force.
> Yeah, all but one of your complaints would be solved by a door

most places if you close the door your office is cut off from the nearest thermostat, so you get too hot or too cold.

...assuming your office was even a reasonable temperature to start with. and that the HVAC is working that day. and that your office mate isn't some 70 year old who is cold all the time but can't just put on a sweater.
This is deeply naive. They are civil servants, an arm of the executive branch of government, and we expect they will do lawful things, not unlawful things to be figured out later, and only if you can afford a good attorney to do this litigation you seem to think is the appropriate default scenario.

Your position strikes me as compatible with an authoritarian police state. And that is not the system of government we have in the U.S.

It is part of the job description for police to, at all times evaluate the legality of what they're doing. Otherwise, they are just hired thugs, might makes right, let a judge sort it out. And if they are merely hired thugs, that makes them untrustworthy by default as civil servants, and will even be viewed as capricious. What's the standard of the moment?

And in fact, that's why Black Lives Matter is even a thing. The police aren't trusted in some communities, because they have so often simply reacted with force. That's what the politics requires, and is a betrayal in those communities. Use force now, sort out the injustices later (maybe). That's a recipe for loss of trust, other than, do what they say or they will beat your ass. That's not justice in any possible sense of a civil society.
I had not heard that before. Any sources so I can fill in a knowledge gap?
I tried it last week: OpenCL support for AMD was just an apt-get away in Debian testing, working with the open source drivers.
https://goo.gl/forms/Q51dcygH0nNUEohR2
The Best Suggestions for Someone Selecting Auto Insurance
"corporation" literally means "body" or "person"
It's the same in the US if you go to court. There are expected warranties and consumer laws. Corporations try to take it away and use many levels of policy and obfuscation to wear you down but once you get to court you have the ball.
Their market cap went up 1.2B thanks to a .8B settlement. That's not really logical, is it?
so-called "free market" media can turn to propaganda just the same, and just as easily.

this is evidenced by Trump's foolish missile strike being so thoroughly adored in mainstream press.
Any citations or info on tiering by features and scale being wrong? Do you mean as two independent axis? Most services I see combine both features and scale. "Enterprise" features (like logging, RBAC, etc.) are available along with the highest volume plans.
>The terms of service have become so lengthy and obscure

I don't think it's fair of you to criticize either the length or the obscurity of terms of service. After all, you could replace nearly all of them with:

"
1. We have every right of every kind and can do anything, without being liable for anything.

2. you have no rights of any kind and may do nothing, except those afforded by law, which you hereby waive as far as legally possible.
"

More forward-thinking startups might add something to the effect of "Of course this does not mean we are Satan! We will naturally make an effort to provide roughly the service you have paid for. However, nothing in this section should be construed as a statement that we shall not act like Satan in any particular instance. We reserve the right to be Satan at any time and our sole discretion without providing any prior written warning. You've been warned."

Did I miss anything?
Absolutely true. It goes all directions.
Force majeure doesn't apply in this circumstance because it requires an external force or event that is unforeseeable. In this case, United didn't plan correctly for the transport of its 4 employees, something well within its capability to predict.
We [..] look forward to collaborating with Qualcomm in security for ASICs

??

BlackBerry is a mobile-native security software and services company dedicated to securing people

???

Can someone explain what BlackBerry think they are doing nowadays?
Thanks for writing about your experiences. Why not use an existing serialization framework, such as Protobuf, instead of building something in-house?
Yeah they fixed that. It was very annoying.
Show HN: Pinecone – Easily design genetic devices
Strange. You should be able to do that. I'll look into it.
10+ Great Books for Aspiring DevOps and SRE Engineers
I recently created Books For DevOps: Hand-Picked DevOps & Modern Software Engineering Books. http://booksfordevops.com

BooksForDevOps http://booksfordevops.com is simply “The Product Hunt of Modern IT Books” : you can submit your favorite book or apply to feature a book you wrote !

This project is part of a global project called DevOpsLinks : The DevOps Community http://devopslinks.com.

I am the curator of this collection’s website and the following books are, in my humble opinion, some of the books that a DevOps or an SRE engineer could read in order to develop and increase important and necessary skills.

This is my blog post that I would like to share with you : 10+ Great Books For Aspiring DevOps & SRE Engineers https://medium.com/@eon01/10-great-books-for-aspiring-devops-sre-engineers-76536c7c4909

If you know other great books, I will be happy to read your suggestions.
Ask HN: Why isn't there a Saas-for-Saas?
I know this question has come up at least once in the past (can't find it now), but afaik without a clear answer.

So let me ask again: why isn't there a Saas-for-saas that takes away most of the common technical chores for getting a Saas in the air, and instead allows you to focus on getting your Saas-specific code out?

Setting up a Saas and getting it out there as a MVP, not to even mention a production ready version, requires a lot of similar effort between Saas'. I.e.:

- user/tenant management. Oauth + email/password, 2-factor, mail/sms flows for reset, etc.
- plan/package management + RBAC / access control + rate limiting and/or overcharges on pay-per-use basis
- connection to payment provider(s). Say Stripe + Paypal for pretty good coverage. Needs to cover correct VAT handling
- exposed self-service userprofile / saas-preferences / payment options / billing statements / 'currently accrued this month' statement, etc.
- might be API only. Community will take it from there with canned Gui templates using bootstrap, etc.
- ...

Auth0 for instance tackles the user-management space pretty nicely, and it might make sense for this Saas-for-Saas to optionally outsource that part to them for all the extra stuff they provide (LDAP, etc). However, just as an example using multiple users under 1 tenant-account is not straightforward.

So why is it that such a Saas-for-Saas doesn't exist? Do startups hesitate to outsource this core-functionality? Do they just wing it, and later pull their hair out when realising that doing it properly takes far more time than anticipated? Or is selling to the startup-crowd just really tough?

Lastly to note: It doesn't have to be a Saas per-se. Could just as well be open-source code with a commercial license or something. It would have to run entirely separate from my own saas-code, but that's perfectly doable. I'd pay could money for this.

Anyone?
Generally your eye becomes red, it hurts, and is sensitive to light. There are varying degrees of an abrasion though, and the severity of these symptoms may make the less severe versions harder to determine if it's an abrasion or something else.
on windows i used sophos.

on linux i mostly feel content with SELinux
This should keep them going another year...
Morphism is from Algebra/General Mathematics and it is a function that preserves a "structure". (Group Morphism, Isomorphism between sets, etc)

In Graph Theory the terminology is Node and Vertex.

Arrow, Source and Target are from Category Theory.