skysight-inc/HackerNews huggingface dataset:
Many thanks for the link. It is an amazing read, should be an HN topic on its own
Seconded. I do the same excepting the different computers part.
Yes, that's what I was asking about. Thanks!
Can we build a secure code delivery system for the web, too? If we had a one built into our browsers, security would be a whole lot better. There would be no more compromised websites serving malware, and we could finally bring usable crypto, like LastPass, Cryptocat, miniLock, and GlobaLeaks to the masses.

Cyph (cyph.com) has exactly this; see cyph.team/websigndoc for more detail.

Cryptographic signatures are implemented, reproducible builds are on the way in the near future, and a very basic non-decentralised userbase consistency verification could be included in our planned reproducible build script by comparing the package in one's local browser to the one on github.com/cyph/cyph.github.io (which could eventually be migrated to a blockchain or something).
> comparing AlphaGo Distributed to, e.g. CrazyStone, is to compare two distinct states of the art – performance given small computational power (and a small team, for that matter) and performance given massive computational power and the efforts of over a dozen of the best AI researchers in the world.

I know the author probably doesn't have any stake on it, but defending that the state of the art should be categorized by the size of the team of researchers behind each product sounds like just being butt-hurt. "Look what this team accomplished with only two people" only compares the researchers, not the end results.
Today’s luxury apartments may be tomorrow’s affordable housing
The train, the automobile, and the microprocessor were all harbingers of exponentially increasing wealth and opportunity. Each technology lowered the cost of starting and running businesses, as well as giant ancillary businesses and markets.

The microprocessor preceded the gold rush we're eulogizing here.

They all spawned brand new ecosystems that created entirely new opportunities for entrepreneurs to create wealth. The train even unified some nation states that didn't exist.
> But a proof assistant aides you by checking your abstract thinking; you are still responsible for doing all the thinking yourself.

This isn't really true. Nowadays, Coq can automate much of the process of coming up with a full proof - which is exactly what requires “abstract thinking”. (Of course, you still need to identify “strategic lemmas”, but even these lemmas can often be proven mostly automatically.) The downside is that machine-generated proofs are often gibberish from the point of view of human intelligibility, but that's okay if you're only interested in the truth of what is being proven.

> This kind of tool aides in reasoning via a concrete example

Actually, going from a concrete example to a more general abstract concept requires you to do the thinking yourself. At least if you want the result of the generalization process to be valid.
At least you don't have to download an add-on to use Pocket ;)
Almost all of these are solvable without the added abstraction, code size increase that most languages bring, see dependent types.
that's exactly what I was wondering. except I thought their system dissolved bones too. I'm thinking of the story from Atlantic about the DEA's taking down a Mexican cartel that dissolved many of the victims in what they called "soup"
There have been sub sections of the human population who have not needed to work in the past - aristocrats, hunter gathers when times are good, maybe academics with tenure. They seem to amuse themselves with various stuff - social, sports, hunting, arts, study and teaching. You still get conflicts like the stuff in https://en.wikipedia.org/wiki/White_Mischief_(film)
> ... if I ever felt that kind of epiphany personally I know I would head straight to the nearest mental hospital.

I can't say that you're wrong, but I would also ask you to consider that your sane and reasonable state of mind that's saying this now, is not the same state of mind that believes these delusions. What may seem right now to be a very clear and easy decision may be the last thing you would even consider in another mental state.
You'd be surprised. Lots of money number crunching and facility software does stuff like this. I've seen 486 boxes running door entry systems within the last 5 years.

I'm also aware of a network of NT4 Alpha boxes running in production.
http://www.marketwatch.com/story/oakland-is-the-new-urban-ho...
Mark Zuckerberg Interview with Axel Springer CEO
You may find this simularity in the word "just".

"Let's stop overusing the word honestly." => "Honestly, let's just stop overusing the word honestly."

What is the purpose of "just" in the sentence? Is it a specifier of motivation? Was the task more complicated or difficult to grasp in a previous context? Could we just have a reason for it?
Damn if only he did.
Here are commitments to an encrypted and-gate:

a333e6e99e94fad05473f31ea377060a
d967b456aa43ede06840994d5ce8547c
8ad297f72e49a1a6a48d343ec40661ae
88d626c9c58efd6d144f585e1fa6f436

Lets assume that the rest of the circuit gives us encrypted bits, 0 and 0 for the two inputs.

So I reveal this to you:
echo -n "0,0,1,bcxbxewrewtererwre" | md5sum -
8ad297f72e49a1a6a48d343ec40661ae

Which is the third entry in the table, and we see the correct encrypted output for this gate is 1 (assuming my table was actually an encrypted and-gate table).

You still have idea if in1/in2/out are are zero or one. I could tell you that in1's encryption key was 1 (so now you know that in1 was one), and you still don't know if In2/out are zero or one.

Making any more more sense?
Might as well read Knuth vol4 fascicle 6 instead: http://www-cs-faculty.stanford.edu/~uno/news.html
Mutt (http://www.mutt.org/)
I recently had need to write some native Windows software, and I did want to use Rust initially, since I don't fully trust myself to write correct C++.

I ended up still writing it in C++ since Rust's support for writing COM objects/servers was not great, but I also ended up having to chase down a bug where I forgot to AddRef before storing a COM pointer in a map.
> In big cats a tigon, a lion-tiger cross, is bigger than either

I don't think this is right. The hybrid with a lion father and tiger mother is the huge one, but the father comes first in the name of the hybrid; tigons (male tiger / female lion) aren't so large.

The reason for the difference is that male lions brand their offspring's DNA with the urge to grow large, while female lions counter with the opposite urge. For a lion/lion pairing, this balances out, but tigers don't have the same war between the sexes going on, and the maternal tiger genetic contribution is defenseless against the paternal lion one.

Humans, by the way, do something similar: the same genetic defect causes "Prader-Willi syndrome" if it came from the father, and "Angelman syndrome" if it came from the mother.
HTC Vive unveiled: This is what the final consumer version looks like
Budget Woes in One of America's Wealthiest Cities
Just one: I don't feel my tongue moving when I "Mmmmmm".
Gnu make isnt make but it is still simple, its composed of targets and dependencies. You dont understand every detail of how say a car works yet you still drive it.
I'm color blind, and the charts you use are unintelligible to me.
Hackathon Be Gone
Know what's even harder? Drupal. Drupal makes it easy to do the wrong thing, over complicates trivial tasks and a fundamentally flawed core and the community has a huge presence of 'expert beginners'.

All CMS are hard, I always recommend a static site and loading in whatever dynamic content services you truly need.
It's about iTunes, not the iPod.

It's about the app store, not the iPhone.

It's about the phone contract, not the phone hardware.

It's about the K-cups, not the Kurig.

It's about the cable subscription (and the ads), not the set top box.
just another WordParasite.
Cashing Out vs. Cashing In
Java, JavaScript, Python, C# — all have significant alternative implementations; never mind C++ and C.
20% surge in rents last year alone, yikes...
Does this mean all your features are able to be completed in a day?
Who offered to acquire google?
Hi! Author here. Long time lurker, first time poster.

I wouldn't consider myself a particularly strong writer so any feedback you might have would be greatly appreciated.

Thanks!
The part where the guy chuckles and says that some of us could recognize this problem as part of their employment application at Google was a bit disturbing. It sounded innocent, but, ominous really.

Just assume for a second that I'm not a complete idiot. Assume that I've been around for awhile, that I know how to perform summations, that I can do running averages. Assume that I've seen complications that come with solving some of these basic problems. Assume that I've solved problems before only to be confronted by subsequent problems in the pipeline, and assume that I've come to expect that kind of development.

What in the world could my first impression mean to anyone?
Neanderthals’ parting gifts to Homo sapiens were disease-causing genes
Show HN: Oscars 2016 on Twitter, in real time
Maybe I'm doing this wrong but I don't think react-native is a dependency of moment
Podcast: malnutrition with microbes, forgers with science, and killing cancer with gold
Raspberry Pi 3 already available for purchase in Australia
Sort of, but not exactly:

> So I reveal this to you: echo -n "0,0,1,bcxbxewrewtererwre" | md5sum - 8ad297f72e49a1a6a48d343ec40661ae

what is 1 in 0,0,1? the encrypted output?

Since this salted hash must be verifiable, I must know the bcx... string, and I can brute force all 8 possible pairs of numbers to get the gate. Isn't this a problem?

> and we see the correct encrypted output for this gate is 0

Where did the zero come from?
During relatively low intensity conflicts mobile networks usually work, e.g. in Syria or Ukraine. I think it's the most common scenario in the modern time for shit-hits-the-fan.

http://www.al-monitor.com/pulse/zh/originals/2015/04/aleppo-...

http://dlca.logcluster.org/display/public/DLCA/3.4+Ukraine+T...
Some organizations are resistant to change and that's OK, but when systems are maintained to the point that they become a historical curiosity-- that's going a bit too far.

Aside from comically high maintenance costs (which only the government and perhaps banks can afford to pay), such organizations also need to _hire_, _train_ and _retain_ staff that can actually do their jobs on these things. It simply isn't feasible to keep let alone recruit strong talent in an environment where legacy goes beyond a certain level. Yeah, good employees _ARE_ going to be concerned about their C.V.'s and that is understandable.

An excessive "upgrade cycle" may, in some cases be risky, but a vastly more common problem is orgs that don't change/adapt/upgrade fast enough. That has risks and costs as well.
Global warming can't do it directly, but the resulting instability -- mass migration, famine, political and religious zealotry -- could certainly increase the odds of nuclear conflict. I doubt that a majority, i.e. 3.5+ billion, will die, but it won't be pretty.
Oscars clean live stream mini site (desktop browsers only)
Speaking of crazy shit the US actually did do...

https://en.wikipedia.org/wiki/Starfish_Prime

We already nuked space, just for fun.
Not every culture says "Mmm".
I just downloaded and tried out an app called "Time to code - learn HTML, CSS and JavaScript." I have never used it to teach (and only downloaded it in response to this Ask HN). But, what I have seen is actually quite good! It might get a bit boring for teenagers, but as a learning tool, it seems pretty decent.

(Also note that I'm 38 so I'm not a very good judge of what teenagers would enjoy.)
Thanks for the summary. Seems like a very small difference, and I'm inclined to agree with Classic, so much so that I have no idea how people can be so divided on this.
There's absolutely nothing in either HN's guidelines or general culture to exclude non-free software (in either sense).
Surely Coq can fill in the wholes, but it is completely abstract; it doesn't use concrete examples to do this, and anyways, you really have to understand what it is doing.

The point of this kind of work is that it augments your thinking by allowing you to visualize and manipulate your concrete example. Before, you'd just have pen and paper for that, with no assistance from the computer at all. The whole formal kick really comes after you have enough intuition about the problem, this comes before that and aides in the intuition accumulation process.
cat $FILE | nc -l -p 80
Thanks for sharing your tutorial. It looks like it'll carry me through the hosting end of things, and corroborates what I'v heard elsewhere about S3 being a good way to go for static sites.
Gradle is the best general purpose build system I've seen, a bit of initial overhead but as soon as you need something more than basics you're very glad it's done the way it is. Not without flaws but better than other "API" build systems I've used (WAF, CMake)
It's common to call video games a medium. So that's a good example if it helps.
>Hassabis at AAAI indicated DeepMind’s intent to try to train AlphaGo entirely with self-play. This would be more impressive, but until that happens, we may not know how much of AlphaGo’s performance depended on the availability of this dataset, which DeepMind gathered on its own from the KGS servers.

As an amateur (10k) go player who watch the Fan Hui games, I can say that AlphaGo seems to rely heavily on the training data. This is because all of its moves feel very human, even in circumstances where strong humans find better, weird looking moves. This is in contrast to chess AI (and even other go AI) that feel distinctly roboty in how they play. In watching a professional (9p) commentary of the games, it seems that Fan Hui not lose because of particuarly good moves of AlphaGo, but because of some specific mistakes that he made (this is not unusually, as most professional games come down to loosing moves, instead of winning moves). In this sense, AlphaGo seems to be playing at human level, but with fewer mistakes.

This is certainly impressive, but unfortunately AlphaGo currently seems to be a demonstration of synthesizing and automating expert human knowledge, instead of creating new knowledge.
> what is 1 in 0,0,1? the encrypted output?

Yes, the encrypted output.

> Since this salted hash must be verifiable, I must know the bcx... string, and I can brute force all 8 possible pairs of numbers to get the gate. Isn't this a problem?

I tell you it when I give you the table entry. You have the commitments, go ahead and tell me the rest of the gate if you think you can brute force it. (You can't-- the nonces are per table entry).

> Where did the zero come from?

From the third field in the table entry.

Edit: HN won't let me respond to you, but the fact that it's the Nth entry is irrelevant; I called out the number so you'd see if was one of the values that were committed to. Sorry for adding confusion.
Why do I need an intuition when I can just manipulate formulas?
Вывод 5 000 000 эфириум кран etheriumfauset проверил на вывод ПЛАТИТ
thunderbird and will be sorry to see it gone, though i am mostly using webmail and mobile. but, for that little that i need an actual email client, thunderbird works like a charm
The Bloatware Debate (1999)
Bug 1135561 – developer.palm.com returns SSL 3.0 ServerHello for TLS ClientHello
Another important factor is the type of content. If you're watching a romantic comedy it might not be as important to be in hi-def as if you're watching LOTR.
Ad Nauseam
This is a perfect example of how screwed up some people's view of sex is. We are talking about PERMINENTLY AND SEVERELY MUTILATING SOMEBODY just so we can dodge having to deal with a basic, healthy aspect of humanity.

That is just plainly, disturbingly, fucked up.
Where does it say that?
Unfair Poker Cards: Mondrian Style
It's possible that you did not understand the original article. Or perhaps you did not read it. When you write:

"Each technology lowered the cost of starting and running businesses"

No, not in those industries. When an industry consolidates, the cost of the starting a new business in that industry skyrockets. Eventually it becomes impossible to start a new company in that industry. That clearly happened for trains and automobiles, microprocessors, and certainly now for Internet companies.

This is a pat re-statement of a tired cliche:

"They all spawned brand new ecosystems that created entirely new opportunities for entrepreneurs to create wealth."

There will probably be economic growth in the future. I mentioned one obvious industry that is still forming: genetic engineering. That doesn't change the fact that the gold rush has come to an end for Internet startups.

Here you are changing the subject:

"The train even unified some nation states that didn't exist."

I come back to my original diagnosis: Your comment sounds like pure denial. You don't want to face a painful truth, so you create a rationalization.
My understanding is that once the neural network is trained you don't need as much computation power to put it in use.
Visualize Python, Java, JavaScript, TypeScript, Ruby, C, and C++ Code Execution
I think that's the best practice anyway.
strings -a | more

Postfix saves all my email to a flat file and I read it with strings -a pipped to more.

If something is sent in a format other than plain text, I just delete it.
That depends on your target user. I can't imagine asking my parents to run your script (even if it was packaged up as a single file), but I'd like to think that they could run something like AppImage without too much problem.
Yet another is instant.io
I'm not trying to be mean. If one is going to stick with an obsolete source control system--as an important part of one's work process--there should be a good reason for doing so; however, one cannot make such a justification based on ignorance of the alternatives unless the two hours to learn, e.g., git, cannot be spared and would not be recouped in future productivity.
While I think I actually said similar things about this being incremental progress when AlphaGo came out, what I would really enjoy would be an evaluation of how much progress the enhanced techniques represent as AI techniques. AlphaGo involved a Convolutional Neural Network driving Monte Carlo Tree Search with a linear approximator thing to speed things up. Convnets are themselves something of a hybrid system.

So, will the future look like combining together more and more hybrid levels? Is there a limit to the number of layers or pieces? Maybe only someone Yann Lecun could comment. Still, I'd be curious.
Set Automatic Series Color for Chart and Custom Rotation Angle for Text-Frame
http://computableapp.com/ a great python teaching resource for ipad. like someone already mentioned. try replacing them for proper laptops. damn, even if they were US$100 android tablets they would be more useful as a teaching tool, given android can run a web server, a database server, etc. cheers for the endeavour!
Trump vs. a Japanese Whale
Are you sure about that ?

http://www.bury.gov.uk/CHttpHandler.ashx?id=4013&p=0

Specifically discussing Moslem burials, offers :

Types of graves available

Timber, brick or concrete vaults

On request, graves will be lined with timber, brick or
concrete breeze blocks to form an inner shell in the grave
space. Please note that we require the following notice for
these types of vault.

And in NY (http://www.isnf.org/Documents/GuideToMuslimFuneralsInWestern...) you are charged extra for not having a lining on the grave.

"A concrete or other permanent outer burial container is
not required, but there is an additional charge for a burial without an outer burial container."
How to wipe data permanently with DVDFab PC Backup
But that's not important right now.
Benchmarking Exceptional Series A Companies
Just encrypt the data and pass the key in the url, like so:

https://bitf.ly/1b4b7ee4fe39312afbfffbe47d831f99#someaeskey

That way, the server never sees the key (it's client-side and fragments don't get sent), but nobody except the recipient can decrypt the data.
Democracy doesn't require consensus and it doesn't require coding. Bitcoin is not democratic, and it is definitely not a big step forward over monetary policy being decided by people who have been appointed by democratically elected officials (which is what we have now).
Absolutely positive, I've been to quite a few. You can refer to Wikipedia, a quick glance shows it to be in line with what I was saying: https://en.wikipedia.org/wiki/Islamic_funeral#Enshrouding_th...

The UK burial section for Muslims might be for offshoots or sects; for example, I do not know if Shiaa Muslims adhere to the same. Or it could be like here in the US: government regulations say you can't bury people sans-casket, so it could be "these (and only these) are your options."
Don't hate on js. It is beneath you.
Hey, isn't that it? Some people can just spend all their time in abstracting thinking land, manipulating formulas without concrete examples providing any context, because they have some amazing super power that many of us (maybe most?) don't have.

Others need context. We need to see concrete examples of the problem, play around with them, explore them, until our brains can "get" a generalization.

And in the end, maybe we all benefit from concrete context? When you are manipulating formulas, do you impose a concrete example in your head to guide that manipulation? Wouldn't it be great to get that out onto the computer somehow?
My favorite of these tools is magic womhole (command-line only):

https://github.com/warner/magic-wormhole

It gives you a few words for you to give the recipient, they type them in, and boom, transfer starts.
HTML5 music visualization
Ideal Scenario--

People win:

The constitution and the tax laws are changed to promote redistribution.

Capitalists Win:

Things continue as they are.

Most likely Scenario--

Regional and Civil Wars are fought over the extreme income inequality.

People Win: Laws and the constitution are subjected to root and branch reform. Capitalists are thrown in jail or executed.

Capitalists win: A world wide totalitarian government set up by the capitalists.

Most dystopian scenario--

People Win: The common folk won't care about the 8th amendment to the US constitution when dealing with the Capitalists.

Capitalists Win: capitalists will use weapons of mass destruction or mass extermination against the commoners.
I have been (forced against my better judgement) to attend a total of 4 conferences in my whole career ... and been politely asked to leave during 3 of them

In all cases, my questions were perfectly valid and reasonable, but this was at a time when "linux" was considered some sort of nutjob conspiracy theory that would go away if ignored.

I think that the total amount of unemployment I have had over all those years adds up to about 2 weeks total ... plus the additional inconvenience of spending about 4 months total in court. (which I managed to successfully bill for, so I suppose that doesnt count.)

The various CIOs, CEOs and other "Eye Tee" experts that I met at these conferences - Hopefully - are no longer involved in the tech industry.

Just sayin ...
"A STUN server is still used to find out your external IP for NAT-busting."

essentially, now the STUN is the MITM. STUN server lies to both parties about what their IP addresses are and responds with IPs that it controls. Both parties connect to those IPs and the messages are relayed between them.
that only works if you have a way to assure the JS has not being modified every time the page is ever loaded everywhere.
That only works on a content addressed protocol like IPFS
Travelopy App: a replacement for Evernote Food as travel journal
Need someone's insight: Isn't klein bottle a 3D knot?
@valarauca1 good point, though I'm sure there was a good reason behind this. Did someone think this might be a one-up on Sputnik? Anyway I'm glad it didn't go through. The success rates for US Air Force rockets at that time wasn't good.