skysight-inc/HackerNews huggingface dataset:
Most modern military forces have a separate "air force", can you list which countries don't ?
Five Eyes agree to engage with industry on terrorists’ use of encryption
I can't wait to be able to run Howl on Windows 10. I wish this release contained a stable build for that OS.

Howl is probably the most refreshing editor I've run recently. Really recommend it for those in *nix platforms.
Indeed!

China has fewer emissions per capita, and the US has fewer emissions per dollar of GDP.

The obvious solution is to move all the people in the US to China, and all of China's economic activity to the US!
SciFi usually base military in space based on the navy, I wonder if this was considered or even makes a difference?
It's just a colloquial way of referring to it in a non-science context.
Humans aren't frogs in a boiling pot. If an IoT device shuts off the AC or heat, someone will notice before it gets to the level in which it will kill them. That would certainly be an inconvenience but I can't imagine a scenario in which it would be deadly.
IMAGINATION-POETRY
Assuming this was made in China, there are two sources of confusion that could lead to this mix up.

1. The letter 'A' and an upside down Y-shaped character share the same key on a Chinese/English key board. This could lead to an unintended subconscious relationship between these symbol shapes.[1]

2. The orientation of these characters abruptly changed on the ball graphic between W and Q, leaving the orientation of the Y-shaped letter unclear to someone with minimal familiarity of Latin letters. An upside down Y is also easy to confuse with the letter A if you are not familiar.

This all assumes that Axe was the first common-'A' word selected. Perhaps they postponed the choice of the common-'Y' word given it is challenging. After misattributing Y for A, then someone just added an Apple graphic.

[1] https://upload.wikimedia.org/wikipedia/commons/thumb/e/ef/St...
I'd be very interested to see how the techniques Google used in AlphaGo would fare if applied to chess.
Free LetsEncrypt and other SSL certs monitoring dashboard
It is quite deceiving to mention so greatly - and more than once - the slaves that where kidnapped by Europeans like they where a representative part of the slave trade, they were factually not. Portugal is without doubt a big culprit in the slave trade, but the African slaves themselves were basically all enslaved by other Africans and then sold to the Europeans. Portugal was also the first country to officially forbid the slave trade.

Portugal is quite at ease with the history of its colonial past and its role in the Atlantic slave trade, there is no denial or attempt to hide the historical facts and the slave trade and the role of slavery in the former colonies (specially Brazil) is well discussed during obligatory schooling.

All this to say I can't really understand why Lisbon should acknowledge its slaves to such great length as this post asks to, because in fact Lisbon had very few ones actually living there (it was not well seen in Catholic Europe to own slaves) and was mostly a point of passage (but then again, so were many Atlantic islands).

If you want to check the historical facts: https://en.wikipedia.org/wiki/Atlantic_slave_trade
Signing up for a contest that SCF promoted is completely different than signing up for the SCF service itself.

Big difference. I suspect you know it too.
Chip Hall of Fame
Yes - feel free to reply with something more substantial.
> No other modern military force has a separate "air force", because having it separate only complicates things when conducting a conventional ground war.

Besides the US: Turkey, Syria, Russia, Israel all off the top of my head have air force and ground army (along with, at least, a navy) separate under one "Armed Forces" command.

What modern air forces operate as part of the army, rather than separately (as most navies do)?
> Redux developers seem to say their issue with prior frameworks was that it was difficult to understand where state changes came from.

Prior to React/Redux we used two-way data binding with first kendo then Knockout.js in a non trivial SPA. It was a nightmare to figure out where certain change events came from. It became a big ball of (un)observable spaghetti. Now you will tell me that our problem was that we let it come this far, and I totally agree with you, but the whole app was started years ago by inexperienced web developers (they were C/C++ devs), then it grew historically into an unmaintainable monster. This was long before I joined the company, and my team is now like the 4th generation working on and refactoring that code.

Redux makes it laughably easy to figure out where state changes come from. Not only that, but time travel debugging is a thing. For the parts that are mostly React/Redux, we made a little debug UI for QA so that they can serialize the last n states, send it to a database and automatically link it to issues. It's still more or less a proof of concept and not as useful as it could be, because not everything is stored in Redux yet, but it did show us that once we are where we want to be it will be an incredibly useful tool to reproduce bugs. Besides that writing unit tests for React/Redux is also easy, compared to other libs/frameworks.

May I ask with what kind of technologies you've been working with so far? Because reading your comments gives me the impression you live in a perfect world, with highly experienced and disciplined team mates, with no problems what so ever. If so congrats, you've won the lottery I guess.
I don't think you're getting the point being made here. More choice also means more headaches like "do these two things work together?" which is not a problem in angular-land where you need very few dependencies that are not part of the core application.
Ubuntu Server Development Summary – 30 Jun 2017
Investors in Silicon Valley VC funds are pissed off
Come on. This was an obvious reference to the article that was hot on HN recently.

Also while you "can safely assume that butterflys are deformed when they are pinned", you can also safely assume vast majority of the world doesn't know that, and you can also assume many people might want to reconsider using a dead butterfly as a symbol once they learn the image doesn't show what they thought it shows.

AKA regular, friendly, and completely warranted pedantry.
Talked to the heating technician this week. Here in Germany heaters are set to 55-60 degree by default and it's advised to not increase the temperature or the minerals buildup will ruin the system very quickly.

Water hardness here is high, around 20 degrees, so your mileage may vary.
Spirit airlines. Also many airlines are rolling out "basic economy fares" that don't include food/drink/carry-on and compete with low-cost carriers, but run on normal flights. What used to be "normal economy" now requires an "upgrade" or "add-on" - ugh.
A guide to RESTful API design: 35+ must-reads
I like the idea of making use of the city's country flag. In terms of a design element, that would compliment the airline tail icons which I think are important to see from my perspective as a traveler. Thank you!
haha. thanks for spotting that. I really should proof these things :)
I'm on the internet, and it was not confusing to me.

Is google.reddit.com 100% confusing to anyone on the internet too?
By putting the "more guns, less crime" argument front and center, gun rights advocates imply that if more evidence comes out that contradicts that, the case for more guns disappears. I'm saying that the argument should always have been that guns are part and parcel of the fundamental right to self defense. Maybe they result in less crime, but even if they increase it, that is an acceptable cost for liberty, within reason.

I have no quibble with the paper or its conclusion. We should be clear-eyed about what costs we are willing to bear for liberty.
... because we have to defend the ehh hmmm satellites against cough ehm ehhh other satellites.

Nothing like a fourth branch of the armed forces to increase the biggest military budget in the world [1] by another few dozen percent.

[1] From https://en.wikipedia.org/wiki/List_of_countries_by_military_...

1. US 611 bn
2. China 215 bn
3. Russia 69 bn
MALWAREBYTES PREMIUM 3.1.2 DOWNLOAD FREE WITH SERIAL KEY 2017
No, the time complexity is the same: O(n log n). The author of the top answer links to his book, where you can find a proof of time complexity:

https://sites.google.com/site/algoxy/home/elementary-algorit...
It probably means more money for the space industry and other government contractors, which includes SpaceX.
>With that said, Naltrexone doesn't address the fundamental emotional problems that underlie most cases of addiction. So it doesn't do them a whole lot of good to force them to take it, without also helping them find stability, the lack of which probably led them to self-medicate in the first place.

Could just as easily be exposure and genetic predisposition, there's plenty of "stable" addicts.
I mean go is nice cause it uses a lot less memory than Ruby/Python/Node and in many cases faster. I use it for side projects on things I'd like/want and I wish sometimes I didn't need to reach for Django just to get the MVP going.
Show HN: Howl – A general purpose, fast and lightweight editor
I've got my own dreams of this being done through process portability enabled by CRIU.
Also, how that statistic goes? Each Google search costs burns them about $1 in electricity costs? ;).
Efficient rollup tables with HyperLogLog in Postgres
Oops. One customer lost. Nice way to market your company.
I think "Claim to solve" would be correct. There are other systems that claims to solve Zooko's Triangle as well, PetNames is one of them: http://www.skyhunter.com/marcs/petnames/IntroPetNames.html
Man asks Amazon digital assistant about the price of Lay's chips, is disappointed when it "has little interest in having a conversation about it" and wants to sell it to him instead. o_0
Quite frankly, your post makes me think maybe /r/golang is in fact toxic.

You fight accusations of toxicity with examples of the community being great, not with defensive and vague posts.
I think the evidence of incidents of old people dying when AC/heat fails is difficult to ignore, but to each their own. As I said, the threat is greatest to the very old and very young, simply because they are far more likely to be in the sorry position of being unable to do anything about the failure. In the case of Chicago, they largely were "frogs in a boiling pot".

Heat is one of the largest causes of weather based fatalities in the US.

http://www.nws.noaa.gov/om/hazstats.shtml

Similarly, just google "AC failure Texas" - it's a very real problem in hot climates.
Let's split this into two problems:

1) Access and control: I'd argue the likelihood here is comparable between IoT cameras and IoT thermostats.

2) Malicious application: You're correct that botnets favor no visible change in the host's functionality. However, there are ransomware applications of disrupting a home's physical systems that I submit should be considered before dismissing the idea out of hand. Coupled with problem #1, I think it could be an issue. Five years from now, we'll see where things stand.
Chess AIs work by basically brute force with some simple heuristics. Humans still have superior pattern recognition and can play without seeing that many moves into the future at all.

But now the AIs are gaining superior pattern recognition as well. AlphaGo beat expert Go players by training a neural network to recognize good Go moves. Just like how a human would play. And then it combined that with the computers natural ability to search millions of moves. Humans can't add anything to this type of AI.
Binary Capital’s investors accept Jonathan Teo’s resignation – and start searchi
Maybe not quite that extreme, but yes, I want academia to reward good software at least as well as it rewards mediocre papers.

NumPy is unusual because it's so broadly useful: physicists and neuroscientists can use it (like original authors), but so can quants and ad analytics folks and other people with serious budgets. Enthought and Continuum exist because they can tap into those markets, and, as a result, Travis (&ct) ended up doing very well--and justifiably so. However, most scientific software is more specialised or lacks this industrial backstop, and I don't see how they could follow a similar path. There's no serious industrial application for spike sorting, for example, but it's very important to neuroscience research.

I'm not sure I understand your concern about throngs of dishonest people, or least how it is any different from the status quo.

I am not imagining a system where money and jobs are just thrown around. Instead, I just want minor changes in hiring and funding. Academic promotion/hiring already weighs a bunch of factors: publication record, funding, peer evaluations, teaching, and various forms of service. I think writing and maintaining a widely used software package is currently under-valued there. Maintaining very popular packages might be treated as editing a journal, another form of academic service that does seem to count for something.

Similarly, it is (comparatively) easy to get money to develop new methods and write some code implementing them. There ought to be a complementary funding stream for maintaining successful packages once they are written. You could imagine a BAA-like process where applicants say, "My toolbox was downloaded 2,182 times and cited in 378 papers last year. However we've got a bunch of open issues including integration with X, Y, and Z, missing documentation for A, B, and C, and so. I want...20% salary support to work on this over the next year and $10,000 for a freelance technical writer." As with other grants, these would be evaluated (potential impact, proposer's track record, interactions with other funded programs, etc).

I realize there are alternatives. Stephen Wolfram essentially took Symbolic Manipulation Program "private" and funded Mathematica development by selling subscriptions. It worked for him, though I think that's asking people to assume a huge career risk or change that they might not want.

I wonder the SageMath guy ever considered something like the NIH's SBIR program (a scheme for setting up small businesses based on research).
Ask HN: Who is your startup banking with?
I'm in the middle of starting "The Latest Greatest Thing"TM and am looking at bank accounts. My first company has banked with a local credit union for the past 5 years but the service has been lackluster and we pay $10/month for the privilege. Not a lot in the scheme of things but the it's the principal of the matter.

Does YC recommend a particular bank? Any advantages/disadvantages to anyone? Thoughts?
Redfin S-1
In 1.7 cloud controllers are already on their way to run externally.
When I looked at this, my immediate reaction was how awful long the files are. A programming language's community should encourage smaller files that do one thing.
Show HN: 42Wallet – An Ethereum HD wallet that's secure and easy to use
"ever have and never will"

Except you do.
ARM has some distinct problems for consumer use:

1. Historical tight coupling of components (necessary for SoCs in embedded products such as Smartphones) means there is no standard to build an ARM PC. This means vendor lock-in, difficulties upgrading, and even more proprietary blobs than you get with PCs.

2. No desire by vendors to change #1. PCs being customizable and piece meal upgradable is something that vendors would like to go away. Samsung and Apple would love it if ARM desktops took over, they make their own ARM chips, they would sell you a computer with 16GB of soldered on memory, 256GB of storage built in, and if you wanted to change that you'd have to buy a new machine. Want a new graphics card? New machine. Imagine all the nightmares of laptops, except that every computer is like that. For corporate, professional, and enthusiast users, this is very bad.

A lot of the scenarios you talk about are actually possible today, indeed demos of those scenarios have been floating around for ages. The CPU architecture is not the hard part, both Google and Microsoft's app stores have packages that run on both x86/x64 and ARM just fine. Real problems are things like real time syncing and collaboration, real time migration of entire app state from one device to another, and creating a good user experience around this.

Making a cool demo where one app transitions from a smartphone to a PC screen is not that hard, and you can see many tech demos of that uploaded to YouTube. Making that work across all apps, in general, and making an app UI that works just as well on Mobile as on Desktop and maybe also on Tablet, that gets harder.
I've always loved this kind of stuff from Quora, for example:

‪https://www.quora.com/Suppose-I-just-stole-2-billion-dollars...
Please try Concorde's First Class membership free for one month using the coupon code "firstmonthfree", which is available to all users.
> The reasoning that they can pay means they should is almost defining corruption, and an easy way for a govt to get money.

If the system is good enough for you to make hundreds of billions of some years, yes, you should expend a lot to conform with society's needs.

> You can't ignore the complex design off millions off people streaming millions of text inputs daily and checking it all 100%.

You can't allow a company to have so much power over millions of people just because it is difficult to make it conform and keep working. Guess what, find a better solution. The world is not 1% better with all this live Facebook BS, I'd not give a care if it was all shutdown. It is not a free speech problem if they are exploiting it for their own benefit.
I hear what you're saying, but it seems like this is potentially a problem only in cases where you are devoting significant resources to sorting. Like if sorting takes only 1% of your CPU time, worst-case input will only bump that to 4% - and that's only if every user starts hitting you with worst-case requests. Even if you spend more, it's a question of how much work can the malicious users cause you to do.
We're all fussing infants, to be truthful about it.
They're not profitable but a lot of their expenses are capex and investment: https://finance.yahoo.com/quote/TWTR/cash-flow?p=TWTR

In theory if they halted their investing activities they'd be profitable.
It's a similar argument to digital vs physical in other areas. Ebooks vs real books. Evernote/Notes vs a real notebook and pen.

There is research which says our minds react differently to the physical world than to the digital one. So from the idea it follows that using a Vinyl itself may not be better/worse than digital, but the mental state you enter into because of the higher activation cost (decide to play music + go to place where music is + select music + play music + go back to place to relax) as well as the reduced control (requires significant movement to pause/play/go back/go forward vs a digital device in close proximity) that it makes a difference in appreciating the music that is playing because of that investment of energy.

If you play something on Spotify you just aren't invested as much and aren't as likely to pay as much attention to the song as you would if you had invested that energy into playing it on vinyl.

So not so much that you can't do it with modern mediums, but that the modern mediums are not designed to inherently provide that feeling or bring you to that mental state.
First man to die by electric chair died slower than Thomas Edison expected
I think brute force (coupled with powerful heuristic of course) is the optimal way for increasing strength of chess play in engines. It has long ago surpassed even the best humans anyway.

What is interesting to me - and really underexplored at the moment - are chess engines that are more human-like, but not for their strength of play. They might be a tad weaker, but much more useful for humans.

Such an engine would be able to annotate (human) games reconstructing most likely intentions of the players - which is what a good human annotator does.

It would therefore be able to teach humans by identifying their specific weaknesses on conceptual level; not merely highlight bad moves.

It could truly play like a human for entertainment or training - current chess engines suck at it, you can weaken them, but their mistakes won't have the same feel as blunders made by human opponents.

Such intelligent chess engines might be able to perfectly simulate playing style of human masters, living or deceased (based on recorded games of course) - so one day we might find a fairly probable answer to how exactly would a 1975 Fischer-Karpov match play out : )

Or generate beatiful, breathtaking games on purpose (there's already been some research devoted to evaluating beauty in chess, eg. https://en.chessbase.com/post/a-computer-program-to-identify...).
Monte Carlo Tree Search isn't quite suitable for chess, because it's really only a substitute for games like Go which don't have suitable evaluation functions. If you have the ability to write a good evaluation function, as in chess, you don't need to do the "simulation" phase of MCTS. As a result, you basically just use the "tree" phase, but in conjunction with adversarial search heuristics.
> No other modern military force has a separate "air force"

The UK has the same high level structure as the US (A “Naval Service” including Navy and Marines, an Army, and an Air Force.)

It's a fairly common structure.

The Chinese PLA actually has more services (Ground Force, Air Force, Rocket Force, Navy, Strategic Support Force.)

There probably are modern militaries where one of the top-level divisions isn't something like an air Force, but they aren't dominant among modern, large-scale forces.
I tried a scaleway arm8 server and performance is ok. 35€/mo for 16 cores at 500 Mflops on scimark2 whereas my mbp i7 does 2200 one core, 1700 all four, so on such a parallel workload, arm server outdoes a quad core i7. Ec2 pricing for similar performance would be higher Id expect.

That said, single core performance is far lower than x86. With high core counts it makes sense for HPC work.

I'd really like to see a good OpenCL implementation for arm.
I am totally with you on WebAssembly, but I think this is a valid point that can't be swept under the rug.

Screen-readers operating against native applications aren't even close to their utility in browsers. Easy, reasonably universal text hooking is only possible on Windows and some OSX applications and while screen-fetching is universal, it yields extremely poor results in comparison to hooking. Very popular applications occasionally build Narrarator, sythesisprompt or NDK support but today "the web" (specifically HTML) is a much, much better experience for the visually impaired.
Generally cheat sheets are something you print out and put on your desk as opposed to having to search for official documentation. Because of the maximum size requirement, short and snappy references to functions / arguments for commonly used parts of the libraries are essential.
It can't be just about "nostalgia", because it's growing popular with teenagers of today.
I think it's interesting that you get 1 UET (~.01 ETH)for every previous transaction. It's a problem because it encourage to wait until the last minute and try to get as many worthless useless tokens as possible. This is a bad strategy to get a successful ICO because it encourage the marks to wait and have time to think instead of committing as soon as possible.

Also, it's possible to get a side benefit from this, because instead of a big buying transaction you can split it in many small transaction and get additional worthless useless tokens. I'm not sure if this consumes more gas that is discounted. If you split the transaction in N parts the amount of additional gas is O(N) but the additional tokens is O(N^2) (at least initially), so at some point you must get more tokens. (I'd like to read a complete analysis about this, with the actual constants.)

Anyway, just in case: This is not financial advice.