skysight-inc/HackerNews huggingface dataset:
"He's been fighting the Robin Milner school of thought, or PL semantics in general since at least the early nineties. "

What does that mean for those of us that follow the formal methods at a high-level?
He means in those countries. For example, in Vietnam the avg dev makes $1000/year or he could hack and make that in seconds.
> A billionaire heir getting elected by spending his millions

I don't think that's an accurate way of describing his campaign. The campaign funding includes donations to the campaign in those figures. Only 22% of Trump's campaign funding was from himself, while 27% was from small individual contributors and 15% from large individual contributors. Clinton obviously had much less self-financing (0.27%), while 18% was small individual contributions and 53% was large individual contributions.

The 'someone else' in my post is money spent outside the campaign altogether from superpacs. SuperPACs are associated with 'big money' but to my knowledge there's nothing stopping normal people from donating to them.

Unfortunately, your underdog story is just not viable in a democracy of three hundred million. A common citizen, as you put it, simply has no means of getting the attention of enough people, and standing out from the crowd, without money, or to raise that much money. Even wealthy, well-known non-politicians have trouble with that - you see them pop up sometimes in the primaries. There's a reason most American Presidents were already politicians.

If you add your email to your profile, maybe we can talk about it offline? I'm interested but I have a hard time seeing how we can have national politics without money playing a big role.
There are a few comments questioning the journalistic abilities of the article and despite that they did mention that someone else with more resources ought to take over, they could have done a bit more. A few days ago I came across a youtube video regarding this protest. It showed Peaceful protestors getting shot by rubber bullets, attacked by dogs and I don't remember what else against a heavy militarized police force. Wanting to know a bit more, I was surprised how good their website looked. And also, under special cases like this one, instead of criticizing certain pain points, support in any way should be given. Whether it be fact checking, increase awareness, whatever. What I saw on that video should never happen, anywhere, no matter the reason, and much less over the protection of WATER.
The parent poster already referenced "unsafe at any speed" so I think they are already aware of the car analogy :)
The algorithm was a clustering algorithm, and takes as input the number of clusters desired. The researchers put in 50 clusters, so at some point the algorithm declines to separate sparse regions, because the separations are better used elsewhere.
These are the people we don't hire or if we communicate will with and they seem teachable this is always are first test and step for teaching. I use to be suprised how many college grads come out with a blank face when you ask them about string cleaning or binding and MOST have worked some small internship at a business which means they created a CRUD with plenty of sql injection working for cheap instead of learning.

Side story had to yell at a new employee this year for obsessively posting to stack queries like this instead of asking the senior devs. I've asked 5 stackoverflow questions over 6 years and answered 61..if your asking 3 a day you need to rethink things.
I remember seeing the VISA security centre, where they monitor threats etc. It was a huge high tech facility.

I would think that they flag if a card is attempted a lot of times in short time span.
Opposable thumbs, most likely.
I believe your analysis to be flawed.

Confusion and fear are the actual tools being utilized here.

Blocking some service, and targeting others is exactly the type of attack that foments both fear and confusion.
Human ancestors got access to fire at least one million years ago. And with it it is trivial to cook starchy roots by baking in ashes.

As for the need for agriculture consider that single modern day hunter gatherer in Amazon forest can within few hours get enough starchy vegetables in a forest to feed at least 10 persons.
Indeed, even though a couple popular cryptographers have vouched, it's still not the classic definition of peer-reviewed for something that ground-breaking.

That aside, the MPC (Multi-Party Computation) setup is more of a security theater than actual security. It completely goes against of what cryptography is all about and I'm puzzled as to why any cryptographer would base their system's security in such a way.
No permission seems to be required to listen on a call being done:

https://developer.android.com/reference/android/telephony/Ph...

There's one permission (READ_PHONE_STATE) required for some other methods, but it is different from the permission to initiate a a phone call.
In the UK there was a redrawing of county lines back in the mid 70s.

States do have the mechanism to self-divide. So far this hasn't happened but there have been proposals "State of Jefferson" in Norcal South Oregon. When people think Cal has too few senators for it's pop., one solution is to divide.
All true, but I just don't see it supporting your original assertation that PHP devs collectively think a certain way. Support for those two databases, in web applications, is not unique to PHP. I see plenty of golang, node, ruby, python, etc, code that supports them.
I have not used ProtonMail myself so I can't help you there I'm afraid.

While I use Fastmail with my own domain, it is not self-hosted. My MX records point to Fastmail's servers.
Hmm, not very responsive for me (iPhone 6 safari iOS 10)
I had a card one that was three of the same. Obviously an anecdote, though.
Pro-Brexit Daily Mail now worried Brexit may affect its profits
It seems that by "permutation" they mean what a mathematician calls a "subset", or a computer scientists calls a "bitmask". Essentially they found lots of evidence that animal brains implement demultiplexers?
The news and discussion are top quality. It's the only website I participate in and while my contributions are not the most useful, I feel like I have a voice in this community. For someone who finds it hard to "fit in", this is really amazing.
Thanks, we've updated the link from https://www.nanog.org/meetings/nanog48/presentations/Sunday/....
It does not. I really hope they add the feature soon – in the meantime I use gpg on the commandline.

I've been tempted to add the support in myself, however I do not have any experience with the elementary codebase or Vala, so a cryptographic system would be a very poor choice for a first project!
Escape key alternatives in Vim
VirtualDJ Pro 8.2.3471 Free Download and Review by Atomix
Sounds like the Kansas City region that is bisected into KS and MO, with both states offering tax incentives for business to move. Some business flip flop locations every few years. It's the border war all over again. I live in KS and work in MO.

http://www.npr.org/2016/05/05/476844402/jobs-tug-of-war-kans...
Ironic Predictions – Startups and Markets
Wouldn't it make sense to strip out a lot of unnecessary code to get to the point faster and allow others to reproduce the issue at hand easier? Just because the question is omitting validation and sanitation doesn't mean it has flaws. Isn't that the nature of SE questions? If your question is about a piece of logic deep down in your stack, you're likely not going to post 3 layers of code above it.
It was an interesting article. Neat how one scheme was inspired by a bakery. The concern with the red light happened to me. Its timing was odd where I wasn't sure if I'd make it or not but on a road with a high speed limit. I decided to brake at the last moment. Should've worked but tires were bald. I landed in the middle of the intersection with a police officer to my right. So, the "hypothetical" example of Lamport cost me money in the real world. ;)

However, I reject his notion that computation is basically digital, step-by-step process. There's actually at least two models of computation where one is continuous. I gave a lot of detail in the link below:

https://lobste.rs/c/zyj5e1
It seems to be the classical first-grade-teacher mentality: "look at this shit people used to believe 1000 years ago, they were so stupid!".

But if and when you go there and read the work in which these old people said what they believed you got convinced -- and you barely know that you are convinced of the same points you in the past found ridiculous under the guidance of your primary teacher.
Dupe of https://news.ycombinator.com/item?id=12872304
How does the electoral college play into this?
Time to file an ex-parte review/challenge.

That's gonna cost about $20-40,000 although it'd be somewhat less for a micro-entity.
> "So, this is probably half paranoia and half correct. It's hard to know which parts are correctly diagnosing the symptoms, however."

If you believe the story, then tech-savvy people have caught attacks whilst they were happening (the article mentions they spoke to someone that demonstrated a Wireshark re-enactment of ARP attacks performed on networking equipment at the camp).
I took 36-402 with Shalizi during my final semester at CMU and liked it a lot. (although the homework certainly took awhile!)

Notably, it used just as much coding in R as statistical theory, which was good for me since I was a coder, and less good for the majority of the class. :P
That doesn't make any sense...
The article fails to mention that Standing Rock is currently a very cold place. From what I can tell, it's been below freezing for weeks now.

In those conditions, batteries can drain much faster, report capacity incorrectly and then fail unexpectedly. It's probably magnified by all the extra work the radio has to do to find and hold a signal from the overloaded rural cell towers.

https://www.getorchard.com/blog/iphone-battery-dies-in-cold-...

And anyone who's used a phone in extreme cold with gloves on knows that touchscreens can do a lot of weird things, including opening apps unexpectedly.

My hunch is that a large part of the reports are hearsay by visiting protestors who aren't used to the conditions.
Thanks, my bad. I didn't know they tried it in 5.2.
In a world where both large Internet companies and governments collect meta data, possible collect more than meta data, set up fake cell towers, etc., I think it is naive to not think that they are also collecting statistics on the use of encryption.

Perhaps you misunderstood me?
Ask HN: How does a Bitcoin based voting app works?
I've been thinking about this for a while. From my understanding, each vote cast would create an entry on the global blockchain. But the minimum one can spend to create a node is a Satoshi, which is frowned upon on the community, and even so when you get to millions of votes, it'd become a bit expensive to keep the app working. Did I get this right or is there a better approach to scale?
Critics claim that this simply tied the oxcart to the fossil fuel train.

I'm in the middle. If we can transition beyond fossil fuels then it will work out, but if not that claim will prove true.
> They don't have forbidden business lists just because they don't like pornography or sex toys.

Those are "high-risk" mainly because of "reputational risk", not because of chargebacks. Which I imagine is code for Visa or the banks thinking "If too many people with traditional morals get into political office, they'll start cracking down on us if we do business with the sex toy companies." https://en.wikipedia.org/wiki/Operation_Choke_Point

There's also some bad history with old porn sites, since they used 0-days to install dialers on people's computers to rack up tons of money when they used their dialup to connect to the internet. Hence the old "I think my computer has a virus", "Quit browsing those weird porn sites" retort you may have heard. They did other shady things which got Visa in a bit of trouble. It doesn't happen much anymore, but I suspect the organizational scars remain.

You've insinuated that pornography or sex toys are often "forbidden" because they have a high chargeback rate. But if you have 0 chargebacks after a few years, you still won't be able to negotiate a lower rate or to use a service like Paypal or Stripe. Because chargebacks aren't the reason.

Visa and MasterCard charge you $500/year each as an extra fee too, so I suspect the Stripes and Paypals of the world can't combine them into their aggregate account. A fee like that would seem to preclude even a specialized aggregate account, without a special agreement with Visa.

Also, if chargebacks were the issue, I would expect companies that only take debit cards to be in a different risk category than those that take credit cards. Debit cards have reduced fraud protection, so a Paypal or Stripe's underwriting should be more lenient for them. But I've never heard of Stripe letting you sell porn or of Visa waiving the fee if you only take debit cards. It could just be uncommon though.

Plus, I believe both Paypal and Stripe ban selling porn even using e-checks, which is more evidence against chargebacks being the issue. There shouldn't be any restrictions on the ACH system, and even if there usually were somebody could set up a state credit union in Oregon or similar to handle it.
> Why would you need image embedding in screenwriting software?

For the reason noted in TFA.
Who's up for starting a comp sci secret society?
We'll share the best ways to split a cake. The optimal algorithms on how many kittens to have to improve moods, and, best stats how to not forget important anniversaries while trying to boot up a Vulkan pipeline.

:)
The United States is a union of nominally sovereign states. You see this in crisis situations -- States cannot declare bankruptcy, for example.

The electoral college is a mechanism used for these states to select a president (the only nationally elected office) in a representative manner.
Because the American states have a tradition of autonomy that dates back far before the Revolution. That is why American states are states with their own citizens (think drivers licenses) and not simply administrative regions as they would be in other large and diverse countries like China and Russia.
things like ffmpeg can be configured to exclude various kinds of code based on licences. I assume similar build-time flags could be set to exclude patent-encumbered code.

The source would include the code, but binaries could be shipped with and without it.
You see that's what I mean. You have zero understanding of what you're talking about. You think dynamically typed languages came out of thin air? Do you know the difference between a segmentation fault and a dynamic type error?
What do I (a German) care about some u-boat patents some American may or may not or whatever have on some technique I use in my software?
Implantable Cardiac Defibrillators Easily Hacked: Researchers
Oh look they published the future Hyper-loop map. How nice of them.
I did not say anything about suppression. Avoidance and dismissal is not suppression.

No one is suggesting suppression or censorship. But we should be free to exclude, dismiss, and ignore information we find harmful or irrelevant.
A couple points of clarification for those who found this interesting:

[1] Data around commuting time can be found in the American Community Survey (ACS), which is released annually with 1, 3, and 5 year rollups (for general blending of accuracy vs. recency).
[2] This data is looking specifically at work commute times, not any personal travel.

I've been taking a couple months off between jobs, and learning the ACS has become a hobby during that time. Lots of interesting and fascinating data that we collect on ourselves as a country.

Reference: https://www.census.gov/hhes/commuting/
>Does anyone know whether the Supreme Court has provided any clarification about whether the amended rules purport to allow American officials to search computers in foreign countries? Or whether the Justice Department has indicated how it will interpret the new rules?

Microsoft's attempt to quash a warrant forcing it to turn over emails stored in Ireland seems relevant. The last I can find the Second Circuit ruled in Microsoft's favor.

This[0] article talks about the case it's effect on Rule 41.

[0]http://www.forbes.com/sites/insider/2016/08/02/the-microsoft...
A small number of people do stuff like this.

I worked with a consultant who lived near Scranton so he could commute to a large number of places. (Syracuse, Albany, NYC, Jersey, Philly)

Drove 3 hours a day one way!
Does your bank also reject all non 3-D Secure transactions?

Unless this is the case, having 3-D Secure only benefits merchants as the liability will now be shifted from the merchant to the cardholder (e.g. the cardholder is now liable for fraud) while the (stolen) card can still be used for a non 3-D Secure payments.
As a customer I hate these 2FA codes and online bank confirmations, common in the EU. I don't want to bring my bank passwords and whatnot with me if I want to make an online purchase with my CC!
"Fake News" seems to be the politically correct term for censorship. Why does no one frame their question in this way?

So, my answer is I don't stop it because this is modern day book burning, nothing else.
So! To recap the bits, and where this all stands now:

The end goal is to implement "Your Server is a Function" https://monkey.org/~marius/funsrv.pdf , that is, built on top of three primitives:

1. Futures

2. Services, which are functions of Request -> Future<Response>

3. Filters, which takes a Request and a Service, and returns a Future<Response>

To do this, Tokio is built up of multiple packages that each have a focus.

At the lowest layer, you have two primitive libraries: futures and mio. Futures are a generic, no-allocation abstraction that looks something like this: https://docs.rs/futures/0.1.6/futures/future/trait.Future.ht...

pub trait Future {
type Item;
type Error;
fn poll(&mut self) -> Poll<Self::Item, Self::Error>;
}

... and a bunch of more interesting methods built on top of poll. Futures, as you can see, can be generic over the kind of value they produce, as well as possible errors while producing said value. poll drives the future forward, and should never block. Usually, you don't call poll directly, you create a Task, which represents a chain of futures, and tell it to run. It will then handle doing the right thing, calling the right methods in the right ways.

The second component is mio. Mio is a low-level, asynchronous I/O library, that gives you the standard event loop stuff. In other words, it's a very thin wrapper around epoll/kqueue, and has an adapter to make iocp fit. There are deeper reasons that readiness was chosen over completion as a model, but I won't get into that right now.

So, the lowest layer of tokio proper is tokio-core, which combines futures and mio to give you the ability to say "give me an event loop. Chain some futures together. Run this chain on the event loop." But that's still a fairly low-level interface. And it's what's being shown off here.

At the same level, tokio-service is what gives you the Service abstraction.

At the sort of middle layer, there's a bunch of libraries that you can use, like tokio-proto, which gives a slightly higher-level interface for implementing network protocols.

Finally, the unreleased tokio package combines this ecosystem into an easy to use way to build servers, it's the whole package. This "tons of tiny packages" approach means that if you want to extend tokio in some way, you pick the appropriate level of the stack for your task, and plug it in, and everything up the chain can benefit. It's very modular and extensible.

In graphical form, check out this image: https://twitter.com/rustconf/status/774734062636249089 which comes from this talk: https://www.youtube.com/watch?v=bcrzfivXpc4

The key enabler here is Rust's zero-cost abstractions: last time we measured, tokio-core had a very small (less than half a percent, IIRC) overhead compared to writing a mio event loop by hand. And that's before significant profiling effort has been done. So while in many languages, all of these layers would add up to significantly reduced speed, the idea here is that in Rust, they won't. A significant portion of this is zero-allocation or single-allocation, for example.
Very active development; see https://www.youtube.com/playlist?list=PLOU2XLYxmsILKY-A1kq4e... for a few recent presentations about the progress.

(disclaimer: I work on the Dart team at Google)
I can't find a closer image of the west Portland area, so I can't comment on the nature of those commutes.

I live in SF, and at work my team consists of ~16 people. Of those 16 people only 3 live in SF (city/county). The other 13 live in the East Bay or south of the city. Of those who live outside the city the majority doesn't get paid enough to live within city limits; the others get paid well but have families and couldn't reasonably afford a large enough home in the city.

People are very willing to convert time into savings (on housing). And sometimes they have no other choice.
A Very Naughty Little Girl
A Story of Racial Cleansing in America
That's one special case and he mentioned he wouldn't do it again.

Will I ever use this method in another screenplay? Maybe not.

There are tools to do that differently. Often times, I need to 'decorate' a screenplay (TV) with drawings for producers and as a selling tool. It's like an illustrated screenplay. I do it in... Word. Of all things. It's not a production screenplay, so a simple copy/paste between two applications works best. Paste Courier 12pt text into Word, style it a bit and embed images. Done.

If you want to have pictures follow your text, do it in Word or Scrivener (better). Scripts have a certain layout and rules which are there for a reason(s). Reasons which are important.
Hmm, could be, but I think if someone cares enough to write a minimal working sample, they'll also care enough not to have SQL injection vulnerabilities in their code (if only because people might lecture them about this instead of answering the question :). More often than not these issues are found in code dump like this[0] where nothing has been cleaned up.

[0] https://stackoverflow.com/questions/40958763
[conplete speculation, by me]
They may be using the copyright of things they don't care about to shutdown the site to eliminate the things they do care about which they have no legal means to eliminate directly.
How much would you be willing to pay HN'ers for giving you awesome ideas?
Source? Do you audit credit card security systems or are in a related industry?

I personally tend to air on the side of NOT assuming people I have never met working on a problem I have never had to try to solve (and therefor may not see all the complexity) are incompetent.

I find it way more likely they are competent it is just a problem that is significantly more complex when dealing with the kind of big-data volume they do than it would be on a smaller scale.
The most disruptive transformation in history
Oh yes, I can really see Putin quaking in his boots when confronted with demands by a bunch of foreign nerds sitting in their parents' basement that Russia stop using freely downloadable software, or else! What's a million man army and a thousand-plus strategic nukes [1] compared to the power of the GNU herd?

[1] https://en.wikipedia.org/wiki/Russian_Armed_Forces
Merchant gets charge backs, and back when I used to run a small online business, these were $25 a pop. Any kind of "online protection tools" would reduce the fraud by a bit , but nothing eliminates it.