skysight-inc/HackerNews huggingface dataset:
So what stops anybody from constructing a Segment manually, bypassing mkSegment?

Assuming that you can make Segment's constructor private, that's indeed a good pattern sometimes, but leaving mkSegment as the only way to build a segment will make working with segments pretty inconvenient. Imagine that what you usually want to do with segments are intersections and unions and if the original segments already have this x < y invariant, then the algorithms, if correct, will also have it. Therefore forcing usage of mkSegment will be a pain in the ass, because then you have to deal with the Maybe monad everywhere.

As @pron is saying, this is still a runtime check. And the problem is, there is no need for it unless you receive outside input that needs to be processed. Otherwise the internal algorithms should always respect the contract anyway. Consider this ...

intersect :: Segment -> Segment -> Maybe Segment

What would a Nothing result mean? Would it mean that the 2 segments do not intersect, or would it mean that one of the segments was invalid? Treating the error in this signature is totally unneeded and forcing usage of mkSegment would do exactly that.

In Scala I sometimes use the mkSegment pattern that you described when receiving data from the outside (like from the database), but in this particular instance I prefer doing the following, because of the above reasoning (i.e. Segments should already be valid, input should be validated elsewhere, if we've got invalid segments then we need to fail as fast as possible):

case class Segment(x: Double, y: Double) {
require(x <= y)
}

And I find this to be totally fine, in addition to whatever the static type-system can pull off.
These are cute, but I'm pretty sure that the ancient Greeks had the ability to prove quite a few of these numbers were irrational.

Transcendental proofs, on the other hand, took a while.
Fucking this! The amount of time Prime deliveries arrive after I've already left work is ridiculous (in London).
You mean "coarse-grained", right?
This kind of worries me as a tech company, you have no devops guy?
Amazon might be smart enough to deliver packages in the evenings when people are home, something FedEx and UPS just can't quite get their heads around.
This one right? http://programmers.stackexchange.com/questions/179616/a-good...
Pirate Bay Founder Finally Free After Three Years
The Answer to Ad-Blocking in iOS9 Lies in Mobile Apps
The delivery-person on the picture on the linked webpage is definitely wearing a branded jacket.
You supply the fuel... If you take into account the wear and tear on your car and the cost of refueling, this is like minimum wage levels of income.

I'd be interested to read an account of someone who has actually done this "job"* (*technically self-employed, therefore treated like "unemployed" to most financial institutions and don't receive normal benefits like holiday time).
Totally agree.

One thing I've noticed: the people who talk about 10x engineers almost uniformly believe they're either apart of that elite cadre, somewhat close to it, or will one day ascend to its ranks.

I believe that there are nodes in a network which have greater inherent value than other nodes, but can only achieve 10x value when working with other nodes of similar caliber in the context of the problem they are solving.
Brazilian Sikur launches GranitePhone, a BlackPhone competitor
Yes! I was lucky enough to start a green-field project recently and basically did exactly what the author is advocating against. So far it's been the most extendable, easy to read and easy to maintain project I've worked on.

The author briefly mentions the Single Responsibility Principle and then tramples all over it, suggesting you put your 'code close to your data', shoving your verbs onto your models? Good luck ever refactoring. You'll have orphaned properties and methods that people are afraid to remove because they may anger the gods. You'll have flags, flags everywhere to control how your model does its work. Give me small, swappable, testable noun-verb classes any day of the week.
Tesseract ocr engin for .net only for $99
>DARPA's research is into offsetting TBI, which is a real problem for many, many veterans

Because if it leads to techniques to make more efficient killing machines of the soldiers they'll pass them over? Or because they are not researching that too, all the time?

>If you need proof that not everything DARPA does is going to immediately commit mass murder, consider the internet you used to post your teenaged witticism.

That was created to facilitate a nuclear war scenario, so that the army facilities could still operate and have fault tolerant distributed communication etc. While we don't use it for that now, it's not the best example to make your point.

Besides it seems you missed the whole:

"The question that should punctuate everything DARPA does, Jacobsen suggests, is “How can this be weaponized?”"

thing, from somebody who has studied DARPA long time...
Had a hearty laugh there.
From my understanding golang is a perfectly fine name for Go and much easier to Google.
Why does nobody get worked up about unknown civilizations 10,000 years in the future stumbling across a chemical waste dump and getting killed by it? It's very odd that all the emphasis is on nuclear, when nuclear waste dumps will be a tiny fraction of the hazards created by current civilization.
Read this like Linus Torvald's comment about how Linux "won't be big and professional like gnu" comment from its early days.

I'm not saying Redox is the next Linux. But big things come from small beginnings, and good engineers are intensely aware of the limitations of their creations.
Good, then I agree with you.

Then I hope you will also agree that "extinction" is too strong of a word, and we use it too often around here while in reality most jobs have a hard time disappearing completely, if at all.

On top of that, not sure about where you live, but some supermarkets also have reversed their trend about industrial bread and hire "baker-workers" who actually bake bread on-site (from industrial paste) instead of it being purely delivered for consumption, which is slightly better and fresher, and require human workers.
Ravelin raises £1.3m fight fraud with data science and machine learning
A new gene-editing breakthrough
Can't say I've been following Common Core too closely (my kids are 3 and 1 respectively, so there'll be a bit before it affects me directly). But these example questions just seem completely to be arguing with a strawman:

The only difference in the elementary school question was bigger numbers.

The first middle school example contains only one additional step (being able to do algebra instead of just arithmetic). The explanation for the "old way" contains the word "simple" gratuitously - you might as well say that the CC version of the problem only requires "simple algebra."

For, the second middle school example, I definitely had questions that were multi-part like that in middle school. Also, each part is just applying the same formula a few different times - but the explanation given makes it seem like it's a whole new thing!

The explanations for the high school example is really the worst one though. "This question is an example of solving equations as a series of mechanical steps" and "This question is an example of solving equations as a process of reasoning" mean basically the same thing, just one is put in a derogatory manner.

The CC version of the question itself is also vague: can I pick any two equations that have the same solution? Should I pick equations that are the intermediate steps toward the solution? Does "y=5/3" count as one of the equations?
The catch is: we engineers do that because we grok basic math so well that we can mentally juggle numbers fast.

Yes, seems Common Core is trying to teach those methods - but to children who barely grasp the subject, and thus must memorize rote processes to scribble down all the obligatory steps without understanding why they're doing it.

Children need learn math by concrete manipulatives, handling the physical-world form until they (individually!) internalize the process, then growing comfortable enough with those internalized processes to develop more sophisticated AND casual ways to mentally tear numbers apart & rearrange them to perform calculations fast.
That's a mischaracterization. Many libertarians believe that perpetual monopolies cannot exist in a free market due to competition. So even though a cartel might form for some time or a company may hold a monopoly on a product, if the prices are not at true market value (too high, inflated, not competitive enough), a competitor will enter the space and undercut the monopoly.

If you're interested in reading more on the topic, search for keywords: rothbard, myth of natural monopoly
"the right-wing nutcases that pull its strings..."

You may want to look into the history of the military in the U.S., both right and left share in it's excesses.
right, try searching for go instead of "golang" or "go lang"
I agree, my initial reading of the title was that he was an expert on bone china - although the capital 'C' in China should have clarified that. I feel "Irish expert of business in China" would have been clearer.
The author suggests a naive approach to object oriented programming. When all functionality is a method of the data it represents, these objects become hideously complicated and unmaintainable.

An example is comparing Objective C's string class, to .Net's. In objective C, path manipulation methods are on the string object itself; but in .Net, path manipulation methods are static methods in the Path class.

The .Net approach is better. Why? Do all strings represent paths? No. There's an unlimited number of ways and reasons for manipulating strings; and making them all methods of the string class is unsustainable.
Plus, Americans don't learn Chinese history outside of fireworks and dragons and ancestor worship and the silk road.

Being upset about using this phrase is like an army of tumblr SJWs being annoyed when someone says gypped. Not everybody knows the complete cultural and racial history of every innocent common phrase used today, even if they come from questionable historical pasts.
A React custom renderer to build user interfaces for the terminal using blessed
> Her children suffered from her crime but they are pleading to keep her alive. She is the only parent they have. Killing their only remaining parent is victimizing them again.

That's on Kayla Gissendaner; nobody else.

I'm personally against the death penalty under any circumstances, but this particular case is no more or less egregious than any other.
Germany: Migrants' Rape Epidemic
And now you've baked your understanding of reality into your type system or your invariant contracts, you come to write some code that actually works with this API and realize you've made a terrible mistake, because when you delete a user, you need to know which subscriptions to cancel, but you've already thrown that information away as soon as you called 'Delete()'. Maybe we should restrict you from deleting a user while they have active subscriptions? Well, that's easily accomplished with a C# invariant, a little harder to bake into the F# Type union.

In general, though, it turns out you often need to be able to have objects in an 'illegal' state some of the time. "Zip code is a mandatory field" - but that doesn't mean you can't save your order form for later if you need to go and look up the zip code. It's generally best to validate objects as being 'eligible' for a particular operation, not to prevent them from being ineligible altogether - An object with no zipcode can be saved, but it can't be submitted. Structuring that sort of thing into a type system - while doable - is probably not idiomatic in either F# or C#.
Notesmaster – a powerful e-learning platform
Complaining about YODEL in the UK is like spitting in the ocean or saying "Comcast sucks" in the US. Everyone knows it, but yet it continues. Amazon UK has a permanent discussion thread titled "Yodel sucks" that is just stories about how Yodel lost/stolen/damaged/etc people's packages.

Here is today's 44 post discussion:

http://www.amazon.co.uk/forum/amazon/ref=cm_cd_tfp_ef_tft_tp...
Here are the specs:

CPU Qualcomm Snapdragon 615 octa-core 64bits

GPU Qualcomm Adreno™ 405

RAM 2GB

DISPLAY 5-inch Full-HD

OPERATING SYSTEM Granite OS

INTERNAL STORAGE 16GB

CAMERA BACK 16MP / FRONT 8MP

POWER 2700mAh battery

The blackphone 2 specs are at http://www.kickmobiles.com/blackphone-2-secure-phone-row-2-p...

Of course, specs aren't the core focus for phones like these.
If you're experiencing some sort of mismatch with your model, it means that your model is incorrect.
From what I have seen from from a 1st, 2nd, and 7th grader the issue real issue is implementation. They want the 1st grader to understand that when you carry a 1 you are really carrying 10, so they have this huge diagram they draw out so it can be visualized. Great makes sense.

Problem is they make the kids draw out this giant ridiculous diagram every time, and they get graded on whether they draw the picture error free. So instead of teaching the concept and then reinforcing the application of the concept they are reinforcing how well you can draw the needless picture you were taught. Parents then get mad because they can't help their kids because they didn't learn the rules of the diagram drawing.
Using Rust with Ruby, a Deep Dive with Yehuda Katz
Here in Michigan, I've had quite a number of packages delivered by a company called Prestige. Similar thing: "independent contractors" using their own vehicles. Same mixed results.
I wonder... we know two things, one is that an electric motors can get around 90%+ efficiency. The human body I can't recall exactly but if I remember correctly it's centered around 20% or so for most exercises.

Two is that 1 m2 of a solar panel converts around 15-20% of insolation to electricity, whereas 1 m2 of random plants gets about ±0.5%, most crops around 2% and the top performer is sugarcane which is still at just 8%. Typical diet however would probably be 2% efficient crops, a lot of which is then wasted before it gets on your plate, not in the least due to a lot of agricultural output going towards animals who turn it into 'meat-energy' in another inefficient process known as life with food-conversion rates of anywhere between 1.5 feed for 1 poultry, to up to 20 to 1 for cattle.

Lastly while we have regeneration capacity in our feet when say running, when cycling downhill or breaking we regenerate nothing, whereas electric motors can have 20-40% electric regeneration efficiencies when going downhill or breaking.

In short, electric bikes and likely small electric vehicles in general probably beat cycling in terms of energy. Of course this is a pretty narrow perspective. One can argue that solar panels and electric bicycles require massive investments which is an opportunity cost for other energy-efficient processes. One can argue that the cyclists fuelled by food will reduce their other activity (e.g. going to the gym) and thus don't expand any excess energy, or that most electric vehicles today wouldn't be powered by the sun, whereas the vast majority of food (excluding some greenhouses, hydroponics and pot installations) today is. But it's also pretty clear that powering the world with plants (excluding oil etc) doesn't make sense in the long run at significant scale.
Please have a look here if you're hiring #golang devs
Why Airbnb Just Bought Lapka
Good writing.

Creative writing.

And delivering this multiple ways. They have an audience that works at multiple levels.

Universities - Send free or hugely discounted copies of the newspaper to universities or departments with people likely to stick to their content.

Free giveaways - Station people at underground stations across London with copies. It's more attractive than Metro.

Corporate subscription - If a company buys unmetered access for all staff, this is really habit building, and lets people explore. Aside from the above, this is how I was hooked not to give it up, as the value becomes enforced via exploring. This is very similar to the point the article makes "The idea is that for a nominal amount you can read as much as you like, and that creates a habit."

Editorial - Reflects this. It is not 'city boy' speak. It makes efforts of similar publications' business sections look like shoddily written and put together opinion pieces appeasing their respective editors across a spectrum of readers. [I'd contrast this to The Economist which often lacks the quality The FT has for insight. In many cases it is FT Lite.]

Actually useful - Walk around a bank and not see a copy. When working in a job in the City it was encouraged for new hires to include it (and other sources) in daily/weekly brainstorming meetings. This includes toilet breaks sitting reading the FT while putting the world to rest.

A lot of content is actually free - A lot of the non-daily-news sections are always free online. Particularly editorial, multimedia, things via RSS (they still do RSS).

Clearly I'm sold. The reasons above are why. Tangentially, they seem to have very low staff turnover and a clear vision and culture for achieving their vision.
The anaemic domain model is a SOLID design
Don't scripting languages typically not exhibit the problems that Rust attempts to address?
If you're shooting JPEG, then your camera has already done a lot of corrections for you. The heuristics that the camera use are limited, and one can always do better than that by doing the post processing manually on Lightroom.

Try shooting RAW + JPEG and see the differences between the pics.

Personally, I believe that doing the post-processing myself is part of the experience of photography, and I find it fun to tune each photo according to my tastes. But I do understand that's not for everyone.
Show HN: ish – SSH to an AWS server by name, AMI, autoscaling group, or ID
I would suggest you think twice about it now, then, because if you use "final solution" then you're going to cause a significant portion of your audience to immediately think of the Holocaust. If your intent is to communicate with people rather than simply be technically correct, it's not a good phrase to use unless you actually intend that association.
DirectX 12 Do's and Don'ts
Perhaps because the "left" in the US is still cloase to what would be called right (or even far-right) in other places, when it comes to anything "patriotic" (and even in religious and moral issues).
An eye for an eye creates bad incentives. If the state is going to kill as punishment for some crime, rationally a criminal should go for broke once that line is crossed. In the worst case, they'll be killed by police. Trapping someone just dissuades them from surrender.
6 Places to Submit Your Product Startup
I don't understand how it's doing it, but it looks seriously cool - like a paradigm I want to start programming with.
Employers aren't benevolent entities. You always have an adversarial relationship with regards to compensation and benefits.
They said "I wish people would learn...." To say that people don't learn about it is not a sensible counter to that!
A Dark Room: A Framework for A/B Testing
Apparently "YouTube’s bottom line is “roughly break-even” (WSJ Feb 2015). I'm not sure the answer is to get people to go to youtube.com. I use it all the time and I hate that stuff. To make money they probably need to get a little more intrusive with the advertising.
You will be able to do this once Amazon Flex is built out (or Uber Delivery et al). Delivery drivers will make more money for delivering after normal ~9-5pm type hours.
To be fair, I never did use the word extinction. I used deprecated and obsolete, which I stand by. Deprecated jobs may still exist because some people prefer it that way, they'll just become specialists. And they may also be obsolete for the primary market, but as we already discussed some people prefer a higher quality which these specialists might provide.

I'm from the Netherlands, and I haven't heard about the industrial paste thing. I don't think it happens, but maybe it does. In any case, if they do do that, there is no doubt in my mind that they need less workers to perform these tasks than to bake the bread from scratch. So that is still a win for automation.
I had the impression Rust tries to get memory safety without the need/overhead of GC.
But if your model is churning every time your understanding of the business rules changes, then you have a different problem.
I do not understand how you want to break the invariants by subclassing. My ActiveUser can be deleted and my DeletedUser can be reactivated. How do you break that?
To the contrary, I've never personally heard any reasonable support for Common Core. Of the many examples I've seen, including what my daughter has been inflicted with, it is leaping past basic competency going straight to advanced techniques which only are simple because of thousands of hours of practice with straightforward fundamentals. When asking even Common Core teachers about the curriculum, they're quick to express reflexive embarrassment and change the subject. Even (IIRC) the federal head of the curriculum sends his own kids to a non-Common Core school.
This talk might be of interest Stuart Sierra - Components Just Enough Structure https://www.youtube.com/watch?v=13cmHf_kt-Q - it is a tiny clojure framework but the ideas should be thought provoking, although granted with OO aligned type system not completely adaptable. In this example Customer could possibly just be a data-bucket/map/hashtable/Dictionary, Im not entirely sure how I'd handle reporting though as the example has put me back in OO mode, but a customer report (which knows how to organize data about a customer) shouldnt be part of customer entity (used loosely) in my opinion.
Consider they are based in Seattle, I think they have better luck with Seattle. I am not dismissing other point you said, but Seattle is no different from being also a tech area :-)
What does "too little, too late" mean? Is Android now doomed?

I'm just frustrated that they're just doing tweaks, rather than any deep fixes. Obviously the platform isn't doomed, because the competitors aren't much better!

Android updates have been incremental updates for three years now.

Hmm, OK! I have seen some news articles around that, but I can't find an authoritative bit of documentation or official blog post. If you have a link handy, that'd be great.

I've observed in practice that all my test devices seem to do full downloads rather than deltas, though many of them are running older OS versions. And I'm mostly concerned about expansion files. It's possible that the APK parts use deltas at least some of the time, though again, in my spot checks that doesn't seem to be the case.

why can't the developer do it, but also why does the developer have to do it?

What I'm envisaging is, the developer builds APK version 2 locally. They send a v1 -> v2 patch to the Play Store (which already has the master copy of APK v1). Use checksums to ensure it's all working as expected, and in the worst case fall back to a full upload of v2.

Maybe from Google's point of view it isn't worth spending any engineering effort to help developers who don't have access to really fast uploads. But it's not rocket science and it sure would be nice.

A bug regarding expansion files...what is the point of even linking that?

I think it's relevant because their recommended method of shipping a really big app is to put resource data into an OBB (a virtual filesystem), but the tools for building an OBB don't actually work reliably. Worse still, Android itself can't mount an OBB reliably! So if you care about stability and/or supporting a decent range of OS versions, you can't use OBBs at all. You have to use a zipfile or something as your expansion file, and manage it yourself. Not a huge deal, but it's more work, and it all contributes that little bit more to the bloat many people complain about.