skysight-inc/HackerNews huggingface dataset:
> Design by contract

Back in the day we used to call it an assert, sprinkled it over code to cover the invariants and generally didn't make much fuss about it. Kids these days... "design by contract"... such words, much wow :-P
Actually my MC predicts below 40%, authors state 42%. See the graph in the gist. It plots the last function in the gist.
It's funny. I recently considered investing in breeding Wagyu cattle in France, because the price for this is outrageous here, and it is next to impossible to find. Also, discussing with my butcher, I learnt that the know-how existed in the past about how to breed such marbled meat, but for some reason was lost. Reading this makes me think I should really push the idea forward.
Magistrate resigns after paying destitute asylum seeker's court fine
"wrong way round' from a modern frame of reference"?

Isn't the modern use the same as the Egyptian one; that "upper" means "upstream", no matter the direction of river flow?

For example, in https://en.wikipedia.org/wiki/Ob_River you can see "The upper Ob valley, in the south, grows grapes, melons and watermelons, whereas the lower reaches of the Ob are Arctic tundra."

At http://www.protectingourwater.org/watersheds/map/upper_st_jo... you can see "The Upper St. Johns River Basin extends from the headwaters of the St. Johns River in Indian River and Okeechobee Counties to the confluence of the St. Johns and Econlockhatchee Rivers in Seminole County".

At http://aep.alberta.ca/lands-forests/forest-management/forest... you can see a map showing that the Upper Athabasca and Upper Peace are to the south of Lower Athabasca and Lower Peace.
Interesting that the author cites crowdfunding, philanthropy and subsidization as a means to fund news organizations, but fails to mention the great work done by NPR, PBS Newshour, Frontline, Bill Moyers, Charlie Rose, et al. Instead, the author chooses to highlight several outlets that are "doing it right" but who deploy the very same advertising schemes which the author derides earlier on in the article.
It does redact names linked within comments. It even redacts names in the comments that aren't links as long as they belong to people who posted in the thread.
What’s Your Startup’s Minimum Viable Vision?
We have a sailboat on Lake Michigan. That map of Lake Michigan is, for the most part, how we experience it when we do a "sailing adventure" because we are going port-to-port along the coast.
The other name for this kind of abstraction is a 'lens' (as touched on at the bottom) - I found this library pretty quickly: https://github.com/DrBoolean/lenses
The concept that you are interested in is known as deep time (https://en.wikipedia.org/wiki/Deep_time) and there is a book by the same name by Gregory Benford (http://www.amazon.com/Deep-Time-Humanity-Communicates-Millen...) that explores the idea in greater depth.
The attention we're talking about here isn't narcissistic supply. It's basic interpersonal human concern. Shooting up a school because you're being systematically starved of your basic human needs isn't nearly as bad as you just made is sound. Otherwise I never contended with anything else you said. I do think they deserve a chance at rehabilitation but also that they're less likely to attain it.
None that I know of. The Ogre3d renderer has moved from an OOP to a data oriented design in their newer versions, so maybe you can look at that.
Pretty much every free software license is irrevocable - if you make software available under that license, you can't retroactively remove those licensing terms later. This applies whether the copyright is owned by a person or corporation. It's a fundamental building block of the concept of free software - that once software becomes free, it cannot be made non-free again.

I'm not a lawyer and I'm not sure whether this has been tested in court, so I'd suggest further research on your own. There's some discussiof this on Groklaw - http://www.groklaw.net/article.php?story=2006062204552163
Be good to also compare this to SQL databases like PostgreSQL, where you can have quite complex check constraints, non-nullable columns and unique indexes. If done properly it can make it literally impossible to insert bad data into your database.
This is a pretty stupid assumption to make. All the of the 'weaponized brain' bullshit is coming from breathless web journalism types -- DARPA's research is into offsetting TBI, which is a real problem for many, many veterans.

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.
Can anyone think of any reasons that any and all interaction with the US Government via the web shouldn't take place via a .gov website? If something like healthcare takes place on a .gov site, visas definitely should.
How to launch your idea in a crowded market
Why I Hate Unicorns
It is bad to name different products using the same name. See gnome2 vs 3. Few would be hating on gnome3 if it wasn't named gnome.
But no.

The point was to show how when you're thinking in a language that supports algebraic types and pattern-matching, you automatically exclude states that can't exist.

It's not that the underlying CLR or IL is any different given the same solution -- that's just measuring a language's verbosity. It's that some language constructs automatically lead you down the path to correct code without having to boil the ocean.

Sidebar: I would have tightened the F# code up a bit. No need to have the Name string repeated in both types.
Vgradne omare
I'm always a bit frustrated with articles like that when they don't talk about any double-blind testing.

Without knowing whether the assessments are double-blind or not I have no way if they have any credibility or not.
Perl seems like a great language for a lot of text processing jobs, but while its learning curve isn't too steep, it goes on forever. I will continue to use it for quick little projects like cleaning up excel files, but I don't think I could ever get into things like Perl golf.
The CFA is so broad that basically doing anything to a server that the server operator didn't anticipate is a violation. And since it was written to protect major companies' infrastructure in the 80s and 90s, the penalties are incredibly harsh.
> even the studies that lead to the notion of a 10x engineer pointed more strongly to the notion of a 10x office

Does anyone have a citation for this?
Show HN: Track your favourite shows with this CLI
We're told at Uni :

"You can use Presi if you like, but you'd better be ready for having no internet"
>> but personally it all feels really fake to me.

This.

I am an introvert, and this is the crux of the problem to me.

People have no problem whatsoever making smalltalk with persons they don't like, are happy to promote themselves on the web and whatnot as the best guy you can imagine, always feel entitled to give their opinions even if they have no idea about what is being talked about.

It's all a fake friends, fake interesting lives, fake enthusiasm and popularity contest.

If you don't participate in that shit or mention problems instead of being excited, you're singled out.

Errors are forgotten easily and leave no trace on the inflated ego because they don't have the balls to look at themselves critically.

But i'm the guy with issues, sure...
Why are you posting this on HN? This is politics & popular culture story, and has no tech content. I come to HN to get away from this kind of stuff.
That's my bad. I didn't know there was a strict ruleset for Show HN. I work for the company discussed in the article.
Two substances might emit the same kind of particles, but their rate of decay will be different.

Measuring the emissions of a container over a period of several years will probably yield enough data points to solve for all of the unknowns.
See also:

https://www.washingtonpost.com/news/post-nation/wp/2015/09/2...

"When the order delaying the execution for two weeks came down, Glossip was so close to his scheduled execution time that he had already been served his final meal (which included chicken-fried steak, mashed potatoes, fish and chips and a strawberry malt).

In addition to their requests to the Oklahoma court, Glossip’s attorneys had also asked Gov. Mary Fallin (R) to stay the execution, arguing that the lethal injection should be halted due to new evidence. However, Fallin denied these requests, and she said her office determined that none of the evidence presented by Glossip’s attorneys changed her mind.

“After carefully reviewing the facts of this case multiple times, I see no reason to cast doubt on the guilty verdict reached by the jury or to delay Glossip’s sentence of death,” she said in a statement earlier this month. Fallin also said her office would respect the appeals court’s decision."
London Tops Silicon Valley for Tech Talent, but There's a Catch
MIT Builds a Super Fast Camera That Captures Light as It Travels
Clipboard.js – Modern Copy to Clipboard. No Flash. Just 2kb
I wish people would learn that words and phrases can acquire meanings of their own, independent of original meanings, origins and associations.

"Let a thousand flowers bloom" has an entirely clear and positive meaning for the vast majority of English speakers.
F-Secure adblocker for iOS
Also check out traversy, by the super-talented Chris Ford.
Even works in Clojurescript. :)

https://github.com/ctford/traversy/blob/master/README.md
Amazon Envisions a New Tech Hub as It Expands Its Detroit Presence
Our website contains as less information as possible on our technology, on purpose.
A patent is generally public 2 years after the application. You'll have to wait at least 9 more months :)
We only work with premium publishers, and we'll probably never have a SAAS solution.

We are hiring...
Texting 10X More Efficient Than Phone Calls
What I've found looking at the Financial Times is that it's among the media sources at the very top of my list based on mentions of the Foreign Policy's top 100 global thinkers mentions. Its sister publication, The Economist, does even better. The only publication doing better yet is The New York Times, though its results are exceptionally skewed by references to Paul Krugman (a Times columnist and blogger).

The results are based on searches for the names of the FP global thinkers members, and was a bit of research I'd conducted for my own benefit looking for sources of potentially interesting discussion and insight online, including social media, mainstream and altnernative publications, academic, and other institutions.

Not a subscriber, though I'm considering it.

Details:

https://www.reddit.com/r/dredmorbius/comments/3hp41w/trackin...
Hello, Hacker News! I think I have to say several words about the origin of this.

I like several shows. Like Family Guy, Simpsons, Dr. Who, and some others. I watch them occasionally, and having hard times remembering what was the last episode I watched, and if there are some more.

That's why I came out with this simple CLI. It let's me track episodes I watch and shows new stuff that came out. I like it a lot, and I thought that maybe someone else would also like this idea.

Appreciate any questions or help with it!
Just an FYI for anyone who sees this, you don't need to know or utilize Ruby at all in your workflow to make use of SASS/Bourbon (not sure about Neat, but I'm guessing it's like Bourbon?). You just need to have it installed and be able to install a few gems (gem install gemname) and you're pretty much good to go. Or there are a few GUI options out there that make it even easier.

I couldn't write a damn thing in Ruby and I utilize it every day via SASS/Compass
The journalism's good. Sticky subscriptions (or other sales models) really are a turn-off though.
I didn't know Alex personally, but I was a paying customer for his site FeedLounge back in the days before Google Reader came along. It was a great web-based RSS reader, and was the first web site I used that felt like a desktop app in terms of responsiveness.

I didn't really know him, just of him, but as someone only a couple of years older with three kids myself, this is heartbreaking to see. RIP, Alex.
Well, you can't just execute those people. You either execute no one or you execute some innocent people along with the 'deserving'.

You think it is more just to kill the innocent than simple imprison the 'deserving' for life?
Why You Could Be Living a Life That's Too Clean
I write perl everyday, I never use this stuff.
Redux. Concept over implementation
Almost all iOS frameworks you see released are MIT licensed, it's rare to see another license.
I can't help but disagree with so many of the things he says.

I won't even go into things like "Does your customer know what an OrderPriceStrategyFactory is for? No, then it’s not a real thing. Its some bullshit you made up.", but statements like "If we change how we contact customers then only the customer needs to change, not also the ReportBuilder" sound overly simplistic to me. The whole point would be that nothing needs to be changed. You just write a new ReportBuilder that implements the same contract/interface and switch the wiring. No changes in the existing ReportBuilder or Customer classes.

That, or maybe I'm just completely misunderstanding what I'm reading. Which isn't entirely impossible :-)
I think the point is also, some internet could be consider enough and then they'll never get real internet ever.
I once had to help out a struggling interviewee whose Prezi had failed because his laptop wifi wasn't working. Talk about poor choices.
Or, you could use a class Hirarchy with a User abstract class and ActiveUser and DeletedUser subclasses and use the type system to enforce the constraints.

Using a nullable field and an enum is hardly the standard way in C#.
https://www.metabunk.org/debunked-alkaline-diets-cure-cancer... but really, this is not the time nor place.
Both proposals have been purely theoretical. I can provide three practical historical examples of turning it up to 11:

1) abortion clinic bombing changed nothing; if anything it helped raise funds (you'd almost think they were false flag operations? Is there anything that helped the pro choice cause more than the bombings?)

2) the War on drugs has ruined uncountable lives, certainly far more than drugs have ruined, none the less neither the fear of drugs or the more realistic fear of the war on drugs keeps people sober, business has always been booming.

3) the war on black men has gotten about 1/3 of them involved in the criminal justice system. The result? None, no change. They haven't become refugees, their culture has changed as little as possible under the circumstances, no serious rebellion...

In those three examples taking normal level actions and turning them up to 11 has either been utterly ineffective or counterproductive. I'd have to say the tsotha theoretical model fits observed reality better, although I admit further research could find observations overturning that... although I don't expect it.
The problem with all those new approaches is understanding what a news organization is and how it operates. The author of this post mentions bundling, but bundling in a news organization isn't defined by customer needs but by operational needs. A news organization needs to have expert assets in various locales before news breaks out (so it's not the Baghdad bureau problem, but the Africa bureau problem or the India bureau problem). Bundling serves as a cross-subsidy. People pay a fixed (high) price for a bundled newspaper in order to read an interesting story, but that story may come from Paris one day and from Pakistan another. Once stories are unbundled, this can simply no longer work.
> in a way that's fair to the people who are relying on it for their organization?

It's nice of you to think about them, but you don't owe them anything. They didn't pay you for your work. Every developer must understand that if they choose to use a free framework that is being maintained by only 1 developer, they're putting themselves at risk of the framework being discontinued.
Ok but how? There are only 14 cases. I enumerated them all and got 50% heads given previous heads. How are you counting?

Or to put it another way, how would you structure a bar bet so you come out ahead?
3 Tips to Help Sell Your House in the Fall
Switching between two fonts in different circumstances seems like less of a hack than embedding some kind of Virtual Machine into your font engine with all the security issues that follow.
Wagyu is really amazing, but benefits from Japanese cooking styles (or Korean ;-) ). Although some people with a lot of money eat wagyu steaks, I would readily trade one for a well hung British steak. The texture and depth of flavour is better as far as I'm concerned. But if I'm eating yaki niku, nothing is going to come close to wagyu.

A colleague in London mentioned to me that there is a hamburger restaurant that is offering Australian "wagyu" burgers. That seems completely messed up to me as I can't see any advantages (other than marketing) to doing that. You just get an expensive burger where most of the money has melted away and been deposited in buckets under the grill.

Personally, I'm happy to see Australia get in on raising this kind of beef. There is quite a lot of demand for wagyu and there is no way that Japan can supply it. I would like to see an appallation for wagyu, but even now everything in my supermarket clearly indicates where everything is from (in some cases down to having a picture of the farmer!), so it's not such a big deal in Japan.

One interesting point in the article is the ever present US complaint about the Japanese not buying their farm produce. Especially for iconic Japanese food like wagyu, nobody is going to buy anything foreign. The best you will get is some big beer garden restaurants buying it to save some money. Even then, it's unlikely because Japanese people either demand local produce or produce produced in famous areas. If it is the latter, they are willing to pay truly exorbitant prices for it.
Boredom is not a problem to be solved. It's the last privilege of a free mind
What is parallax scrolling and why it is used in website designing?
> Even though you can make your app bigger, it doesn’t always mean you should.

I'm glad they included and expanded on this point. I used to be stuck on a gingerbread device that wouldn't let me install anything larger than a megabyte due to storage issues. I was always grateful to devs who kept their APK sizes in the kilobytes. Now I have a Nexus 5 and install 30MB+ APK's without hesitation because that seems to be the status quo. Does anyone know why most apps these days are so bloated in size? Is it all the frameworks and libraries we use?
Not sure the Guardian is the best example. They well be growing online but no one is paying for that and they're haemorrhaging customers of the physical paper who actually pay for it.
The death penalty:

Of the 49 European countries, only 1 (Belarus) still has the death penalty and executes people.

Last time a civilian executed in Mexico: 1937, Canada: 1962, UK: 1977, Russia: 1999

In 2014, only these countries executed more people per million than the US: Equatorial Guinea, Iran, Saudi Arabia, Iraq, Jordan, Somalia, Yemen,
Sudan, Palestine, China, Singapore, Belarus, Taiwan, Afghanistan and Egypt And North Korea N/A.

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

Internationally seen as against the universal human rights:

1948: The United Nations adopted without dissent the Universal Declaration of Human Rights (UDHR). The Declaration proclaims the right of every individual to protection from deprivation of life. It states that no one shall be subjected to cruel or degrading punishment. The death penalty violates both of these fundamental rights.

2005: The UNCHR approved Human Rights Resolution 2005/59 on the question of the death penalty, which called for all states that still maintain the death penalty to abolish the death penalty completely and, in the meantime, to establish a moratorium on executions.

2007: The UN General Assembly (UNGA) approved Resolution 62/149 which called for all states that still maintain the death penalty to establish a moratorium on executions with a view to abolishing the death penalty.

http://www.amnestyusa.org/our-work/issues/death-penalty/inte...

2015, the current year: 20 persons executed in the US

At least 278 persons executed in the US just since the last UNGA Resolution.

http://www.deathpenaltyinfo.org/execution-list-2015
That's assuming the government's goal is to raise revenue. A lot of carbon tax proposals are revenue neutral, with the goal of achieving specific carbon reductions.

Fossil fuel producers may still compete with each other on cost but we shouldn't fool ourselves into thinking they're somehow benefiting society by doing that.
It could definitely be a disaster if it was indiscriminate and no reason was communicated.
Back from nucl.ai 2015
After nearly four years, is it time to just settle the Megaupload case?
Dropbox isn't Google.

I don't know if Google does or does not provide meaningful support to CPython development. Certainly it did, as you point out. But fijal's comment was about the present, not the past.
> Can this be implemented in rust itself, as part of the compilation ?

I'm not sure what you mean by 'in rust itself'. Do you mean as part of the rust compiler? It works fine as library. If I understand this [0] correctly, you add lalrpop to your build process and it then pre-compiles your `.lalrpop` files to rust code every time you build your project. So, it is part of the compilation even though it's not part of `rustc` itself.

[0]: https://github.com/nikomatsakis/lalrpop/blob/master/doc/tuto...
MAX.gov was kind enough to run us a proxy in order to support https, and that proxy had a bad day under load. Described more here https://github.com/18F/web-design-standards/issues/733

Btw, GSA and OMB aren't connected the way you describe. They just happen to be the respective parent agencies of 18F and USDS-HQ. Here's a tree.

POTUS
├── GSA
│ └── 18F
└── OMB
├── USDS-HQ
└── MAX
Don’t Listen to Your Users and other lessons from building a consumer-facing app
Traction Stack
Grow Your Startup, a Free Course from the Authors of Traction
This. The nullable field and an enum is hardly the standard way to do things in C#. That's like having NULLable fields everywhere in SQL.

Assignment checking is pretty simple but would not work if you want to verify the correctness of the program in compile time. Which you can still do just fine in C#.

You would use a class hirarchy with a `User` abstract class and `ActiveUser` and `DeletedUser` subclasses and use the type system to enforce the constraints. The syntax wouldn't even look worse.
I'm not sure your dislike of hosting the code on gitgud is bona fide a desire to have the project on the most popular platform; rather it might be a political move to discredit an alternative because it uses gamergate-inspired artwork on its front page.
It's not a lie, as the article puts it: "hacking takes considerably more effort than simply asking a telecom provider for records".. and that's it.
My main problem with that is: at least now even others have to work their ways through encryption, while in the prospected scenario the data is just there to be grabbed by anyone even with no sophistication.
Whatever it is, iOS is also affected. I think the main cause is the addition of various screen resolutions which results in large graphics being needed in multiple variants. Then there's 32bit and 64bit code. But that is an issue that will hopefully be resolved soon.
You might want to get some caching on that WP site. And decent hosting so it's not so horribly slow to use, under virtually no load.

You might also want to explain what it is your software actually does. "Marketing Automation" is fairly broad in scope.