skysight-inc/HackerNews huggingface dataset:
There are ways to prove things without disclosing them using crypto.

A very simple example is using hashing.
Let's say two friends A and B want to play head-or-tail in a chat discussion. If A first tells "head" or "tail" and then do the draw and win, B won't trust that A did not cheat. But if B do the draw, then A won't trust them.
What you need is a way for either A or B to choose between "head" or "tail" and them commit to that choice and be able to prove it to the other after the other made the draw.
This is possible without any trusted third-party:

— A choose for example "tail", they can hash that choice along with a "password" (generally called salt). For example they hash "tailLO7f-(86F" with md5, the result is "a079dcaae211e60756e5519058dcfc97".

— A sends that hash to B. B cannot know from the hash if A chose "head" or "tail", because the hash computation is way too difficult to inverse and they do not know the password to add after "head" or "tail".

— B draws a coin (or even chose the result, it doesn't really matter) and tells the result to A.

— Then A can prove to B that they chose "tail", by telling B the password "LO7f-(86F" so B can add that to "tail" and verify A's claim by computing the hash themselves.

Now this is a very simple example of how it is possible to prove things without disclosing information. It is of course much more complicated in the settings of financial transactions with multiple parties, but it shows that it is possible if necessary prove previously undisclosed claims.
Fair points. But this is also true:

> There are, at any given point, many [non-]newbies who just want to make that one change to that one configuration file without [using] a whole programmer's text editor.

> There are, by now, probably plenty of people of who use GNU/Linux (...) who don't ____ing care about text editors [when it comes] for that one time they need to add an entry to crontab or sudoers or something.

> If you want to do serious programming / system administration, learning one of the advanced editors is - at the very least - good advice. [But even then, a simple editor is always useful.]

My point is: not just for newbies.
> Then, as Dijkstra said, don't focus on the general case

Exactly, except that since Dijkstra gave that talk (early seventies) we have learned some important results in computational complexity. The bottom line is that we know that it is impossible to create a generally useful programming language (even not Turing-complete; even a finite-state machine) where every program is relatively cheap to verify (in 2000 it was proven that language abstractions can't significantly reduce verification cost even though it would have been reasonable to believe that they could; that result is discussed in my linked post). Whatever language is chosen, only a small subset of programs written in that language will be verifiable. Identifying that subset requires extensive empirical research. This is done in the software verification community; unfortunately the PL community is reluctant to conduct empirical research.

> much of the cost has already been paid by someone else before you even start.

Not true. See the Schnoebelen results quoted in my post that I linked to. Composing proofs of program correctness requires proof effort that is intractable in the complexity of each component, not in the number of components. This was proven in 2005. In technical terms, verification isn't Fixed-Parameter Tractable, or FPT, a relatively modern[1] complexity class created to incorporate problems that are intractable in the general case but may be tractable in practice. In simple terms, that each of your components has been proven correct still means that the difficulty of proving the composite's correctness is an intractable function (exponential at least) in the complexity of each component. Of course, theoretically it's better than nothing, but not by enough.

> is that some life forms are lucky enough to be fit for their current circumstances, not all possible ones.

That is only if you view each life form as the computational system. However, that genetic algorithm I was referring to is conducted by all living systems as a single computational system.

[1]: https://en.wikipedia.org/wiki/Parameterized_complexity
Vistula is flowing north. Not as major as Nile, but why does it have to be? It is still huge. The theory is inspiring, but doesnt seem probable.
Tests are meant to be able to fail. We wouldn't hold tests if we didn't expect the subject to be able to fail. Not so much a "catastrophe", as "to be expected and previously accounted for".
So EE today is almost entirely about digital circuitry?
s/I studied he feels/I suspect he feels/

I normally wouldn't bother with a follow comment about a typo, but I think it seriously impacts the readability (like I said... feeding twins in the wee hours of the morning...)
I've been making a podcast discovery app, it's not live yet but the latest home page screenshot is http://imgur.com/a/Bkn7Y (basically: Trending topics, Recommendations (based on social media profile and listening history, subscribed shows, and iTunes charts), and instant search of over 4.5 million episodes across more than 60 thousand shows.)

I may not be able to keep going on it though because of constraints on time and resources. Would be happy to talk to anyone who'd like to partner on this (or ideas about how I can at least handle hosting bills for such a large DB!). firasd at gmail.
44 Mother Teresa Quotes – Inspire Yourself – DigitalAmple – Online Magazine
In Norway, everyone can know how much you earn [video]
All browsers lower than IE11 are NOT supported by microsoft and are a security risk. People should not support them, a lot of websites like youtube and others will not really function correctly in them.
It is hard to support my parent comment, but it is true: addicts are not good young girls/boys anymore. And if someone 'experiments' with hard drugs like cocaine or heroine, he/she is statistically-definitely addict with all consequences. One doesn't simply stop after first dose, that's why non-medical drug use is illegal.
What's new in Git 2.10?
Nope, tools also have a meaning by themselves.
... as we would have needed for CMake or Autotools. It might have worked with the former for something as complex as LibreOffice, but GNU make being so simple/basic and stable over the years was a big plus: Im sure even with CMake LibreOffice would have had fun with lots of small cornercase regressions.
Take care, someone might say you should be fired for it.
We're told not to post unsubstantive snark about the websites of submissions.
WishCan is incredible - really well done! Any thoughts of open sourcing it? I would love to host a private version for my parents. Thanks.
Good points. One thing to note is that not every failure will or should lead to an explosion.
You didn't mention the inconsistent (and somewhat weird) formatting of the source code.

https://github.com/skypeopensource/skypeopensource2/blob/mas...

https://github.com/skypeopensource/skypeopensource2/blob/mas...

I cannot specify more examples.
Do they really have culpability in the face of extreme addiction?
One Hundred Year Study on Artificial Intelligence: Stanford University [pdf]
Big problem, the code includes stuff ripped straight out of the original Skype client:

https://github.com/skypeopensource/skypeopensource2/issues/2
My guess at the origins of this project...

Firm somewhere far away where Microsoft's lawyers cannot reach (China?) wanted Skype capability in their product and paid this smart Russian guy to reverse-engineer the Skype client.

Smart guy gets permission to open source it and publishes it with commercial license option with hopes of finding more such clients.

Personally I'd not touch this with a 3-meter bargepole, because I live in a country where people use copyright and trademark law to take people to court, yet it's an interesting project.
What in that article makes you think that? I don't see it. They do say "we'll have to upgrade Xen nodes", but they don't mention the DDoS or link them.
Not necessarily. I use a site local to my network to play music in my browser using the audio tag [0]. Some of the music in my library is flac. I never came around encoding them, and the transcoding support of my player never worked perfectly, so much that I finally got annoyed and cut it. Having flac support in the browser will make those audio files work without further work on my side, which is great.

[0]: https://github.com/onli/music-streamer, but there are probably better alternatives
I read all kinds of things that I wouldn't want to fund. I read things that I would pay to get unpublished. I've spent hours reading Stormfront and Breitbart. I've even read Tom Friedman, god help me.

You don't listen to anybody you wouldn't pay? I listen to people I would pay to have behind bars.
A two-stage roundabout??? This gives me an entirely new level of respect for the general insanity of humankind!
Yes, I know that stuff. What I don't know is how Taler exchanges would handle customer information. The reliance on bank transfers and card payments is troubling. I've read https://taler.net/ with some care, and I'm still not clear.

At https://taler.net/governments I see:

> Taler is an electronic payment system that was built with the goal of supporting taxation. With Taler, the receiver of any form of payment is known, and the payment information comes attached with some details about what the payment was made for (but not the identity of the customer). Thus, governments can use this data to tax buisnesses and individuals based on their income, making tax evasion and black markets less viable.

However, at https://taler.net/citizens I see nothing about anonymizing deposits via bank transfer from payments. I can buy Bitcoin in the same way. But before I spend them, I can anonymize by mixing via Tor. Without that step, there is no substantive anonymity.
Perhaps an elegant chatbot UI in the style of the film Her, signalling comprehension, attention or even emotions or with the gradient shift?
This was a fun read for sure. It's always inspiring to see someone take on a new domain, learn something and produce something functional.
If your source media is FLAC (which is a good way to store 'source' material, that you might lossy-encode later) then being able to just stream that without any encoding step is handy. Maybe you wouldn't do this if you were concerned about bandwidth, but I'd certainly welcome this in a player to use on my LAN.
I've worked as a hospital chaplain in a big and well-respected urban teaching hospital.

From a teaching point of view, I'm really glad this article by Dr. Rosenberg is available. For two reasons...

1. I wish I had seen it during training. It's spot on in every respect. Dr. Rosenberg's advice to stay with the bereaved, and enter with them into their grief, is good advice. There's no way to do it without simply doing it.

2. It's good that Dr. Rosenberg is teaching doctors to do this work. Often enough in the past, the Saturday night emergency department staff just said "page the chaplain" when they needed to deliver bad news. We chaplains don't mind doing our jobs, but that leaves the frightened family hanging while we scramble to get to the ED and figure out who / what before sitting with the family. And, there's always some practical decision-making that takes time. For example, a Roman Catholic patient needs a Roman Catholic clergy person. So, "page the chaplain" keeps people waiting.

If you ever have to do this, do everything you can to avoid physically looking down at the bereaved people. Don't stand over them. Sit on the floor if you must. Some waiting rooms have low coffee tables or side tables. That's a good place to sit.

In teaching hospitals, the new residents (fresh-out-of-school doctors) start July 1st every year. And, they staff the ED on weekend nights. So they are getting their first sustained taste of violence, right at the top of the summer heat. They went into medicine to heal people, not to pronounce them. So this is a big shock for them. The ED unit clerk should still page the chaplain, even if the doctor delivers the bad news.

This epidemic of violence is awful. For my part, I count strong narcotics with guns, knives, and cars as instruments of that violence. It's horrible that doctors and other hospital folks have to learn how to do this. But they do. It's horrible that families have to hear this bad news. But they do.

This article should be posted on the wall of every toilet stall in every high school in the country. Why there? Simply because everybody will see it and have a chance to read it in private.
Why can't they use the abort system also for unmanned flights too? They will get good PR and a "free" [1] test of the abort system.

Does it reduce the maximal payload? Is it more expensive? Not enough testing? Some security risk for the people outside?

[1] Free as in "if you buy the TV we will give the batteries for the remote control for free".

[The video doesn't work in IE11, but it work in Chrome.]
1) "owe" - as in some kind of contractual obligation? were I a ticket-holder or Mr. Crockford, I would speak of being owed something, but I think you are using a strange word for a privately-presented public-conference that has insinuated quite a LOT, actually, by such a provocative statement. This private organization presenting this public conference can, of course, refuse to divulge anything it wishes to. The stench, however, only grows more fetid, like a used diaper hidden under the bed.

We are currently led to believe that the early invitation to speak issued to Mr. Crockford has been rescinded due to some horrible and recent behavior on the part of Mr. Crockford, sufficient to warrant taking said secret allegations seriously enough to both rescind the invitation AND maintain the secrecy of both the allegations AND the identities of the accusors.

While we, the rubber-necking public, are not "owed" any explanation, it's not a reasonable position to not provide one.

The pastebin conversation suffices, meanwhile to show us, the rubber-necking public, the paucity and weakness of evidence being used to dis-invite Mr. Crockford.

This is seriously some stupid shit.

It's not advancing humanity at all, and it's not EVEN worthy of the label "Social Justice Warrior" as it's more American cultural colonialism, forcing the world at large to behave like a stupid American television series of 30-minute-episodic-duration, often set in a domestic kitchenette... but I digress...

The actual Social Justice Warriors are concerned about real issues.
It seems absolutely as straigtforward as I wrote. From that article:

"American drug and law-enforcement officials, concerned about the dramatic surge in overdose deaths from pharmaceutical opioids (165,000 from 1999 to 2014), cracked down on both legal and illegal distribution, opening the door for Mexican heroin, which sold for five to ten bucks a dose"

A trusted source of a heroine-like drug was removed, so the cartels increase production of heroine. But fentanyl is more profitable, and

"The cartels mix fentanyl with heroin because once an addict has shot that mix, they won't go back to "just heroin," since they can't get high on it anymore."

and we end up with a much more dangerous product.
Kunlun has about 10,000 meanings, also in Chinese. I recently added it to Wikipedia,[0] when reading a 1000 year old text I am translating[1] that seems to reference eastern Indonesia with the name.

昆侖國 ("The Country of Kunlun"), an ancient Chinese term apparently broadly used to refer to a general swathe of southerly island Southeast Asia circa the Moluccas, equivalent to period Sanskrit Dvipatala or Pali Dipattala (also Jipattala, Nipattala).

[0] https://en.wikipedia.org/wiki/Kunlun
[1] https://en.wikisource.org/wiki/Translation:Manshu
THIS! +1million
Why re-encode when there's no need?
WishCan is super well done!
The point where velocity field vanishes seems to be a good example of the hairy ball theorem; even if the motion on the surface is not a rotation, if the field is continuous there has to be at least one point on the surface where velocity is zero.

https://en.wikipedia.org/wiki/Hairy_ball_theorem
I think you're confusing lossless vs lossy with 192khz vs 44.1khz - in that case I agree with you, no percievable difference.

I can also hear differences between lossless/lossy encodings. If I tweak encoding parameters until I don't notice a difference, there is usually no real space saving afterwards - so why not go with lossess instead?
As an extension of that thought, just for fun, the lights on boats follow the pattern for bikes of being seen, not improving your ability to see. If you go out onto a lake in a remote place without a good flashlight, this fact quickly becomes uncomfortable.
Defamation. That's the word I've been looking for.
While that's true, the whole key to the proof is that

0.999... * 10 = 9.999...

Because "one less 9 than infinity is still infinity" it's what really closes the loop on the proof.
Although this had unfortunate consequences, and would be unthinkable in today's enlightened world, I'm not sure the line of reasoning here was unreasonable.

The idea that manufacturers would be allowed to produce vast quantities of a partially illegal substance, without putting in efforts to prevent illegal use, seems unreasonable.

Imagine the outcry if it turned out Phizer was manufacturing all the heroin. (They and their friends are manufacturing the heroin addicts, but the doctors are equally to blame here) It seems reasonable the government would act to stop it. The understanding of human behavior was not developed enough in the 1920s to really expect a perfectly safe program.

You could argue that the government should have been serving, rather than fighting the people, but a democracy, even a republican one like the US's is subject to the whims of an easily frightened electorate.
Is.. Is this a joke?
While the guardian website does contain non-free javascript, it is not required to read the article. I currently have noscript enabled and can read the article just fine. I don't even see any ads this way, and I'm not using an adblocker.

So I'd say the website does meet his standard for freedom, because you don't need any non-free software to read it.
> I don't want to see a sexist talk (as opposed to a-sexist talk), but an 'objectionable' speaker really shouldn't be a problem if their talk would otherwise have merit and they can be reasonably expected not to be objectionable on stage.

I agree, you’ve worded that better than me.
Wifi Password Hacker Android No Root 100% Working Free
I always thought supercars did it for the attention, "Look at me! Vroom vroom!"
Naming turned out to be very difficult indeed.

http://luxate.blogspot.co.uk/2010/10/agreeing-on-childs-name...

tl;dr trademarks in lots of countries, URL availability in lots of countries. This stuff is hard.
Academic Science Isn’t Sexist
You can't use induction to get to an infinite amount of nines, so induction doesn't work in this case because you never get there.

The number of nines is not in the set of natural numbers, yet you're trying to use induction by covering every natural number.
Fair enough. The prequel timing was just a coincidence then.
FWIW I didn't downvote you and I don't think you should be downvoted, but as sjwright points out, if you did indeed make all of these blind comparisons and were able to reliably spot the difference between LAME 320 CBR and lossless and between 44k and 48k, and were able to hear the difference so clearly that you would find the lossy formats jarring or painful to listen to, then given all published research on this topic you would have to have superhuman hearing as most professional musicians and sound engineers in fact can not... so to put it very bluntly there's a concern that you might be selling bullshit.
Everyone looks that high, because the traffic lights are there.
Forward written by Erik Meijer -- https://twitter.com/headinthebox/status/737402063106113536

Lecture slides for chapters 1 to 10: http://www.cs.nott.ac.uk/~pszgmh/Slides.zip

Haskell code for all the extended programming examples: http://www.cs.nott.ac.uk/~pszgmh/Code.zip

--

As an aside, https://github.com/0xmohit/talks contains pointers to some interesting talks on Haskell.
There's a whole page about the Montague St bridge in Melbourne: http://howmanydayssincemontaguestreetbridgehasbeenhit.com/
Not right at all if a Russian poster is talking about Russians.
The major difference there is that they actually identified the particular action that got him uninvited - and to Dawkins’ credit, (as far as I know) he deleted the offending tweets.
> Perhaps you associate a lack of politeness and deference with being a jerk, but it really isn't the same.

I would certainly associate those two attributes with being a jerk.
US Embassy Requires Chinese Government Made Hikvision Cameras
Nodevember's statement was released after my blog post. In fact, I believe my blog post helped in leading them to releasing their statement.
I read that as being 50% sarcastic.
> Nice to add to the spec sheet; mostly useless in a practical setting.

I'm still waiting for the day when the OPUS codec is supported everywhere.

OPUS is some serious next-gen shit: https://www.opus-codec.org/
Strange - I usually associate "soft skills" more with leadership, people skills etc.

And yeah they are in short supply because you can't teach them directly. The employees sorta need to pick them up from experience.
How to make a police shooting disappear
30 employees, making money, 1M USD revenue. You do the math. Serbia is certainly a low cost country.
I meant "owe" more like as in "you owe me one". If contractual obligations for ticket holders exist, I guess they'd have to offer a refund.

Regarding the other meaning, I could only repeat myself: they state that some other speakers have big problems with Crockford, and that they chose them over him. I think it's totally ok for them to do that, even without providing more information.

In fact, it's totally conceivable that revealing more information could hurt more people, or the same people more, or Crockford himself, or all of this. I fail to see how it would "advance humanity" if they did such a thing.
If the HN moderators wanted to do that after reviewing complaints against me, it's certainly within their rights.
If Milo weren't gay and Jewish, he'd have the EU human rights commission on his ass. In a bad way.
Have you checked SoundCloud's implementation?

https://developers.soundcloud.com/docs/api/sdks#recording
https://github.com/soundcloud/soundcloud-javascript

I'm not sure if they solve the problem you face but I know they support Audio recording via their Javascript SDK and I thought it might be useful to you.
Floats cause even more problems.
So all the teens who live in the "No Coverage" areas on a cell carrier's map.
This is purely anecdotal, but I've seen a shift in behaviour where even people with these soft skills appear less willing to take the risk of using them. Too much focus of "must look like I'm working hard", so rush things through without sense checking and that type of thing. Getting away with it often then means it becomes a way of working so the skills don't develop and people (one assumes) hope for the best in regards to getting caught!
Children won't be saved by a digital detox
Social media is a honeypot meant to trick people into giving up their information.

Each piece on it's own may seem unimportant, but like in a game of Go, you won't see the full impact until it's too late.
What puzzles me is that alcohol is available OTC and anxiolytics and psychedelics are not. My 2 uncles died in relation to their alcohol abuse. Both of them mostly due to low availability of psychiatric care after their respective divorces (that happened before they started drinking). We have no infrastructure to help people get up after their lives come apart and the only available drug has zero potential to improve their situation.