skysight-inc/HackerNews huggingface dataset:
It's a video stream from the International Space Station, pointing at different directions, recording what it sees as it floats by: http://www.ustream.tv/channel/iss-hdev-payload
It's closer to an actual IDE for JS than Sublime is (even once you install a bunch of ST plugins). Especially for TypeScript. That said, if Sublime is working for you, stick with it.
Please stop creating multiple random accounts to comment with, and especially to break the HN guidelines with. That's an abuse of this site, and we ban such accounts.

https://hn.algolia.com/?sort=byDate&prefix&page=0&dateRange=...
I wish people would stop it with this M$ nonsense. It's pretty juvenile, and worse, every time I read it my brain tries to pronounce it. How the hell am I supposed ot pronounce M$?
Let's take a step even further back: why am I defending this theory?

You: Have a look at this theory.

Me: That is not a theory, the author is not even using a proven methods to develop it.

ajkjk: It's not right or wrong, the text is just random gibberish, it doesn't mean anything.

You: You guys are just ignorant and lazy and don't understand things.

So you say it is a theory worth looking at, we say the text is just random gibberish without meaning. How do we decide that? I know that some online journals are using text analysis tools to tell serious articles and crackpottery apart, but I have no such tools available and I am not sure you would accept that, wouldn't you suggest that those tools are biased toward mainstream thinking and writing?

The usual way would of course be to just tell you to read that stuff and see yourself that it is gibberish, but I have to assume you already read it and that you are unable or unwilling to see that it is indeed gibberish. So I have to assume that you at least believe that you are understanding the text at least to some extend and that it makes at least some sense. How would I try to show the opposite?

I could ask you to write a short summary of the theory or of some part of it in the hope that this would force you to realize that you are unable to actually express the content of the theory, that would probably work. But looking back at the discussion I would expect you to just refuse that because it is not your responsibility, the burden should be on us to prove to you that this is not a good theory.

And here I guess we are stuck. I don't know how to prove to you that the text is random gibberish in a way that you would accept it, you are refusing to cooperate because you think the burden should be on our side. So I think we are done here, we have to agree to disagree, unless you can suggest a good method to tell real theories and random gibberish apart or unless you are willing to cooperate and want to try to write a summary or extract a concrete falsifiable idea or prediction from the text so that we can work from there.
To your second point, AMEX uses 4 digit CVV's[1].

However, it's easy to tell the difference between an AMEX and a VISA/MC from the card number alone.

1. https://www.cvvnumber.com/
>AES-256, one of the strongest encryption algorithms available

Hmm... I'd take 4096-bit GPG over this any day. I rather like using pass[0]

[0]https://www.passwordstore.org/
> I'd bet that almost all don't have three numbers all the same and that there are probably more rules/conventions that would reduce the search space.

You're correct that almost all don't have three identical digits, but that's just because there's only 10 of them -

000, 111, 222, 333, 444, 555, 666, 777, 888, 999

10/1000 = 1%

I doubt they would make up rules for determining the cvv, as it would only improve security until bad actors could determine the rules - then it would hinder security as there would be less entropy in the selection space.
No, there's an analogue of the CVV2, the CVV1, which is only present on the magnetic stripe. The information you'd get from an online transaction is not enough to print a working magstripe.
Follow-up question to this, why are scripts monospaced in the first place? It is just a historical convention at this point, because they used to be done on typewriters? Or is this just a simple way to handle alignment?

I find dialogue in variable width font easier to read, so I'm wondering if there's really some compelling reason why monospaced is better.
I've had trouble getting this too. Very neat write-up taking a visual approach!
OK, who should it be driven by then? A monarch? Democratic vote?

https://en.wikipedia.org/wiki/Patronage
I think you're nitpicking. The title is a little oddly phrased, but it's quite clear that it means "legal in the US." Nothing misleading about it.
A KeePass database over Dropbox is what works for me.
There's a difference between an active attacker and a passive MITM attacker. Doing this for the web app in addition to the native apps helps prevent a passive MITM attack from stealing login credentials.
To add to Kasper's reply, Dart is more active than it ever has before.

Part of that is just because of how versatile it is; it's not just a web programming language. It has multiple uses from mobile to web, back to front end. In fact, there's even a new OS where it's a first class citizen.

Watch some of the videos from the recent Dart summit and be amazed!
It would be so great if Sean got to work full time on hyper, but of course I understand that he is needed elsewhere at Mozilla and he's doing a great job with the time he has. I would hazard a guess that there are so many besides me waiting for the upcoming HTTP client/server improvements that it would probably not be the worst idea if Mozilla (or some other org betting on Rust) threw some money at it.

I'm extremely grateful to everyone working on Rust and its ecosystem (paid or otherwise) for the work that you do. It sure sounds cheesy, but after trying lots of stuff over the years, Rust feels like coming home. There, I said it. I'm pushing it at my employer, and for every piece of tooling or important crate that matures, it gets easier to evangelize.
Entering the World of Macros (Red Language)
If you are interested in stoicism I highly recommend to read A Guide To The Good Life: The Ancient Art Of Stoic Joy by William B. Irvine. It is a really good starting point and gives a good overview.
If I want to know how a classic trick is done I'll look at the Wikipedia page. It often won't reveal the secret directly, but if you check the page history you'll find an edit war between magicians which exposes exactly how it works.
> However, my experience is that the type theorists have been incredibly productive

They have, but much less so than people in the "temporal logic tradition". Type theory-based formal methods are virtually nonexistent in the industry (and the word virtually could probably be replaced with literally if we don't count joint industry-academia projects), while temporal logic is used to verify thousands of applications every year. The reason you see fewer papers is precisely because the approach is less mature. On the other hand, you find that papers using more traditional approaches are more cited (e.g., Lamport's first TLA paper alone has many more citations than any paper on type theory ever).

It is true, however, that PL theory is about much more than just formal methods (it is first and foremost about programming languages). The problem they're tackling is much harder and more ambitious, but so far they've had little success in the field.
I don't disagree, but I'd probably have more enthusiasm for it if I were sitting on a pile of real-estate cash.
It's hilarious how far you'll go to tell me I hate Trump. You choose to see me as speaking about Trump I think that's more telling than anything else.

I'm saying that all politicians are potentially dangerous and we should have our eyes on all of them. The mere fact that they've manipulated a flawed system to win a prize doesn't make them harmless.

No, my point is that certainly there are some politicians who are worse than a civil war. The OP didn't think such a thing existed, which can be easily disproved with a single counter-example.

> we will meet on the battlefield.

Threats now. How manly. You hero.

> if you believe civil war is preferable to an X presidency ...

Well obviously for some X, it is. Only an idiot would think otherwise given the examples from history.

Trump though? No. I'm not a supporter but I view him as a bumbler not a killer. I think you guys got trolled, but I don't think it's the end of the world.

> You have zero say or input into American politics.

Haha, so do you. It's a fucking joke.

But thankfully, you're right. Your continual failures aren't my problem.

> The tolerance of the radical left is reaching record highs with this past election.

Well you don't know who I am, but I know who you are. A hateful war-mongering threat-slinging basement-dweller.
Lift – Performance Portable Functional GPU Programming
One perspective on this comes from game theory and the Iterated Prisoner's Dilemma. In some cases the optimal strategy is "tit-for-tat". If your opponent defects and sells you out, then the best strategy for the next round is to retaliate and defect in response. [0]

Obviously this is simplified, but it shows how a mechanism for identifying opposition could be advantageous. In the social environment of early humans, maybe this made sense evolutionarily, but is now inconvenient in the different situations in which most people live now.

[0] https://en.wikipedia.org/wiki/Prisoner's_dilemma#The_iterate...
I quite like the Lua scriptability of awesomewm but I'm not sure how you'd tie it in to browser events (browser plugin?)
Can't speak to targeted interference, but I can fetch the ISO and signature from the mirror he used, and verify it successfully.

output: https://gist.github.com/daveio/edac4aaee516cd6a408d5c8e763ce...
It does look like that because the result seems to end up being the same.

But the theory does not make enough sense in that such a government would want to disclose their mass surveillance program only when absolutely no resistance is possible anymore, which is currently not the case yet.
bariloche, argentina also a kind of fits the bill
Although not this particular face recognition. I managed to fool face recognition passwords in the past with a simple photograph of the person. As you would expect it works perfectly fine.
I don't understand how people think this is honest. You're clearly using your cognitive advantage (or in the case of a boss, usually an organizational info advantage) to trick the other person. I remember as I grew up noticing when adults were doing this, and I resented them for it. Why would I want my kids to feel that way about me?
It's only a confusion if you don't also consider those things virtuous.
Very similar. Typed. Get only requested properties. Request graph shape you want.

https://www.elastic.co/guide/en/elasticsearch/guide/current/...

https://www.elastic.co/guide/en/elasticsearch/reference/curr...

https://www.elastic.co/guide/en/elasticsearch/reference/curr...

And I thought ElasticSearch API is REST. And it is JSON.
I've thought of using one of those to map a parenthesis to each foot, for Lisp.
You're on my wavelength with these, I've wanted each one at some point. #2 might become a reality.
Yeah, I hear you. That said, money is being thrown, but at tokio itself, rather than at hyper. You have to finish the lower bits before the higher ones.

(also, <3)
The English word 'state' is accurate, and American usage is consistent with e.g. British.

Consider terms like "member states of the European Union", "sovereign state" and "head of state".
> assumes that reality is linear

The assumption is that a particular relationship is reasonable to model as if it were linear. No one believes reality is strictly linear.

I've read your posts enough to believe you know how linear regression works. I'm criticizing your comment because it encourages a misunderstanding of traditional statistics as having nonsensical assumptions.
Try telling Texas that it is merely a "province"!
The teenager is really just a petulant, kind of half-assed adult. The psychologist frames it the same way as the 4 year old, but knows it's really an entirely different ball game. The teenager actually has a functioning long-term memory, for instance.

Obviously the theoretical teenager and my comment are exaggerating it, but there's truth in there.
Why don't they give the map in high resolution? Really irritating.
Please quote sources to back this up. You are proposing the exact opposite of what the article says, because of what?
I'm not repeating anyone else's arguments, the thought just came to mind.

Also, I didn't say anything about atheism.

Finally, I do give sincere thought to these matters and try not to ever be disrespectful of anyone's belief system. Sorry if you felt that way.
They don't have to use the same number. 100 attempts at 100 numbers is just as likely to turn up a hit as 10000 attempts on one number.
I went to the EE380 talk at Stanford where Eran Tromer explained the theory.[1][2] The claims were very broad, and I didn't understand exactly what was supposed to have been proven. A lot of material was covered very fast. Watch the video and try to figure it out.

[1] http://web.stanford.edu/class/ee380/
[2] https://www.youtube.com/watch?v=KP8TPeYQyN4
Yes, very disturbing and reminiscent of that Richelieu quote, "If you give me six lines written by the hand of the most honest of men, I will find something in them which will hang him."
Then please, define god, deities and angels in an unambiguous way, using whatever language you desire, and provide a method of demonstration for all three. And since I'm rarely in the presence of someone all-knowledgeable, please provide the link between god, angels and earthquakes that has evaded geologists for decades. If you mind telling us how you came to this knowledge that would be very useful too.
I'm not sure if this is a scam. I went through the process and paid and I should get a logo in 30 minutes, but I've been waiting for 12+ hours and still no logo. I email the CEO, which the site says to email at dawson@logojoy.com, yet no response and no sign of a logo in my emails...hmm!
> Tone of voice dictates whether you're going to get compliance or not. "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.

My son has dry skin and has to have a special cream on his face before he goes to bed - normally when he's tired and terribly uncooperative.

In order to get him to allow us to put the cream on his face, we often just give him the choice of which side of the face we should start with. I don't give him the choice to have the cream or not. It works brilliantly. A friend told us that tip. Awesome.
Which is a good thing. I still have my 25 year old, first owner honda civic.

So, all things being equal ...
IMHO the biggest privacy-breaking problem of Monero is that it leaks the transaction amounts, while Zcash does not. Monero also has other inconvenients compared to Zcash: https://www.reddit.com/r/Monero/comments/41vg68/monero_vs_zc...

So you can't claim Monero already solved all the problems that Zcash is trying to solve.
I've tried firing up VSCode in a VM and found it unusably slow, whereas Sublime is fine.
Doesn't Lamport give exactly the argument that motivates the Milner tradition in section 6.4 of that paper?

There is one case in which it’s worth doing the extra
work: when the computer does a lot of it for you.
[..]
In that case, the extra work introduced by decomposition
will be more than offset by the enormous benefit of using
model checking instead of human reasoning
When I was a map and gazetteer obsessed child 40+ years ago Baltimore was my favourite US city (I am not in the US) because it was one of the ten largest U.S. cities yet most people I knew had never heard of it. I recall Buffalo was right up there too, for similar reasons.
For whoever downvoted, the issues of u128 types came up in the discussion for this function:

fn is_token(c: u8) -> bool

http://kamalmarhubi.com/blog/2015/09/15/eliminating-branches...
3 Websites: Three Lessons in Search Engine Optimization
I agree that it shouldn't, but it is. I need only talk to my mother, she has some very strange ideas of how to raise kids, explaining a lot of my knee-jerk reactions when communicating with my own kids.
Let's not forget tax-expenditures like the home mortgage interest tax deduction.
It's all an effort to stimulate the reader's brain, to keep them engaged. First text, then images, now video. Next VR?

Just like TV shows that use frequent animated overlays, and ever-changing camera angles. If things stop moving, we reach for our smartphones.
If there's anyone who works very hard to make formal methods approachable to practitioners, that would be Leslie Lamport. He often says that he's not interested in methods that are not usable by "ordinary" engineers working on large, real-world systems. Amazon now uses his TLA+ to specify and verify many (most?) of their AWS services, and they've learned it all on their own. It's been so successful that managers encourage programmers to use TLA+. This is now spreading to Oracle, too. You can read about Amazon's experience here: http://glat.info/pdf/formal-methods-amazon-2014-11.pdf

I discovered TLA+ when I needed to design a complex distributed database. I learned it in a couple of weeks, and immediately put it to good use. It quickly uncovered some (big!) mistakes in my original idea, and helped me find a solution. So my motivation to learn and use TLA+ was, like Amazon's, 100% pragmatic and not at all academic.
Oh, that's quite possible.

I was merely reiterating a common (and I think sensible) point that we can't write proofs about things we don't have the computational resources to address or just plain don't realize are an issue. Both are very real challenges to using proofs about our software, and should be kept in mind when talking about the field.

The said, Im a proponent of everything from proofs about abstract algorithm properties to basic model checking on a spec to using formal methods to extract a program with guaranteed propertied from a formal spec we've written proofs about in something like Coq.

DARPA funding HoTT research should clue anyone in that this stuff is useful.
56K .gif image ... something that would have taken a full second to download on a 56K connection

Actually 8 seconds, because modem speeds were/are measured in kilobits per second.
Right, and the compiler forces you to do so.
Unfortunately, at least in the US, cardholder name matching doesn't work for most transactions. Only AMEX supports it.

Edit: Offtopic rant, but as an online merchant this is the sort of thing that pisses me off about the CC situation. They don't support other obvious things either, like passing in the shipping address and ip address so they can be used for fraud detection. Yes, there are outboard services (MaxMind,etc) you can use, but they are working with a small subset of transactions, so their algorithms and blacklists are incomplete.
Hitting children is legal in the US?
By multi-line edit do you mean multiple cursors at once? Does it have a fancy regular expressions generator to replace it? Otherwise that's a non-starter for me, simultaneous editing is too valuable.
My fiance recently graduated in psychology, and we have two kids. This article basically mirrors our current sentiment of how we want to raise our kids.

I have one thing to add: Don't beat yourself up if you fail to do it right. After things escalated, talk to the kid honestly, tell her what you felt, and ask her what she felt. And try to do it better the next time over.
> Worse, the merchant does not appear to be able to really know when payment from a credit card is actually final.

This is why I find it strange when people wring their hands over Bitcoin's 10 minute settlement window... Credit card transactions are regularly open for weeks if not months!
Virgin Galactic’s second SpaceShipTwo performed its first glide flight
For more information, here is the website for the center run by tge psychologist being interviewed: http://yaleparentingcenter.yale.edu/
> which is better and free

Please backup claims with evidence.
I wouldn't use word "legally" here, but rather "without worrying about consequences for its employees". First off, it's still illegal in the foreign countries, secondly US claims for its jurisdiction worldwide is not respected by that world itself and such actions may cause some diplomatic consequences which cannot be explained by US' local regulations.
Plenty of time as long as VSCode is running on Electron.
From a survival point of view, a false positive (identifying something as threatening) is way less threatening than a false negative (misidentifying something threatening as non-threatening). See a shadow move in the trees? Acting as if there might be a tiger is better for your survival than assuming it's just the wind.
You can those questions in the reply thread (Is it the right file size? Can you mount it?)

This will only be interesting if it isn't just a corrupted image. If it isn't a corrupt image, I hope there a follow-up with a diff-tree between the two.
Most EULAs prohibit it, probably not.
What if the kid has no interest in talking to you?
No. Child abuse is taken seriously in the US, and hitting children in schools with get people fired, if not prosecuted. I'm sure it does still happen, but that does not mean it is widely accepted.
It didn't make it in the movie. The scene stopped after Louise saying "That doesn't make me unfit for the job".

I actually think the circle signature shouldn't have been cut because without it, I felt that the entire scene fell a bit flat.
> should never happen, anywhere, no matter the reason

Okay. But to make it concrete, what alternative are you proposing?
True Key makes use of the Intel Management Engine (IME). It gives a hint at what Intel is up to with the IME. One of the intended uses is "identity protection", storing secrets like e.g. biometric data in the realm of the IME, and to ultimately get rid of passwords.

Considering the security concerns regarding the IME, I doubt that it is a good idea to hand your passwords over to Intel (ME). At least I don't want to support this technology by using apps that utilize the IME.

To read up on the IME there is a free book by one of the developers on it...

http://link.springer.com/book/10.1007%2F978-1-4302-6572-6

Inside is an entire chapter on Intel's identity protection.
Little do you know that gpg uses a symmetric cipher like AES-128, only encrypting the symmetric key with your asymmetric RSA keys.
And it's pronounced new-plot not guh-nu-plot.
Hey Tasuki - thanks for writing :-)

At the current state we have enough challenges to deal with that we would rather not do remote work. That might change in the future though and the fact that you could come to Berlin regularly would definitely help. Feel free to send me a mail describing yourself and why you think working with us would be exciting.
Slightly OT: I've never heard of Skia before, but a few years ago I was trying to find a good vector graphics solution for realtime video games... can it be used for that?