skysight-inc/HackerNews huggingface dataset:
It's easy to formulate 3-SAT as an LP feasibility problem. The problem is that you need solutions in which all variables are either 0 or 1. That makes it an integer or 0-1 LP problem and such problems are NP hard.
What should I learn instead, if I have an nVidia GPU?
Tcpdump for president!
جاذبه گردشگردي شانديز در مشهد
But malloc() doesn't always signal failure with a null in many modern systems. It will happily return you a region of unpopulated virtual address and then SIGSEGV you when you try to use it. (With overcommit).

I think we can leave VLAs in the "trust the programmer" category. Very handy with bounded sizes; it keeps you from wasting all those warm cache lines.
Not the OP, but its an English idiom rougly meaning everyone loves sausages until they see what goes into them, at which point they lose their charm.
Yeah this is a common complaint. I don't have direct experience with NaCL/libsodium or Keyczar but check them out. Do you mean a bitstream-compatible thing, or a GPG/PGP alternative?
How many do you think is the right amount then?
Travis CI and Circle CI push code to a staging or production environment. So you still need to setup a full-stack environment to do end-to-end testing.

Runnable let's you have end-to-end (full-stack) environments with every branch. The minute a branch comes up, you have an environment. This includes a clone of your database
Exactly, every container developer configuring their own init process/process watcher is a recipe for zombie systems that are sort of running but totally broken.
A Guide to Content Types: A Drupal CMS Guide for Marketers
Well, the project solves a different problem than the project's name does..
I am a NYC native that left for the warm weather of Los Angeles. The city has a long way to catch up to pretty much every city of its size, but he has done more in the past year than NYC has done in decades.

It is hard to critique the NYC subway since it does cover a lot of ground and it is 24/7. I have been to cities like Tokyo, and I still prefer the subway (commuter and long distance trains is another matter). Only one company, one fare, very simple.

"Can we add transit on par with European counterparts?"

Has the author ever been to Europe? The NYC subway is far bigger than the London Underground. A really quick search found the following comparison:

http://www.timeout.com/newyork/travel/infograph-the-nyc-subw...
Are there any other visualizations like this? The growth of poor developing countries into something resembling a modern one is insanely fascinating
Cool! Two suggestions:

- make it clear on the main page where you currently operate (I see from the FAQ that it's Can/US).

- provide quote estimates for both types of bus, since it's hard to figure out even a ballpark of what it would cost
Just give it a try and I think even if it's a limited subset of js it's still worth the try. If I can code in js on erlang vm for making distributed apps then it's going to be fun. Plus noobs like me get to know some stuff! Just ignore the naysayers and go for it! :D
A very astute and logical analogy that hadn't occurred to me. Thanks for the nice, concise write up.
Great work, although I wish they hadn't reused the terms C100K and C1M that have been used to refer to holding many TCP connections open.

The timing is an interesting coincidence given recent work on K8s scheduler scalability: https://coreos.com/blog/improving-kubernetes-scheduler-perfo...
See the various threads about the change, tons of alternatives are discussed/advertised: https://hn.algolia.com/?query=Mandrill&sort=byPopularity&pre... / https://hn.algolia.com/?query=Mandrill&sort=byDate&prefix&pa...
Oh, Stargate- man i remember that- i got that idea for that city-traint wriggling itself through the gate from one wormhole to another from this. Great Inspiration.

https://springrts.com/phpbb/download/file.php?id=9695

Brilliant show. Strong science attitude of anything goes, if you put your mind to it. Also actual c++ code when "Hacking" was done.
> And then they went ahead and tried to get a defense contract from Pentagon anyway.

Source for that?

> In fact, about 3 months after they said that, they started wanting to sell Google Glass to the military

Source for that?
A real life Ayn Rand story.
It's a good one to know about. Thanks!
Agreed. Similar results here over the years. I shouldn't bash EC2 so hard, but they also shouldn't keep the same uptime estimates when they have degraded over time. My developer made it all pretty clear to me with a statement "if you tell me the strengths and weaknesses of the system, I'll code accordingly" Great developer, can overcome EBS failing with 3-9's, but only if they state that and not 5-9's!
Wikileaks just made Hillary Clintons emails searchable
Important bit from the article:

> the solution supported by the NSA—its SME PED (Secure Mobile Environment Portable Electronic Device)—was hardly BlackBerry-like. SME PED devices are based on a secure version of Windows CE, and they're only rated up to "Secret" classification. And as Clinton was taking over at State, the SME PED was only just becoming available.

It sounds like at the time that Clinton was moving into State, there was, literally, no good solution supported by the NSA for mobile email use.

Which considering it was 2009, and mobile email was already prevalent with Blackberry, iPhones/Androids, etc, is well, maybe par for the course for government entities.
And? Your argument is that because we've been doing it for a long time that makes it legitimate? Or not worth replacing? Thankfully nobody thought that argument applied to, say, peonage, or leaded gasoline.

Moreover, it's not actually been a dominant form for funding of content creation except for a few decades. This model is very much historically unusual, but there are many interests behind pretending that it's a natural and indeed rightful state of affairs.
Should be Emacs', not Emac's
Facebook's real identity concept works well when communicating with ones family and friends.

However, most of everything else, people will slowly come to the realization that it's not a good idea to use real identities.

Reviewing a restaurant or small business? Probably not a good idea to leave a lifelong trail of clues about oneself.
> Sometimes the "no" exists for a reason. Users don't understand this, and want the path of least resistance. Which is why policies exist for terminating such users from organizations.

I will say that, in my experience dealing with government and DOD contractor security, is that they often fail to articulate the reasons. Users should understand, at some level, the threats you are trying to face. If someone comes to you for permission to do something and your "No" is backed up with nothing more than "That's the policy" or "Because I said so" you can expect them to be much more hostile to it and more likely to go around it.
Type hints – a mediocre programmer's reaction (2015)
And, of course, an economically useful anthropomorphic robot has to be dirt cheap, as well.

Indeed, people talking about this subject often don't realize that humans are really cheap in many if not most circumstances (Boston Dynamics is working on poison-gas-protection-suit testing robot. Finally figured out a job a person wouldn't do).

And it's an evil equation where once a given task is mastered by robots, it makes humans cheaper in many other tasks - because it increases the competition and because it decreases the cost of maintaining the human.

So we've seen incremental automation and steadily declining living standards. Not a world that screams out the benefits of technology.
Get Smart: Brain Cells Do Regrow, Study Confirms (2000)
I use personal accounts at work. If texts to my wife are a problem, sure have at it. I'll start circulating my resume.

Luckily I've never worked at an organization that wanted to own my life to that extent.
IMHO, Moore's law could continue, but with a period of time where it is interrupted. In other words some years where it is polynomial instead of exponential and then it will return to moore's law. This is based on the idea that there will be a time requirement to shift paradigms.
Well I did see a YouTube of him at a Google conference around 2014 or so, doing some power points and taking questions from people.

Here, I found it:

https://www.youtube.com/watch?v=MG_nOddk01E

("biologically inspired models of intelligence", I/0 2014)

That's not the robotics domain per se, but if you're the director of engineering at Alphabet/Google, you probably have opinions about robotics.

I'll welcome any material news about him in our our thread, the more recent the better.
It's highly unlikely a fully physical key could be developed for a digital system that would have sufficient security not to be exploited by bad actors that have physical access to the device.

Given that it's likely that fully physical access is unlikely to be a necessity to make use of the backdoor. Thus it's fair to assume it could also be exploited (or used "legitimately" by law enforcement) remotely - even if it is primary intended to unlock the device they have seized it physically.

Backdoors of any description are simply impossible to implement securely.
True, but none of the 14 listed principles is absolute. C2x compilers probably would (and could be encouraged to) accept old-style declarations and definitions in some non-conforming mode. They could even be accepted in conforming mode as long as the compiler warns about it (only a diagnostic is required).
Eh, I figured everything I did on the corp network was visible to my employer, but I also didn't care for the most part. If I'm going to post on Hacker News or Reddit, it's on the public Internet, and so having corporate network monitoring catch it is the least of my worries.

I just figured that the best defense against getting fired is delivering value to my employer; they didn't care if I take a HN break as long as my overall productivity stayed high. The same applies now that I'm self-employed, too.

I did tend to use my phone for personal IMs & emails, but that was because we also used GMail for work, and I didn't want to bother with having an incognito window open all the time.
This is a Common Lisp version of the Xlisp-Stat core from 1996:

http://homepage.stat.uiowa.edu/~luke/xls/xlispstat/other/CL/
Excellent article Alex! I'm actually rather amazed that this connection wasn't more readily apparent to me. Nonetheless, I think you didn't address the distinction between B2C and B2B business models. Excel is both a B2B and B2C product, where Facebook almost exclusively serves just B2C (who among us solicits business deals using Facebook?).

If your SaaS is targetting B2B then Facebook is a non-issue. It goes almost without saying that Facebook has no teeth to eat your lunch.
Using Slack to Monitor Your Integration
> Tearing down in the success case is a feature, not a bug!

I guess it is if you are thinking of this as C++ RAII destructors, which is indeed one very useful case.

It's not useful in some other cases. Like imagine that you are writing the C equivalent of a constructor. If you initialize half your members and then run out of memory, you want to uninitialize only the members you managed to initialize already. attribute((cleanup)) doesn't help with this case.
A global experiment in co-living
By "rule" I was referring to the criteria by which exceptions were granted. I'll grant that wasn't clear in my language, but that's what I was driving at.

Because [the] POTUS has a national security need for immediate communications because they're the head of the military, have access to the football, and may need to make key strategic decisions).

The Secretary of State's job is also quite important, you know. They're also pretty high up in the chain-of-succession for direct access to the same duties as the POTUS.

Or they received an answer but either didn't understand the answer or just didn't like it. ... I'm sure the NSA gave them a full report on why cellphones are risky and how they can be compromised. But I don't know if that information was received by state or understood.

Drawing from the trove of recently released emails, the article itself says that most likely they were informed of (and understood -- or at least her staff understood -- the risks of) using private cellphones ("her staff was fully aware of the security risks associated with using her BlackBerry.") What they didn't understand is why a modified cellphone was considered a secure enough solution both for the POTUS, and for the predecessor SoS -- but not for the current one.

As to whether Clinton herself really understood the risks, or she did, why she continued to use a non-secured device, anyway?

That I don't know -- and I won't offer any defense for, either.
For building clustered backend services, messaging is great. And Django Channels looks awesome.

However, in the context of the web (the client/server boundary), I think we need to be careful about how messaging is used. The web is made up of resources with URLs. HTTP is typically used for data transfer, and for good reason.

I sometimes see webapps communicating entirely over WebSockets. I don't mean just the realtime push part, I mean everything, request/response traffic and all. I understand that HTTP is suboptimal in certain contexts, but let's not throw the baby out with the bathwater.
>> I think everyone's sat at a light and gone "damn, why don't they do X to make this more efficient?"

After doing that countless times, I'm convinced that our roadways are laid out all wrong. The average speed on the EPA city drive cycle is just shy of 20mph. The reason for that is in large part due to stopping or waiting.

Think about this, to be efficient you probably want easy access to the routes you're going to be using soon. The most obvious road you'd want is the one in front of you, followed by branches to the left or right. The LAST direction you're going to want to go is back the way you came from, and yet we place traffic in that direction right next to us. Now if you want to make a left turn (right in the UK) you have to stop and wait to cross that traffic. Yes, this is an argument for one-way streets.

I've been pondering ways to cover large areas with one-way streets that are still efficient. If you can design things with no conventional intersections (or roundabouts) but with lots of branching and merging type things I think it can be a win. Even if your route is 10-20 percent longer, if you can drive more than twice as fast on average it's going to be a win. And with higher average speeds you'll spend less time on the road, and that means fewer cars on the road at any given time and a reduction in the number of lanes needed to support traffic.

Unfortunately we'd really need to design a city from scratch to get the best efficiency. And there would need to be rules enforced - like not putting shopping centers right at the intersections - that may be unpopular.
The big question is if other frameworks will adopt this ASGI/Channels model also, or will it remain a Django-specific thing.
dude! rss feed!
yeah... For a moment I thought I was reading an excerpt of "Atlas Shrugged"
One thing that usually follows is the lack of consequences for bad decisions.

I've noticed shareholders are more aligned with letting heads roll than politicians and voters unless it hits extremes. Most corporations would nip it in the bud early or die trying.
That would cover emails sent by her - but not emails sent /to/ her - which arguably if they were classified never should have left the email servers hosted by Department of State/General Service Administration.
Perl is not dead – it was early web novices who gave it a bad name
Roombas run on NiMH batteries.

The PR2 I discussed in the blog post does indeed have a lithium ion battery pack. It has a 1.3kWh capacity, (188 times bigger than an iPhone 6's battery! Probably part of the reason the robot massed 220 kilos) which gave it a rated... 2 hours of runtime.

Lithium ion is better than earlier battery chemistries, but it's still not very good: https://upload.wikimedia.org/wikipedia/commons/thumb/c/c6/En...
See also: @Actually_HN
With the Excel metaphor, I wonder if a better comparison might be craigslist. That's more of a utilitarian swiss army knife that's generally overlooked, but which a lot of social services are indirectly competing with.
Again, I see no defense whatsoever for the course of action Clinton ultimately took, both in regard to her BlackBerry and in setting up her personal email server.
yeah, it's always Mother Earth's fault.

Same thing everywhere.
Converting the brain's structural cells into functioning neurons (2014)
Securing the blackberry is a red herring. What they wanted was a functionally equivalent mobile device. If providing such capabilities isn't exactly what the NSA should be doing, then they shouldn't exist.
The B2B Facebook solution: https://work.fb.com/
Deploying and migrating Elasticsearch with Docker
That's a very cool system. I suspect that Vanhawks (http://www.vanhawks.com) will attempt to do something similar, though they're starting with a smaller data set and just started shipping bikes a couple months ago.
Are Successful Entrepreneurs Smart or Lucky?
"How the sausage is made" is an American idiom. Generally, it means "a process that makes a good thing but is chaotic or messy".

We say this because sausage is tasty, but most people prefer not to see all the animal parts being ground up and stuffed into an intestine.
We Other Puritans
Bill Gates: I agree with Elon Musk and Stephen Hawking about artificial intelligence
> by injecting mice with viruses carrying a short piece of extra genetic code, scientists were able to coax structural cells, called NG2 glia, in the damaged part of the brain to develop into neurons. These then grew in the injured area and were found to be capable of receiving signals from neurons around the damaged area.
Facebook’s Messenger Bot Store – The Most Important Launch Since App Store?
I'm not sure if it was explicitly addressed in the show but I believe it was a tweak to the gate control. Another bug squashed!
requests is built on top of urllib3, BTW.
iOS developer for hire
No. Argentina, Brazil and other latam countries really do not need donations. Venezuela is a very rich country that actually have the second largest oil reserves, ironically. It would be like donating stuff to Saudi Arabia.

Our problem is rampant corruption, populism and mismanagement derived from it.

Brazil is trying to get out. Argentina is out of it, lets hope is not too late.
For Venezuela is already too late.
I don't know if there's ultimately an analogy in the deeper mathematical structure, but the difference between the logarithm problem and the discrete logarithm problem comes to mind. On the one hand, in both cases it's "just" finding the inverse of an operation over a field. On the other hand, numerical approximations of continuous logarithms are straightforward and quick to calculate, yet discrete logarithms aren't.
As I read it, this blog isn't about microservices vs monoliths. Microservice doesn't mean "more than one process" or even "very small processes".

From the microservice perspective a single service is supposed to be a vertically integrated set of functionality all the way from data to the UI, instead of horizontally segmenting API services and UI. Horizontal segmentation doesn't give the same team-scaling benefits since it still takes significant inter-team coordination to deliver functionality.

So the example is really a single "service" that just happens to include multiple processes.
Haze on Ceres – Behavior of mysterious bright spots on surface suggests water
When you're a contractor, you often dont have that advantage - if for example all of your co-workers (and managers) violate policy in the same way, you're left being the odd man out, which does not bode well for your employment future. That said a large amount of "I cant because I'm locked out" was tolerated - if for no other reason that managing the account circus was too much for any one person.
This was what I was thinking when they first bought Boston Dynamic. Boston Dynamic was a huge DoD contractor. When Google bought Boston Dynamic, they explicitly said that they do not intend to be a military contractor and was expecting the existing contracts to expire [1].

The contracts that Boston Dynamic had with DoD expired in March 2015 [2]. My guess (BIG UNEDUCATED GUESS) is that the DoD doesn't take too kindly to its contractors not renewing its contracts and these military contracts contradict the corporate culture of Google. What's interesting is that they sold Boston Dynamic exactly a year after the DoD contract expired (donning conspiracy hat).

[1] http://www.nytimes.com/2013/12/14/technology/google-adds-to-...
[2] http://upstart.bizjournals.com/companies/innovation/2015/01/...
And I agree with Bill Gates:

"I think it is worth discussing because I share the view of Musk and Hawking that when a few people control a platform with extreme intelligence, it creates dangers in terms of power and eventually control."
I think this is a serious overestimation of how much people use Facebook as a piece of professional software. And no serious business is going to have a Facebook page without a website -- your competitor there is self-hosted WordPress, not Facebook.
A lot of people make stupid cases. Should giving birth be dangerous so that people are reluctant to have unwanted children? Should sending email be dangerous so that people receive less viagra spam?
People who bitch about a double standard are childish. Yes, the people at the top make the rules (or change them to suit them). Does that surprise you?
Except that it was Hugo Chavez that gave the speeches lasting hours.
FWIW, I was thinking of the PARC analogy as well.
Because when "we" can't do something it's for reasons that are varied, nuanced and entirely justifiable.

When "they" can't do something it's because they are malicious lazy idiots. Obviously.

It's illuminating how someone treats other professions that intersect with their own. If one security team acts in a way you disagree with fine. But if you view all security teams as inherently obstructionist, then that tells me you are self-centered or cut corners. Similar if you always have problems with HR, Accounting, etc...
Was the push towards humanoid robots a PR gimmick? I would think the ideal robot would look very different than us and not have the limitations that our bodies have. Airplanes don't flap their wings.
Venezuela: Black-market toilet paper
I agree that user education is required.
Facebook Advertising Consulting
Train for a specific task? No. But train to be able to acquire new skills, yes. For example, I have explained the basics of Go to my 5yr-old, but he will need years to be able to develop sufficient abstract thinking, patience, etc. to actually play.

Schooling is not primarily intended for academic training, at least until post-secondary levels are reached. Instead, it's primarily about socializing, instilling rule-following, reinforcing social roles, and so on.
Actually, the usual approach to information security in a SAPF/SCIF is that computing resources are fixtures.
FWIW, I think Erlang gained SMP-support at least ten years ago.

And running multiple Erlang VMs on one machine - from the Erlang application's perspective - is no different from running them on several machines. The really nice thing about Erlang is that it scales across multiple nodes very smoothly.
It certainly wasn't sold as "not about performance". Performance was blamed on things like floats in the past, and flexbox was supposed to solve the needs without sacrificing performance.

Now you're saying that CSS needs to be revamped. Great. Anyone working on that? Either way we're looking at, what, 5 years minimum before first browsers have this new thing that's really about performance this time, for real.
Okay, check this out: DataFlow programming for Julia
https://github.com/MikeInnes/Flow.jl
If I read the situation right, this is just a way to drive adoption and stress test WebAssembly, which itself is a multi-vendor initiative; much bigger than Mozilla.