skysight-inc/HackerNews huggingface dataset:
I don't understand what the 'shadow effect' is, I'm staring at my unmodified ST window, and am not sure what to look for.

What I really want is to make ST3 sidebar menu look like it did in ST2!
Angular is basically just IKEA for web pages.
Is your Google account breached due to Gooligan malware?
uBlock Origin on Chrome is blocking loading this file http://www.stagexl.org/assets/js/dart.js, it says that's included in the EasyPrivacy filter
I am fairly sure, upon reading this thread, that this is not zzzcpan's point. His point is to denigrate the entire practice if providing proofs. I think he's referring to fields which, given their critical and highly difficult nature, should in fact start with the proofs and work to invalidate the system over increasingly more total domains of implemention.

You're right that you can take a mathematical proof out of the realm of abstract math and it's new domain may not have all the guarantees we need, but this means we need to extend the system to account for the new domain (and within this domain, the proof is not valid).

But the poster doubled down on this idea that "there are constraints proofs ignore" within the existing domain. Outside of convenient proofs that upper division students provide, this is not true.

A good example of this process and the nature of "pure" CS interacting with the real world is the field of distributed databases. As the field has grown, proofs are expected to aggressively model real world conditions and in fact go further, modeling outright adversarial conditions unlikely to occur in the real world.
Re: data structures, ST could also use ropes, or gap buffers.
A big billboard outside Fenway Park to help track your train (Boston Globe)
For many types of programmers that would be happy with something like C or Go, most likely yes, given that they already allow for some interesting patterns. Also because they changed a bit, in the early days you could not pass arguments back to them.

However, when I wrote generators I was actually thinking about comprehensions.
To be fair, credit cards in the EU also have annual fees and few rewards.
> Flash plugin missing

> Get the latest Flash player to view this content

They're saying this is an experiment from 2014. Not sure what I'm supposed to be seeing anyway.
It's sad that the only thing way to appeal to mass media is to be of a sympathetic social status.

All they need now are (white) single moms and some cute puppies.
Sometimes yes, sometimes no. Some judges will actually hold the Government's feet to the fire and independently inquire into the sufficiency of the Government's probable cause in a warrant application. Some will not. The issue is, the prosecutors/Justice Department know which ones will and which ones won't and with the new amendments to Rule 41, they can pretty much pick which judge hears their application.
wow that is strange, thanks for telling me. The file should load without a problem!
Apparently, VISA does not do this.

The actual research paper is online: http://eprint.ncl.ac.uk/file_store/production/230123/1918024...

It says this: "Whereas MasterCard’s centralised network
detects the guessing attack after fewer than 10 attempts (even when those attempts were distributed across multiple websites), Visa’s payment ecosystem does not prevent the attack"
Jefferson would likely be more conservative than either CA or OR. If you've ever visited the North Coast of California, it's very rural in character, and in culture is much closer to Montana or Wyoming than the Bay Area.
Production-Grade Container Scheduling and Management
Well, these days I'm working at Twitter on our abuse problem. So that keeps me pretty busy. I did write another book, Coders at Work, a book of interviews with notable programmers.

I kind of suspect that if I write another book (as I hope to) that I'll continue along the trajectory from pure technical (PCL) to semi-technical (Coders) to something that might reach an even more general audience.
That's not correct. The National Guards are authorized by Congress and the president has the ultimate authority. Eisenhower was able to override AK gov in this case.
Amazon (AWS) Can Literally Carry a Truck-Load of Data with AWS SnowMobile
Please don't put words in my mouth.

Earthquakes are caused by the ultimate God, and mediated by various other dieties or angels, depending on your preferred terminology. You seem to be assuming that God thinks like us or is interested in us, and I would point out that is the younger, more recent idea, which I regard as nothing but ego and politics masking the original idea for reasons of memetic potency in human thinking.

Our understanding of why and our ability to predict them has changed, but what you describe is a confusion rather than a retreat: just because we can give two names to something doesn't mean one stopped applying.

That confusion underlies your comment: people still say that God directly causes earthquakes, we just dropped the political nonsense about it being because leader said not to do X and we did it.

If anything, that's viewing God as larger, not lesser, and reflects us letting go of our own ego, and returning to the base idea, rather than our own nonsense atop it.
`draw_shadows` effects the shadow cast by the Sublime "minimap" -- the code shape outline on the right side of the window.

You can see the effect of turning it off by comparing the right sides of the single pair of (before/after) screenshots in the article.

before: http://thume.ca/assets/postassets/sublimesecrets/debug_rende...

after: http://thume.ca/assets/postassets/sublimesecrets/configs.png
www.halite.io is a current competition, not a game humans would play though. There was also a thread on it recently as well.
@alexellisuk - If you need any help exploring docker on triton or lx-branded zones on vanilla smartos, you should definitely stop by #smartos on irc.freenode.net. There are about 40-60 active high quality SysAdmins / Engineers that can answer any questions and point you in the right direction. I've never received such incredible support, and I'm not even a customer. I recall one event where I was trying to run a KVM branded zone on a CN running on an esxi host using the vmx3net drivers and it would just core dump. 2 hours after talking to (The Man, The Myth, The Legend) rmusttachi, he had a new platform image compiled and running that fixed the min mtu size bug that was in the illumos vmx3net driver. "NEVER EXPERIENCED ANYTHING LIKE THAT" in any other community. Alexellisuk, I will warn you... once/if you switch... trying to go back is difficult, and your forehead might get sore, depending on how hard you slam it on your desk when you try to use something like "Mesosphere". "Come on everyone, lets create custom docker images to handle dynamic Marathon port assignments because I don't have an IP" (dig + awk to find https... ...isn't https 4...4..."STOP" "WRONG" it's ${PORT4} which is 10240... ...I sadly live in this reality at the moment) /barf.
It's thought to be very adaptive from an evolutionary standpoint. If you have a partner, significant other, or a child, if they do 10 nice things, that 11th one that you didn't like, you're going to really be all over.

One wonders how, if it doesn't work, it was so adaptive.
userapp.io
The lack of a name in the giant section in the northwest on the final map is... interesting. I think I get why it has no name. Still odd.

Similarly, the "deep south" feels like a shoutout to Futurama. (Though, Atlanta is already named. I guess it is "pre move to the ocean." :) )
Like isomalt + erythritol ?
However bad you think the government's actions are double your expectations and it's still worse than that.
AWS lambda supports .NET Core natively
I spent way too long staring at figure 1, before realizing that they're not using the word "permutation" in the way that people with exposure to CS or discrete math would use it. They're assigning a "neural clique" (possibly not exactly a clique in the graph theory sense) to each subset in the powerset of inputs, and then ignoring the empty set. _Now_ 2^i - 1 makes sense; ordering does not matter to the authors.
One of the benefits of splitting administrative control in a population is that policy differences between the administrations become visible to that population. If every administration has a cultural moat around it, it becomes impossible to separate policy effects from culture effects.

I think this is one of the key benefits to the federal system. In some sense the lines are supposed to be arbitrary.
That article is a fascinating read.
Ted Nelson's “Two Cheers for Now”, 2016
What do you mean by "guaranteed-issue plan"? All insurers must offer at least the same standardized minimum plans (bronze etc.). Anyone who expects a subsidy must go through an exchange.

Insurers don't HAVE to sell direct to consumer (off exchange), but they're incentivized to do so because that population is on average healthier than that coming in through the exchange. Plus it's easier to manage customer records directly than rely on the data that comes from the state or federal exchanges.
It uses completely unproven cryptography that may quite possibly be horribly broken. If you have a better definition of "hipster" than "use something for the sake of it, regardless of practicality" I'd love to hear it.
Perhaps we could name it: F Society
The usual approach: uncompiled source code implementing a patented algorithm doesn't directly violate the patent, for the same reason a paper describing a patented algorithm doesn't. So, you can ship the necessary source code, and a compile-time option to build with or without it.

Freetype used to do this with bytecode hinting. Various media libraries do this as well.
I don't know how much the idea is accepted within the community, but for me the most probable case seems to be some guy writing half truth (real plants, constellations), half fiction (imaginary plants and mechanisms) with either made up or intentionally very unknown, even at the time of writing language, script as a hobby/work. The illustrations, even the strange ones, fit the art style of the time pretty well, and if there were people willing to buy things like that, why not make it?

Seems perfectly reasonable course of action to produce it, only thing that's strange is that there aren't more these kind of scripts. Or there are, we just haven't heard of them because they were either in known languages, or deciphered?
CodeMade.io is a place to find open-source Internet of Things Inspiration
You need a file with a line longer than your window is wide. Then whichever side(s) of your window have content scrolled off the side of them will have a slight shadow effect on them. It's actually quite cool and I think indicative of the kind of polish present in Sublime but not other editors. But I can see some finding it annoying in some circumstances.

Also, after discovering this I Googled it and saw that some other people mentioning it (no hits for the other settings) in connection to the Soda theme, so maybe if you are using that it might already be disabled? I'm not sure.
Are you being sarcastic? Because I actually think that is a good reason to be religious.
Show HN: A formal proof of deMorgan's law in lean
Formal proofs are becoming easier. This proof was achieved in a couple days of intermittent effort, starting with no knowledge of formal proofs.
Let's do it! Designer here
This Country Is Mopping Up Trickle-Down Economics
Do the math. It's going to take time to switch off of petroleum. Even if Teslas were free, it'd take decades to replace all the existing cars with Teslas. You want us to do nothing in the interim?

We're in the process of moving on, but we can't stop everything while it's happening.

The fact that you think people in North Dakota should be driving Teslas... it's pretty shitty uneducated thing to say. Compassion, right? Understand what people need to do, what they want to do, and suggest alternatives. You aren't even trying, just spewing, "Oil is bad!" sound-bites. This isn't Reddit...

Please note that there isn't a single Tesla supercharging station in the entire state of North Dakota. 0. So... I guess you want those people to just... move? Die off? What exactly is your plan here for the people who live in North Dakota? Give up oil tomorrow, give up jobs that provide for their families, and... what exactly do they do next? It's a process, it'll take time.

https://www.tesla.com/findus#/bounds/49.38,-66.94,25.82,-124...

You're clearly clueless and haven't ever been to North Dakota. Understand that most roads aren't paved, many people live in rural areas, when it rains... we're talking massive washouts and mud you can't drive a car through. Mud that a 4-wheel drive pickup gets stuck in.

And you're there saying those people, and everyone, should just instantly overnight drive a Tesla. Smart.
> Open the first edition of Artificial Intelligence: A Modern Approach and there's a fair bit of effort to apply linear regression selectively in order to be computationally feasible.

Does the book mention linear regression at all? The term doesn't appear in the index.
Same reason that everyone is in love with LaTeX which seems needlessly overly-complicated.
The Function Colour Myth
"Sarah, put on the green coat or the red sweater. We're going to go out, okay?" Choice among humans increases the likelihood of compliance. And choice isn't important, it's the appearance of choice that's important. Having real choice is not the issue, humans don't feel too strongly about that, but having the feeling that you have a choice makes a difference.

This was the main take away for me. It seems like it might be useful for managing employees / colleagues too.
The way Greeks treated their polytheism is very different from the fundamental Christian attitude towards God.

You should had predicted this if you were actually gave a sincere thought to the matter instead of just repeating this atheistic arguments.
I recently installed VSCode just to try and was pleasantly surprised. For Sublime users there's a plugin to remap all keyboard shortcuts to Sublime ones (when available ex. multi-line edit isn't just yet). VSCode is getting updates on a monthly basis it seems and I have no doubt it'll catch up to Sublime in the next 6-12 months.
Huh, I remember reading a comment in this article, from the writer, to the effect that the circular signature didn't make it into the movie, making the blog post something of a director'a cut, but that comment isn't there now.
> Because is largely exaggerated

Exagerated what, the lie you wrote that only on Marxists regimes you can be persecuted?

the problem is that you see Mrxists even in the extreme right.

> All killing is immoral

It seems that not for you when youi minimize and deny anmy killing frok your side

Perhaps Videla was a hero for you, or Pinochet, or Stroessner.
You can call this "research" but it's not science. When you do science you can't just run your data, decide the numbers don't look right, and then tweak them until the picture produced looks publishable.

That is a way to make art that reflects your worldview, but it won't have any science content left in it.

If they wanted to do science they would need to devise a model of megaregions, form hypotheses, design tests ahead of time to confirm or refute those hypothesis, and only then run the data.
It is one source yes.

But you should also have a look at "Tour of C++" and "Elements of Programming".

Also Microsoft has lots of Modern C++ talks on Channel 9 done by Stephan T Lavavej.

https://channel9.msdn.com/tags/STL/
Oh, I will continue to own $0 in Zcash, but trying to provide actual confidential transactions isn't "for the sake of it, regardless of practicality", there is a clear motivation.
Huh? What's anything I wrote got to do with Marx? I see collectives constantly failing to deliver everywhere. Yes, that includes every single socialist country that ever existed (they were not stable), but also many current capitalist governments (German energy policy comes to mind), the many public-private-partnership projects that always go over budget, and any meeting in a sufficiently big corporation.

Now please don't try to tell me that "collective" applies exclusively to socialism and that I'm reading things that aren't there. I took the word straight out of the article:

> These futures are avoidable, but only if collective international action... happens.
Mine was also. I am just pointing out that even with a simple algorithm like linear regression you can run into all kind of issues and it's not always obvious. Sometimes a slightly more complex method is easier to get right in the long run. It depends on many factors.
> One difference that does exist is military, where EU states can have a military (as far I know), but US states can not

Even that is a little shaky, as historically there were organized state militias, which eventually evolved into the National Guard. Even now, the National Guard formations for each state are under the direct control of that state, rather than directly subordinated to the federal government.
Science and Cooking (Harvard lectures)
Any apps on the store using this? Would be interested to understand more
zkSNARKS, the underlying tricky bit of crypto that Zerocash uses to make anonymous transactions, existed before Zerocash/Zcash. There is a bunch of work on them that was published in Eurocrypt/Crypto/TCC etc. For example [0] at Eurocrypt and [1] at Crypto. Page 37 of that last paper [2] has a summary of work on the subject, though it is now dated as the paper is from 2013.

SNARKs have gotten the appropriate peer review from the right parts of academia. To everyone else reading this: Of course, that doesn't make it secure and there are limmits to peer review. Just because 3 to 5 reviewers read the paper and thought it was publishable doesn't mean it's correct. However, those works were high enough profile that others have looked at the papers once they were published, which is the real meaningful part of peer review and that comes after publication.

None the less, snarks are one of the more sophisticated cryptogrphic techniques ever deployed. And peer review also says abosultely nothing about the security of the implimentations of software instantiating the cryptography. But the only way to remidy that is to build software, deploy it, and get people to look at it.

Zerocash itself is a fairly simple protocol built on top of SNARKs, so the fact that it was published at Oakland isn't the biggest worry. It's also gotten a bunch of scrutiny after that.

[0] http://link.springer.com/chapter/10.1007/978-3-642-38348-9_3...
[1] http://link.springer.com/chapter/10.1007/978-3-642-40084-1_6...
[2] https://eprint.iacr.org/2013/507.pdf
FWIW, right or wrong the United States takes the position that a wide variety of its laws apply outside of the territorial boundaries of the United Sates.[1] (And in practice their interpretation is much broader than the Wikipedia article suggests.) How motivated they are to enforce such laws outside of the United States, however varies from case to case. e.g. Edward Snowden, Marc Rich[2], however cf. Manuel Noriega[3], Ahmed Abu Khattala[4] or generally[5]
[1] https://en.wikipedia.org/wiki/Extraterritorial_jurisdiction#...
[2] https://en.wikipedia.org/wiki/Marc_Rich
[3] https://en.wikipedia.org/wiki/Manuel_Noriega
[4] https://www.washingtonpost.com/world/national-security/us-ca...
[5] https://en.wikipedia.org/wiki/Extraordinary_rendition
Thanks for confirming that you rushed unproven, untested cryptography into a production system meant to defend user's privacy and their money.

Speaking of - why did you rush it out? Because your investors wanted to make profit? Absolutely despicable.
Read the court filings yourself. Straight from the DOJ's mouth. https://www.documentcloud.org/documents/3224249-Hearing-in-T...
It gets worse: https://3v4l.org/Slvpp

Note that PHP also has a JavaScript-style triple-equals comparison, which does not attempt type conversion and does not exhibit this bizarre behaviour.
Pocket-sized military drones
I think a lot of people are young and don't realize what it was like working 20 years ago. When I started working in 1994, most people didn't even have computers on their desk let alone an email address. The web was brand new (we used things like gopher and archie), and only a handful of people had ever used or seen the internet.

Sure, I suppose it's possible that advances we've seen in AI won't be translate into huge productivity gains, but I would think that extremely unlikely.
> meaning they need permission in each instance

Where is this requirement located?
As long as there's a financial incentive tied to telling people what they want to hear, companies will bend the truth to the biases of their target audience. I don't think there is a fix for this. Our only hope is to design our institutions to withstand a starkly polarized populace.
Python for Feature Film: Programming Images to Life
I'd like to see a closeup of the Portland area too. I live in Portland and while there's been a tremendous growth in the community over the last 10-20 years, Oregon has the concept of "urban growth boundaries" to preserve farm land, especially small family farming.

So most of the population here is within around 20 mi of the center of Portland, unlike Phoenix AZ where it sprawls out 100 mi or more. I'm guessing there are people who travel from/to nearby regions (e.g., Newberg, McMinnville, the "wine country") for commerce, tourism, and probably some commuters.

Perhaps there are similar considerations in other regions like SF which certainly has "tentacles" that stretch a long way out there.
> When it comes to US news and big events, HN forgets all its policies.

That's a misunderstanding of what the policy has been.

https://news.ycombinator.com/item?id=4922304#4922426

https://news.ycombinator.com/newsguidelines.html
If I already have a Sublime license, and I'm happy and it fulfils my needs perfectly, what would I gain in spending the time to try to get my workflow working in VSCode if it still hasn't caught up, as you say?
Anybody know if Scala's Figaro software is in the same category as Church?
The EFF is not correctly describing the Rule 41 change. The amendment gives magistrate judges the same power that Article 3 judges already have.

Nor is the EFF's position reasonable - suppose you want to search a computer in an unknown jurisdiction, where the location of the computer has been obscured by Tor. What's the alternative to allowing magistrate judges to issue warrants outside of their jurisdictions? Requiring warrants for every jurisdiction that the target computer might be within?
Just sharing a series of posts I wrote recently about how Python is used in the film industry.
The post linked outlines the pipeline in general, and there are individual case study posts for films I've worked on.
They're less technical and more of an overview but I thought it would be of interest nonetheless.
Yah, that's called entitlement. I don't understand why people get so upset by that word.
Nice, but I wonder how much time has Sublime left now that VSCode, which is better and free, is out.
My preferred terminology is the one that can be defined and backed up by repeatable demonstrations to be correctly defined. Until then, I read your sentence like this,

> Earthquakes might be caused by the ultimate god, and might be mediated by various other deities or angels.

That might is what has been retreating, time and time again.

And I don't know how you can claim both, confusion and a larger understanding of god at the same time. But I guess that is part of the confusion...
Hey, I appreciate it. Sorry that apparently some people hate me personally so much it causes an issue. I'll keep it to only one reply in the future.
It seems like you are saying that the headline is nonsense because the authors of the article are using non-standard meanings for their words.

Any system with optional components has a factor of 2^n in its count of configurations -- each optional component might be absent. That's an interesting fact of math, not of any particular system.