skysight-inc/HackerNews huggingface dataset:
The stricter and more advanced a type system is, the more this comes close to the truth. Of course, no compiler can check that the function you implemented is the function you wanted to implement, but it can quite check that it can reliably compute the function you typed in.

The question hinges, on how much errors in your program express themselves as type errors too.
If you're the site maintainer please consider adding a link to the KDE https downloads or a link to the checksums somewhere on the download page, in the source code tab or even at the bottom.
That's the best explanation of a language quirk I've heard for a long, long time! :)
UK gov says new Home Sec will have powers to ban end-to-end encryption
Technically that 80k "livable shithole" is still an 80k "livable shithole" and the remaining 320k is the value of land/location :)
I disagree that DFID are likely to push more money into overseas tech. The premise is that the UK will have more resources post-Brexit. It's extremely unlikely. They will simply have less money, at least in the medium (5yr) timescale.

But one thing it could mean is an influx of highly skilled tech workers.

My partner and I have just relocated from Cambridge, UK to Nairobi, Kenya, along with our baby son and our small scientific software company. We were originally just here for the summer but after the Brexit result decided to stay.

One thing that helped make the decision is that the tech scene in Nairobi is exploding. There are 5 VCs to every startup and tech workers are in very high demand, especially software engineers and data scientists. There are also some very talented and determined people working to build capacity here to fuel the growth of tech. The possibility of being a part of that growth is really exciting to us.

Add to that low cost of living, wonderful weather and culture, high potential for social impact, and remarkably good mobile internet coverage and speeds.

If you're in tech and thinking of making a move internationally, Nairobi is a great option.
Let Content Drive Your Marketing – A Content Marketing Prime
They still have that terrible multi-window mode set as default, or they finally changed it to usable single-window?
> moving SNI into the encrypted part of the communication.

That's called host header :-)
I hope you are not programming. Sub, DOM, Switch, LaTex are all "dirty" words then :)
Parent commenter mentioned "most users," designers are the power users in this vertical and wouldn't constitute the majority.
You seem to be suggesting that if I only had the source, that would solve all of my problems but that is one of my biggest fears about WASM to be honest- because the source of the web has always been JS or something extremely close to it, like coffescript or Typescript. Now someone could start writing source for the web in COBOL. I hope I'm wrong about this, and -50 karma from this thread is telling me most people think I am, but I genuinely fear a less maintainable Web.
Apply for Planet of the Apps?
Those kind of ultra lux purchases are closer to the art markets than to the commodity housing ones. So - it is actually pretty good.
If your local "grid" can't distinguish between your TV usage and the ventilators at a local hospital then there is no difference between your two conditions. If such a distinction cannot be made within whatever circle you use to define "local" then the two cases are identical. The alternative is to wastefully over-provision each local area.
Citizens of Västerås might disagree: http://www.thelocal.se/20130612/48440
Patio11: Marketing to Minorities
Assuming that he is talking about a city sim as a game, I can understand that he doesn't want to use the GPU for the simulation, since it will be occupied with the (even more expensive) rendering of the city.
I don't think it is even possible to simply "follow the law". There is such an overwrought, contradictory edifice of laws and regulations piled one on top of the other that no reasonable person could hope to even know what the law is.

Moreover, there are so many laws that are down-right wrongheaded, and everybody agrees about it, that it corrupts respect for the laws that are just morally grey.
Maybe it is a decoy cable. The attacker will cut it, thinking they disabled the camera...
The Guts N’ Glory of Database Internals Backup, Restore and the Environment
This is super neat, I hope to see more stuff ported to HTML5 in the future.
The biggest chunk of their development team is still in Copenhagen (and the rest is scattered all over the world, with little actually happening in SF). You can't beat SF/SV when it comes to funding and networking with the industry. But when it comes to actually hiring engineers, Copenhagen still offers a big pool of highly skilled people with fewer other interesting jobs to choose from. It seems the optimal strategy is to develop in Europe, but have a sales/management presence in SF, maybe even officially re-incorporating there, even if it's mostly a front.
Rule 1: Never trust the bank guy. With the exception of perhaps private banking (though fees are high there), if those people really knew how to make money, they wouldn't be working at a (consumer) bank. They'd raise a $10-20-50m fund and make a killing for their clients and themselves. It's that simple.

Either you go with low fee index funds (i.e. Vanguard S&P500, which tracks the market and will require the least amount of effort) or you learn about investing by putting in the time to understand things properly (which might lead to higher returns but can take a lifetime).
Fake Location for Pokemon Go
They mean that it's hard to write a static analysis tool that can determine if functions using recursion will ever terminate or not.
I really love the part "Statistics on Our Awesome Contributors" in this article, I wish to see that more on oper source releases.
I imagine you will find this paper interesting

"Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity"

http://haskell.cs.yale.edu/?post_type=publication&p=366
They changed it a long time ago.
> Re: dependency management: do people not know about Godep, or am I vastly overestimating its usefulness?

How many Go package managers out there ? that's right that's the problem. Why invest in this one when most of the community don't use it, don't even tag their releases properly, and frankly just don't care about anything not in the core library or not written by Go maintainers? this is a fucked up situation. I read in this thread that Go is "battery included", well
no, it has a few percs and a lot of issues.

Go maintainers "We are very opinionated about things but somehow we let the community handle package management because we delivered an half backed one (go get) that fits our needs and we don't care about yours" are a joke.
Cloud9 Acquired by Amazon
11 Jobs That Pay $100k or More
That MinuteEarth video from 7 July was after Atlas Obscura covered it in May (http://www.atlasobscura.com/articles/null-island-is-one-of-t... ), which got mentioned on Fark (http://www.fark.com/comments/9138647/Null-Island-is-one-of-m... ) and 99% Invisible's tumblr (http://99percentinvisible.tumblr.com/post/144266916879/null-... ).

The piece at AO was in turn a repost of an article Tim St. Onge wrote in April for the Library of Congress blog, at https://blogs.loc.gov/maps/2016/04/the-geographical-oddity-o... . The article was further covered by ScienceAlert (http://www.sciencealert.com/welcome-to-null-island-the-most-... ) .

The WSJ journal is strongly based on the St. Onge's article, including re-use of the depiction of Null Island and quoting St. Onge. It does not contain anything which comes from the MinuteEarth video. It's as if the WSJ and MinuteEarth were independent works based on ideas that were floating around a few months ago, where both sites thought it was worth more coverage.

Interesting how these things move around and become part of the zeitgeist, yes? I see no need to cast aspersions upon the WSJ.

EDIT: the comments in the LoC article point to a 2009 tweet about Null Island, at https://twitter.com/chriscurrie/status/1546199025 and that nullisland.com was registered in 2008.
It all comes from the defined requirements and specifications.

i.e. "You shall handle x messages in y milliseconds."

from that, you derive your worst case buffer size given that you can service that buffer every 'z' milliseconds at most (Note, that involves a hard-real-time requirement as it is a bounded maximum time).
Phones and "PCs" alike?
Technically true, but that name is still trademarked. Considering that this ultimately affects Blizzard's bottom line, I can't see them being nice about this.
Microsoft to Launch Windows Server 2016 in September
Haskell is better than most languages at achieving this but still far from the truth. Type systems help a lot but they can't help you in every way. I write Haskell commercially and I can tell you there are many times our test suite catches an issue not caught by the compiler. (In fact just today we have this bug in which a particular maximum function returns the maximum of all historical values of a particular time-varying quantity but forgot to include the current value. The test suite not the compiler found the bug.) But it's also true that with Haskell you can have a smaller and less extensive test suite to maintain the same level of confidence about your code.

Another thing is, if you want to write high reliability code in a general-purpose language, you have to have the discipline not to use all language features because a general-purpose language is by default not safe enough. This article basically outlines a subset of the C language for writing high reliability software, and I imagine if Haskell is used for similar software, a large number of language features and functions in the base library would need to be banned.
Dear Airtel, sniff this...

https://pbs.twimg.com/media/CnUlDy0UEAAvTz4.png
Sadly quality is highly disregarded in our field.

I dream of the day when not making use of contracts, static analysis and type based programming is seen as quality smell and not something that only a few are allowed to make use of.
The HyperDev Tech Stack
Because code quality is usually not on the top list of most companies in IT field.
UK replica furniture market is about to be hit by new copyright laws
Windows Server 2003 Still Used by 18 Percent of Orgs
I think it's clear there are a number of factors for the increase in rents. In NYC, globalization is a factor as an alarming amount of apartments are bought by companies or foreign investors. The apartments then sit empty. I think rent control and rent stabilization have an smaller effect. I say this as a rent stabilized renter. It can't be good if somewhat rent is 4 times less than some else's. I have a friend in a 2200 sf apartment on 5th ave and his rent stabilized lease is $2000 per month. Everyone else in that area is paying $15k per month. It's a common story in NYC. Also there is a huge demand and a huge wealth imbalance here and most everyone can't afford to buy. It's a very forced market.
Out of the box PackageManager should support anything that can be packaged as an .msi file and it lets you write plug-ins to handle just about any other type of method for packaging and distributing apps.

At the moment it's however largely a case of Microsoft quietly developing a quite powerful tool and then going out of their way to not tell anybody about it. Microsoft has also not shown any interest in developing and supporting their own general software repo (I guess they don't want to compete with their app store). So we've basically got to wait for third party developers to fill the cap. Fortunately the people behind chocolaty are working on this and have said they'll have something ready by Summer 2016.
Not always. I've been in a scenario where I swerved into an open breakdown lane because someone swerved into my lane at high speed to avoid running into the car in front (because they had slammed on their brakes after being inattentive). Lots of swerving high-speed vehicles but no one ended up colliding.

But I agree as a general rule. A lot of this trolley problem stuff is way overblown. Far and away the best action in the vast majority of cases is going to be to slam on the brakes. Even if someone or something still collides, the energy is going to be reduced and therefore the consequences of the collision.

I certainly don't want my car flying off the pavement to avoid hitting something on the road without a really good model of why that's a safer approach for me.
I doubt that statement can be true in any programming language. Bugs come in many shapes and a functional language can prevent a fraction of it. You can have logic errors, misunderstood requirements, wrong database queries etc, the list is pretty much infinite.
Cloud9 IDE Acquired by Amazon Web Services
Totally. Being within 50 miles of places that actually have jobs helps too.

I've seen condemned, complete teardowns in this area selling for more than 250k
How to find a CTO for your startup
Reminds me of programming my HP-48G back in the day, particularly the local variable syntax:

http://www.hpmuseum.org/rpl.htm

Not sure if Kitten is directly inspired by this or if they're both building on a common ancestor I haven't heard of.
It looks to me as though the recommendation that RankRed has titled "Rule No. 5 — Low Assertion Density" would be better described as "High Assertion Density" — the recommendation is for a minimum of two assertions per function (and functions are supposed to be short per rule 4).

The recommendations look good to me and (with one caveat) correspond to rules that I apply when writing C code with a high reliability requirement.

My one caveat is in "Rule No. 8 – Limited Use of Preprocessor" which bans all complex uses of the preprocessor. The problem is that it is common in C to encounter situations where the only way to avoid lots of code duplication is to store a table of facts in a macro definition and use the preprocessor to expand those facts into the relevant bits of code in each place where they are used. So in these situations you face a trade-off between the risks due to complex preprocessor use, and the risks due to code duplication (namely, a maintainer might change a fact in one place where it is used but fail to change it in another). My experience is that the risks due to code duplication are very high, and so it's worth the risk of using complex preprocessor macros to avoid them. The risks can be mitigated by implementing the necessary macros in a structured way to keep the complexity under control: http://garethrees.org/2007/04/24/relational-macros/
> Directors of companies have legal responsibilities to provide these reports to the government.

What if you don't tell the directors, but just fix the problem you have discovered? Is everyone off the hook then, or does that also amount to breaking the law (in some country)?
Why I chose a career in sales
I think you're missing the point. You can't scale Linden's micropayment worldwide without there being counterparty risk. It's much more useful to build these on top of decentralized systems with a strong bedrock without fearing the company being targeted by hackers or governments. Can you use Linden in China?
Even with raii and exceptions, I find myself disliking exceptions.

I like seeing which parts of my program can fail, and I want to be forced to consider what should happen in different failure scenarios.

I like explicit error handling because not only is it obvious where my program can fail (and why), but it is obvious where it can't fail too.

With exceptions, any line of code may fail. Or maybe not. It is all invisible.

(Now this assumes a language that enforces return code checking; I use C and a static analysis pass today, but a few languages get this built-in).
It ran pretty well in Chrome Beta on my phone (~30fps?) for 10 seconds until the browser crashed.
Thankfully, multi-window mode still exists (dito for Inkscape). I have no idea why one could find single-window more usable? The only reason I can imagine would be using Gimp on a single small display (e.g. subnotebook class).
Elizabeth Warren urges probe of Airbnb-type rentals
This is not a terrible design. I have seen designs, some by professionals (or at least by people who were paid), that are too clever by half. Some of the common errors are a) the visual representation does not match information structure or the workflow - e.g. common tasks are complicated to perform; b) it is not obvious whether an operation has succeeded and what the current state is; c) 'elegance' and cleverness displace clarity so the interface becomes a cryptic puzzle; d) the interface design implicitly assumes that the user has information and knowledge that he may well not have.
A while ago I was looking into the things in this site and I created this Plugin to help me inspecting how it is done: https://github.com/rafaelcaricio/gradient-inspector

May help you too!
Citigroup was $7 BILLION for their mortgage fraud. [1] I think that can be considered a "real consequence." This was a far less severe infraction, and the fine was correspondingly much lower.

[1] http://www.reuters.com/article/us-citigroup-settlement-doj-i...
> for the SVG to animate you'd need to use... CSS.

Not strictly true; it's also possible to animate SVGs using ECMAScript or SMIL: https://www.w3.org/TR/SVG/animate.html
Miners can run LN nodes too and profit off it as can anyone with bitcoin. The point is avoid the need or having to rely on "supernodes." You have other altcoins going other routes trying to fit as many of these small transactions on the blockchain... Good luck verify all that or keeping that decentralized.
Seconded. It is the only book I found with a practical, down to earth approach. Highly recommended.
> Considering that this ultimately affects Blizzard's bottom line

How exactly?
CIA Director says he would resign if ordered to resume waterboarding
What's healthcare like?
> which is not generally what one expects from coffee

I disagree. I think it's reasonable to expect that coffee and other hot drinks might be all the way up to boiling.

> in a temperature range making burns more likely

Is there a particular range for burns? Isn't it simply that the hotter it is, the more burns you get?
Who said anything about being evil? If my car manufacturer has a bug in their manufacturing process and I die in a ball of fire as a result, they weren't being evil (they didn't intentionally kill me), but it doesn't change the fact that they screwed up and are going to have to make amends.

Citigroup screwed up. Now they have to pay a fine. If they get off the hook for free, how is that fair to their competitors, who also had to do this rather tedious reporting?

Same here,
So a Stradivarius is the 17th century equivalent of $2000 per feet gold plated "audiophile" speaker cables?
Real photographer, old shool photographer, don't edit the picture after, if you need to edit it it's was not a good picture :-)
Who knows, but at the end of the day, they are only going to have so much resources to deal with older versions of Windows.

They seem to be operating with an attitude that if they can get as many people as possible to use their newest version of windows, that they will save money by not having to deal with such a diverse environment of versions.

Something tells me they looked at the way companies like google release their updates often, and by default. Release numbers are becoming less important, more of a tool for developers to use (which is what version numbers were invented for, before marketroids don't got a hold of them). Perhaps a light went on when they saw that chrome just quietly updated, without any fanfare about 'upgrading' to new whole numbers, large features just got included when they were ready, from whichever version they were releasing at the time.

This approach makes alot of sense ongoing, and in the long term. Developers in the past got used to having various versions of their desktop software being in the wild, and it was a part of life. Then people started going, hey with the web, I only need to be supporing one version of our codebase, which is actually pretty awesome. Google came along with chrome and decided that it made sense to have as few versions in the wild as possible. It seems Microsoft is playing catchup with this, but they still have large releases of windows, with interface changes between large versions, which causes folks like you to want to hold onto older versions. Seems they are still working on fine tuning their social engineering.
Venmo is really nice, I just wouldn't trust it with anyone I don't have a social connection with. In that regard it's superior to bitcoin.. Although, I'm digging circle recently.. People can set it as USD, and when they send me money I get it in bitcoin, and vice versa. :-) Doesn't matter if they're outside the U.S. or someone I don't know.
Something I don't see mentioned here, that I remember from when this first came out, was that the modern violins were $100,000+ instruments, not just run-of-the-mill violins.
No more Tesla buyback guarantee as company cuts price of Model X
Robot runs over toddler in shopping centre
Machine to Machine payments. Payable endpoints 402 payments? They're tech guys not marketing. I'm not sure if the LN guys even have marketing people?
How is cost of living in Nairobi? From quick search it looks a bit more expensive than SE Asia or East Europe.
Russia Looks to Populate Its Far East. Wimps Need Not Apply
How WoraPay's coffee app saved Lloyds bank 10,000 days of work
For the record: No crash on an iPad mini 2 (iOS 10 beta) and an ancient old iPhone 4S (iOS 9.3.1). The picture though is not rendered perfectly but has some white lines in it.
Is Facebook Ready to Be the World’s Live News Network?
This is a very interesting talk about writing the software for the Curiosity Mars mission by the head of Software Reliability at JPL, Gerard Holzmann, who also wrote these 10 rules:

https://vimeo.com/84991949
No. You don't. It can be set to having to be on at least once a week, or trustlessly outsourcing the requirement.
Does anyone know the reasons behind this acquisition?
Tearful Mom Thanks Pokémon Go for Changing Autistic Boy’s Life
Chrome extension to right-click and save images to configurable locations
Once fully integrated with AWS, this could offer a rather exciting, low friction way to work on the platform. Using Cloud9 to build, test, and deploy Lambda functions from a single interface with all the auth stuff dealt with automatically.. you could have some powerful APIs running in the cloud very quickly.

(Maybe there's even a play for getting this stuff into the hands of non-engineering employees. Build the "Excel" of APIs, if you will?)
Funny that this comes from a company that talks of "building a truly transparent network", and says "... And we have nothing to hide."

https://www.airtel.in/opennetwork/
Firstly, non-enforcement of trademarks results in losing said trademarks. I've been downvoted more than once around here for saying that, so here's a citation[1]:

> Trademark rights may also be lost when a trademark owner fails effectively to police its mark against eroded distinctiveness, which may occur as a result of the presence of confusingly similar third-party marks in the market.

Secondly, why pay for Starcraft when I can just play Starcraft-JS for free? Although I'm completely on-board with Startcraft-JS, I strongly doubt that Blizzard will react well to it.

[1]: http://www.inta.org/TrademarkBasics/FactSheets/Pages/LossofT...
Agreed. This is probably not the best place to discuss it, but I suspect the phenomenon of people latching on to a criticism by one person, and often ratcheting up the malice, is driven by individuals who are not socially adept attempting to compensate for their inadequacies, at least in their own minds, by putting someone else down - the social equivalent of picking a fight with an individual who has just taken a beating. It is an unfortunate human trait that is easily exploitable by demagogues.
And soon Chocolatey will be seamlessly integrated with Windows 10 Package Management tools