skysight-inc/HackerNews huggingface dataset:
Yep. Julia is a great language and I think other languages could learn from it, especially it's typing model and the excellent implementation of the REPL. but I wouldn't say Julia is good for everything (I wouldn't want to write a web service in it).
Κλειστά ματς στην Σούπερ Λιγκ
Quality in the formal sense should not exceed specifications. It should meet them and every point where specifications are not met is considered a defect.

Quality in the informal sense that is used in every day talk is how well a product/service fulfill the expectations of it's kind.

Which means that a bad chair and a good chair can both be of perfect quality if they do not deviate from the specifications. If there are no specifications the quality is unknown.

Formal usage of quality can be measured, informal cannot.
Man, thats like the past decade in a nutshell.
Wow, thanks for the list!

I'll check them all out. Yep, I remember the Perl Cookbook being invaluable, will give that a go too
If I can use them to shoot videos and make something cool like the japan tour thing[1] I would buy them.

[1]: https://www.youtube.com/watch?v=t3i5asc3qI4

EDIT: actually looking at the snapchat spectacle webpage, it looks neat and I can see myself buying them. Just not at that price (130GBP) because I will probably not be using them a lot. But if there is a promotion around Christmas why not.
Those are actually enforceable by IDE or interpreter/compiler if implemented. Even if this wasn't the case, it is better than some arbitrary variable naming convention or comments format.
I realize that a large portion of every US tax dollar goes it the military - that's why I mentioned the borders - without some military spending it's doubtful the borders of the US would be the same as they are today. I think we should all agree that too much money is spent on the military, but that's not an argument about "should we pay tax" - that's an argument about how we should spend taxes.
This is one thing I like about IBM: they have a separate security team that audits stuff before you ship it. I was working on a react app where I set up server-side rendering, and then had it JSON-encode the state and dump it into a script tag in the end of the HTML. My thinking at the time was "It's JSON-encoded, and it's all the user's own data anyways, so it's safe."

Eventually I needed something from the querystring and for whatever reason put it into the state. It turns out that a <script> tag from the querystring in a string in a blob of JSON in a HTML page will execute. Oops.

Fortunately IBM's security team caught it before it ever shipped. Now it's been fixed and the app has a CSP header to help nullify any future mistakes.
Starting in 2018, using cryptocurrencies in Vietnam will be illegal
But isn't it equally true, that a mosaic of publicly known information could constitute non-public information? For example, the example I gave of analyzing satellite imagery of parking lots to predict Walmart sales numbers. Is that really fair?
How do you solve the problem of penetrating NATs and firewalls without relying on a central coordination server?
That makes sense; as I said there are perfectly valid business (or other) reasons to limit the length of each day.

FWTW: I don’t see a problem with shorter sessions.
Didn't think of that. Out of the box... nice
Strange that the kitchen would disturb them, but not the highway above the kitchen.
If one developer can introduce a bug, that is life. But if it can go undetected by the compiler, unit tests, code review, component tests, acceptance tests, mutation testing, static analysis, pen test, etc, then maybe the process can be improved.

It may not be cost effective, but then it's still not a lone developer problem. It's a management decision.
Artificial Intelligence and National Security [pdf]
It's interesting how on the other side Apple has succeeded with the Apple watch even though you need to recharge it every day. My guess is that it was highly priced and so seen as a "rich people" jewelry. Hence the market being driven by people who want to look rich.

I'm sure that if snapchat spectacles had been priced lower, every middle schooler would have gotten them. Driving the market/trend by mass adoption.
Yep, that was one of the first things I found. Will be going through this ASAP
WTF is sexual harassment
Never even heard of this
The FAQ says

"Bandwidth contributors simply install Orchid and activate their Internet connected device as a node - either as a relay or proxy - and then they set permissions like sites they want to blacklist or whitelist, and they earn tokens into their Orchid wallet for sharing their bandwidth."

So hopefully the blacklisting will eliminate the problem of nasty content that plagues anonymous networks like Tor.
Fiat vs. Bitcoin
Purchased. Thanks!
It is maybe worth noting that we had actually looked into whether we could be registered as a non-profit and still raise money by these means to build out our implementation and market it to the world, and that was simply not possible :/. We are, however, all deeply committed to open source, and are working on how to best ensure that this is enforced in the company's charter (such that even if there are any future changes, there will never be any fear).

All of our work is to be released under the AGPL3; and, while we have filed for a patent, we will be licensing the patent to the world in a manner similar to how Mozilla manages their patent portfolio. Brian Fox, who is in charge of making sure we have a successful and inclusive open source project, was the original developer of the bash shell, was for a while the maintainer of GNU emacs, and was the first employee of the Free Software Foundation (as Richard Stallman was a volunteer), and so is keenly aware of how important it is for technology to be available to everyone.
"entitlement payments" is what, a euphemism for social security et al? There is no doubt in my mind that the quality of the social safety net plays into everyone's ability to make money and take risks.

But you've already ceded the point that taxes make sense - we're just arguing about how much and how to spend them.
That... is a great idea. I'll do it. Thank you!
How is this different from Freenet or Tor?
Call site analysis and such are ways to do that. That's for example the difference between TypeScript and Flow. The later does stuff like that (which is both a boon and a bane. Its amazingly powerful, but you can get into states where figuring out why you're getting a compile time error is a mind fuck. Languages Elm handle it beautifully though.
Is this anonymous like tor or i2p? if so, how do you do it?
Not totally related, but I've thought for sure time that a similar technique could be applied for automatic subtitles synchronisation on media with external subtitles. The system would read the sentences, automatically match it to the relevant segment of the audio track and adjust the timing accordingly.
Very interesting. Visited Noisebridge a while back and there was a post on the door telling visitors what to do when the FBI visits to ask about the TOR exit node. I wonder how this tool avoids the exit node problem.

Also, from the FAQ:

>Can't NSA just hack into this too?

>No. Because of its fully decentralized approach, distributed architecture, and the size of the global network, Orchid cannot be easily hacked by any single government or entity.

That's not really a satisfactory answer. First, it doesn't answer the question. The question was not "can NSA easily hack into this." And I don't think the NSA is necessarily deterred by something being not easy. The bar needs to be higher than not easy, even if "not easy" is a polite understatement. Also relying on the size of the network means there is a bootstrapping problem, right? Hopefully they will get there.

This doesn't mean the system is bad... I'm just saying the FAQ answer is bad.

On the positive side, given the cred of some of the people involved (saurik!) I am optimistic this may well have a shot at working.
Wow. This is not a single police weirdo. This is three different states. Ok, it is not normal otherwise it would not be in the news. Still, moving to the US became scarier to me (and Silicon Valley is tempting).

For a contrast, I'm in Germany. My oldest son will go to school next year. It is considered normal to train him now to go to and from kindergarten alone. The biggest perceived danger is crossing roads.

The kid of an acquaintance uses the tram for a few stops on the way to school. The first week in first grade the mother escorted her. Then she was on her own. Not alone though. The tram is packed with kids and they look out for each other (more or less, they are still kids).

Still, we also see that congestion at schools is increasingly a problem. More and more parents seem to drop of their kids at school.
I'll have to trust you on this. Our voter turnout was pretty much exactly like it was in 2012 which was just a bit lower than 2008. I live in a purple state, maybe that's the difference? I'm not really sure because, from here, I can't even see the propaganda having had any of the effects you've claimed.

I'll trust you. I doubt you have any motive to be dishonest. It just seems pretty different from what I see - both by the published results and by my experiences talking with people.

Also, I am guessing CPI ton is Clinton and autocorrected?
For correctness it's not a binary yes/no problem of "trusted" vs "untrusted" (or "sanitised" vs "unsanitized"). Necessary escaping is dictated by context (such as HTML, JS, SQL, e-mail header), sometimes even nested multiple times (URL argument in JS in HTML attribute in a QP email body).

Most tools and practices miss that point. This leads to creation of general-purpose (not type-safe) templating systems that can't automatically enforce correct escaping everywhere by default, so they leave it to programmers to do it manually where needed, which is error prone and ensures permanent OWASP entry as long as it exists.

Also it's impossible to convince programmers to always implement "redundant" escaping for "harmless" values (such as IDs which are assumed to always be alphanumeric), which is a vulnerability waiting to be exploited (e.g. your policy is not to allow in '"' usernames, so you think you never need escape it, but then some code reads a username from a query string argument and game over).
Is autotrader.co.uk and autotrader.com two different companies?
How so? If it's under individual control, you'll just end up with sub-networks where people will agree to distribute that type of content.

You cannot pair anonymity and security with censorship. They are fundamentally incompatible. So either accept that nasty content will be out there, or acknowledge that you don't actually want perfect anonymity and security.
That is absolutely our intention! While users who run nodes can choose to forward content to anywhere on the Internet, we want to provide people a feeling of control over the usage of their bandwidth, as we believe that (along with being paid to forward traffic!) will increase the number of people who are willing to provide bandwidth to the service. Being able to say "I am only willing to help users get to Wikipedia, or the New York Times" is something that we think is very important to being able to have enough people using the service to provide the levels of security needed for everyone on the network.
> Amazon doesn't give money to investors.

You mean "Amazon hasn't given (much) money to investors so far". It's an important distinction, whether you agree with their argument or not.
To clarify, while the video was shot a month ago, it wasn't edited and published until after the keynote, and after several other YouTubers had published hands on reviews of the device.
Microsoft/Xbox?
"Polymer's API _is_ the Web Components API, with some helpers added for reacting to property changes, augmenting templating and a few others."

For that reason I think they're different APIs, even though Polymer's API can be considered a superset of the Web Components API.
YES. Other reasons too, such as the relentless spying, but that too.
I've read Progress and Poverty and much more by still living Georgists (eg Polly Cleveland and Mason Gaffney). I'm pro-LVT.

Your response however typifies one reason I'd never call myself a Georgist -- people who call themselves such come off as believing they've discovered the single truth that obtains social salvation, ie religious nuts -- who need to dump that single truth on people they encounter at the first opportunity. Seriously, if you want to be effective, and I want you to be, please tone it down.

Thank you very much for sharing your experience in the fist 3 sentences of your comment. That's what I was hoping to learn!
Are there any reliable estimates on mortality related to this pollution? It must be considerable.
(edit: When I wrote this answer, the person I was responding to had not yet added "or Tor".)

Freenet builds its own domain of content where people post websites that are hosted in a distributed fashion by the platform. What we are working on with this initial implementation is a fully-decentralized tunneling service to access existing content posted on the internet (so if you were to compare it to an existing technology, you might look at Tor, or the "out-proxies" from I2P).
So how about this: the influencers on Snapchat are all recording themselves most of the time. These glasses did nothing to help with that particular and most popular use case.

I feel really weird for being the first to bring this up, it seems pretty obvious to me the main reason these glasses weren't going to catch on.
> Implying that a more egalitarian world is always a better world.

Any idea can become evil when taken to an extreme.
Okay, before I say 'you win', can you show me this in Haskell:

; -- the program --

(defn add* [x y] (+ x y 1))

(add* (read) (read))

; -- repl demo --
3
40.1
44.1
For a moment you got me excited thinking that such a thing actually exists, givens today's technology wouldn't be actually rocket science, until I realized its a book :)

https://www.amazon.com/DAEMON-Daniel-Suarez/dp/0451228731
I don't think you can deduce what is legally insider trading from an idea of what is "really fair". There really isn't much of a relationship. Matt Levine frequently writes about this.
in JavaScript I pepper each function with if(...) throw, eg the program will throw if something is wrong. Doing this catches a lot of errors and bad state. - Without having to babysit a compiler (Typescript) and I can enjoy all the dynamic features. Sometimes I miss the type annotation as documentation, but then I just rename the variable to make it more clear what it is and does.
The most disappointing part for me are the prices on amazon. They used to have the best prices. Now their products are overpriced. I noticed this starting in 2013 and bought a sizable stake in amzn ( the 60 minutes report on the amzn drone also helped ). So the appreciation of the amazon's stock price more than made up for their overpriced goods.
Besides their technical and marketing failings, spectacles are also a failure of imagination. They attempt to digitize moments rather than trying to use technology to enhance what you are doing or to create entirely new artificial experiences. I wish this was why they failed but the reasons outlined in the article are much more realistic
I know it's not a favorite lang around here but this is exactly what modern php is.
I can't see a problem with nonempty, am I stupid?
The tech sector essentially exists the way it does today by dint of the slow pace of the law vs. technology. In short, this is a new robber-baron period, and it will probably end just as messily for everyone involved.

But hey, who cares when people think they're magically smart enough to avoid the consequences of their actions...
Ugh. FWIW: we agree. That FAQ answer was rewritten, and it failed to go on the website.

Here is the updated text that was written a couple nights ago by one of the people who helped design the protocol with me after being confused by the answer on the website.

> Yes. Our initial release targets China as the adversary, which is a more tractable problem. We may implment full Chaumian mixes in the future (which are immune to metadata/traffic analysis), but they are unlikely to be complete for our first public release.
> Grandma and Grandpa are not going to use Snapchat, and I'm not sure Snapchat wants them to.

There's no maybe about it: Snapchat definitely doesn't want them. Evan Spiegel has been very upfront that he doesn't want the riff-raff. Snapchat has always been deliberately shitty on Android and Spiegel went out of his way to make clear how they definitely weren't going to make a Windows Phone application, back when WP was a potential player. If you're not a cool, hip teen with an iPhone, you can piss off.

He reminds me a lot of that Abercrombie CEO who said that they didn't want fatties and uglies in their stores, which was a winning strategy until it suddenly wasn't.

This is partially why, as much as I hate Facebook, I'm not particularly upset at Snapchat slowly getting steamrolled by them. Businesses that stick up their middle finger at potential customers out of snobbery deserve to fail.
For that purpose I would think optional whitelisting would make more sense. Instead of spyware lists you subscribe to in uBlock Origin, you would subscribe to a vetted, whitelist of known to be generally acceptable Orchid content.

Others might want to have empty filter list to be a complete transit/peer.

Therefore I don't think there's much room for users who want to blacklist but are not rather looking for a whitelist.

The blacklist will grow and grow, while the whitelist size will be pretty stable.

That said, I haven't used it, so the implemented blacklist approach might already support the above cases and be sufficient.
This.

The wide authority given to CPS doesn't help either. If you come to their attention the CPS will be a terrible nuisance, waste your time in court and maybe take your kid. A lot of parents probably would give their kids more freedom if they weren't one busybody with a cell phone away from being on CPS bad list.

It's one of the many issues that comes back to people trying to exert unnecessary control over others, "you shouldn't be raising your kid that way" and so on.
Not sure if this is exactly what you're asking but one can reassign variables to change their types in Python:

>>> x = 1
>>> type(x)
<class 'int'>
>>> x = 'foo'
>>> type(x)
<class 'str'>
> Even most blatant Soviet propaganda put that into 4%.

Does it? 4% is still nothing.

> Marshal Zhukov said that Lend-lease was critical to Soviet victory.

So did stalin. Politicians, generals, etc say a lot of things. Especially about "free" stuff.

> Just a few facts: for USSR lend-lease accounted for 30% of trucks, more than half of aviation fuel and about 93% of railroad equipment.

Facts you just made up?

> So it's definetely not a propaganda.

4% to 93%. Sounds a lot like propaganda.
> mathematically you cannot prove all the properties of a program just by looking at its syntax, in general.

A solution that is often overlooked is to simply shrink the set of legal programs. Simply typed lambda calculus for instance has a perfectly decidable halting problem (which is, programs written in it always halt).

There are 2 ways to handle undecidable properties with static analysis: either reject programs for which you can't prove the property holds (you will reject correct programs), or accept programs for which you can't prove it doesn't (you will accept incorrect programs, and may use runtime checks to compensate).

Rejecting correct programs is a problem only to the extent one would like to write such a program in the first place. Take this expression for instance:

if 2 + 2 = 4
then "Yay!"
else 0

It is a perfectly fine expression, of type `string`. Most type systems will reject it however because the two branches of the conditional don't have the same type. Thing is, we don't care about this program in practice, since the constant test expression screams code smell to begin with.
How else do things leak?
the project seems very cool. related: https://medium.com/@stevewaterhouse/how-token-sales-can-be-a...
What makes them so different from godoc's examples?
So what are the benefits over Tor?
Sustainability isn't even the greatest concern: where there are customers (people who pay for access to the network) there is a database of customers (in order to allow authentication) that has to be kept out of the grasp of government agencies.
Internet-Draft: Post-Quantum Key Exchange from Learning with Errors Over Rings
Google just released a product that is aimed directly at this opportunity: Google Clips. You don't wear it on your face, so it's a little different, but it's clearly designed for hands free use by parents, and it should be a little easier to get the videos out and onto whatever service you prefer.

https://store.google.com/product/google_clips
Not exactly, though I can appreciate why it might seem like that at first glance; we are selling a "utility token". This distinction is interesting and important as we are not selling a token to raise money to do development, instead having taken on seed investors to help us get the right team of developers and advisors to do this initial build out. The sale of tokens will be made after we have this network fully working and launched, meaning that we are really targeting a group of people you might call "customers" who will buy bandwidth tokens (as opposed to "investors", which is the target market of an ICO).
You can check them at runtime with mypy.

http://mypy-lang.org/index.html
If it's that easy - please provide a definition?

Because quality is often subjective, I'll be shocked if you can provide a generalized definition.
Type inference or deduction is not the same as dynamic typing. An auto variable resolves to exactly one type, which is determined by the expression it is bound to. If you pass that variable to a method expecting a different type, the compiler will stop you. If it were dynamically typed, it would let you proceed and fail at runtime.
How does this hypothetical compiler know whether to take NamespaceA.Queue.Size or NamespaceB.DynamicArray.Size or NamespaceC.File.Size?
> There is no way for an idea, by itself, to harm you.

Totally false. Ask an ex catholic.

> If you consider an idea, evaluate it in its full context,

That's the problem - you can't honestly evaluate an idea in its full context. Ever. You have a limited ability, and there is limited information, and you have biases built in. In my mind, toxic ideas are ones that prey on our frailties - fear, anger, pride, etc. - and cause us to believe socially or personally harmful things. Fascism is a toxic idea. National socialism is a toxic idea. Puritanism is a toxic idea. Etc.
But isn't the Apple watch useful? I definitely see the appeal of being able to see notifications without having to take out my phone.

I don't think it's worth the cost for me, but for those who just enjoy using technology and playing with the newest thing, I can see why you'd want one. Plus, I'm sure they make nice gifts.

I don't really buy that they're seen as rich people jewelry. It's less than an iPhone and priced like a budget or fashion brand watch.

Of course, this could be my bias showing! To me, the Apple Watch is cheap enough that you'd consider getting one as a gift for someone special, so not show-off expensive but just expensive enough. Indeed I've seen them given as such.
FWIW, as the person who has been doing the initial implementation, I can tell you that we currently only have a whitelist. I can appreciate why the person who was editing the FAQ for the website put in the world "blacklist" as it makes the sentence flow really well, but I agree with you about the issues (and there are also problems doing the distributed hashtable search to find nodes that don't have some property rather than ones that do have some property). I will poke about this to see if I can get it changed ASAP!