skysight-inc/HackerNews huggingface dataset:
I always find it so difficult to read popsci biographies of my own expert subjects. Hinton did not invent neural networks. Hinton is an amazing researcher and scholar to be sure, but this is clearly hyperbole.

Edit: I turns out I misread the article, it merely suggests his chosen approach was neural networks, rather than that neural networks are his idea. I think honestly it’s written ambiguously by intent.
Netflix and Amazon Prime Video already offer the ability to download and play later, so there is no need to extrapolate, and we do know that.
Yes, I should have mentioned that I've used Powershell Core too.
> You are mistaken because you do not know the scriptures or the power of God.

Correct on both counts, I admit!
But what of those other issues? Health care reform that specifically singles out my family for additional burdens if I lose my job because I am married to an immigrant (back to the same issue)?

What I am doing is trying to help a third party organize so that if not this year, if not next year, if not in four years, we can eventually make an impact.

Basic point is: If my family is not to be fully included with the same rights, then you don't need my vote. This willingness to throw elections made the Democrats come around on gay rights. It ought to be used by those of us in mixed-nationality families to make them come around on immigrant rights.

(In addition to organizational efforts, I am in the running for volunteering for various positions in the American Solidarity Party, primarily because they do include families like mine in their agenda.)
> I appreciate functional programmers who want to do it because it is hardcore

That's a misconception. Functional programming makes so many things so much simpler. I know, Haskell can be seen as an impractical exercise for the sake of tickling your prefrontal cortex. But again: there are other functional languages, e.g.: Clojure - it is simple and allows you to get things done in a pragmatic, reasonable and relatively quick fashion.
Visit new and upvote submissions you like.

Submit articles you think should be here.

Accept that good articles about history are firmly on-topic for HN, and you're going to have to do some ignoring of those submissions.

I can't speak for the mods but here are some posts dang made 5 years ago.

https://news.ycombinator.com/item?id=7616566#7617402

https://news.ycombinator.com/item?id=7712692#7713447

https://news.ycombinator.com/item?id=7830805#7832079

https://news.ycombinator.com/item?id=7493856#7494538
Wow, side note, compare China/SE Asia PM2.5 to the rest of the world.
AVG Antivirus 19.6.3098 Crack Torrent and Serial Key {Lifetime}
> It's not something small like a basic income, which has become popular for certain VCs and people in Silicon Valley to promote, but real massive and transformational programs that would actually cost those people something. Frankly I think UBI is a cynical ploy to give people some nominal amount to avert something more substantial like Medicare For All (or some other universal healthcare system).

I hear this sentiment a lot from people on the left, and I don't understand it. A fairly modest UBI of $1,000 per month (the basis of Yang's campaign) for adult citizens would cost $3 trillion, which is about 14% of the US' GDP. That's a bit less than healthcare as a fraction of the nation's GDP, but it's also a historically unprecedented amount of wealth being directly redistributed. How can one seriously argue that this is not a "massive and transformational" program?
Should be interesting when productivity data is married with remote work. Under Marissa Meyer, Yahoo famously rolled back their remote work policy based on productivity data, but I’m skeptical that it’s representative.
Are you seriously equating a Russian revolutionary and the German Third Reich?
I worked for a year in an incubator in Oslo, full of start ups that talked about “work hard, play hard” & having to put in extra effort. The building was practically empty by 6pm.
If you want to see how a properly referenced text looks like, pick any of the following:

* Code Complete - McConnell

* The Economics of Software Quality - Capers Jones

* Facts and Fallacies of Software Engineering - Robert Glass

* Making Software - Oram & Wilson

... and there are many others. Not all references have survived the test of time, L. Bossavit describes in his book " Leprechauns of Software Engineering" how several software development "facts" are in fact myths.

The approach you suggest suffers from a chicken & egg problem because you first have to be experienced enough to be able to evaluate such reference-free content, as the blog written by Martin Fowler. It's precisely the inexperienced that are likely to internalize such advice and perpetuate personality cults.

Your objections are invalid; one does not need to be better at a task than an individual in order to criticize them. Asking for references and proof is perfectly legitimate, at least if we want to approach our discipline more as engineering and less as "Strunk & White" as someone comically suggested in another comment.,
I worked at FB for four years, and they are in fact allowed to do so.
Asking about what's next is great for conversation in any case, whether OP's colleague is a friend or not. Maybe they don't have future plans but want to talk about it anyway to feel out the opportunities. It can be helpful and it stays forward-thinking.

If it was a surprise, there's also a non-zero chance they were fired. "Not a good fit" is vague enough to not really mean anything, but good enough to be able to move on with.

Besides that, OP is going to have a very short question if their idea of speaking to their colleague is to interrogate them, and what the OP is thinking about feels very official.
Numbers made up to illustrate a point:

Company invests $75 million. Gross revenues of $150 million. Net profit $75 million. Companies exist in perpetuity, so that net profit gets reinvested in new research to develop more advances.

Alternate scenario: Company invests $75 million. IP stolen and company recoups $0. Company goes out of business and a successful research organization that took years to build is destroyed.
"Solving Symbolic Equations with PRESS"

https://core.ac.uk/download/pdf/82605343.pdf

> The PRESS program was originally developed, in 1974--75, as a vehicle to explore some ideas about controlling search in automatic theorem proving by using meta-level descriptions and strategies

https://github.com/maths/PRESS

A lot of this stuff was/is done/doable in Prolog. I've been looking at TLA+ recently and although I'm not to far into it yet, so far everything has been "Oh, I can do that in Prolog."
> My only rebuttal (if I'm to take an opposing position), would be that different organisms have different clock-cycles, an example would be organic life, hummingbird metabolism versus elephant or whale metabolism. I don't know if their brains are also faster, but since their reaction speeds do seem to be connected to their metabolic rate, it's probably the case.

That's a fair point. I think the comparison would have a somewhat similar conclusion, perhaps not as dramatic though.

Either way, "clock speed" / "number of clock of cycles" is only one way to analyze such a system.

Another important aspect of an intelligent system is the computational complexity of each node in the system and their ability send "messages" back and forth. For a brain, we could look at the neuron. My limited understanding is that neurons are actually pretty complex from an information processing standpoint, despite the implied simplicity we see with artificial analogs such as the neural nets used in machine learning.

I can't imagine what sort of naturally occurring entity would be able to function as an analogous "node" of a galactic brain, or even what sort of messages could be used do to do complex information processing. Stars don't look like they could fulfill the role. In terms of "information processing" I don't think they really do much.

Anyways, it is all very interesting. It is probably possible to have a much larger and very different "thinking system" than what we find on Earth, although I'm not sure what it would look like. Bu I am skeptical that such a system could span the enormous distances between stars.

By the way, you should check out book The Black Cloud [1]! It is a fun science fiction story that explores this idea.

[1] https://en.wikipedia.org/wiki/The_Black_Cloud
> we

A handful of companies on both sides of the trade enrich themselves through fraud (promising recycling), and "we" get the blame. Why do you think people bother separating plastics from the rest of their trash, if they know it'll all end up in the ocean?
From my (limited) experience teams usually estimate tasks themselves à-la "agile".

Overconfidence or people trying to show-off can have you underestimating the time it takes for things to be delivered thus causing these kind of situations.
Exactly. There are tons of good old paper magazines just created cause the target audience, thus ad targeting, is relatively easy to predict.
Or in a non-medieval context, an engineer is member of a professional association of engineers whose rights and responsibilities are legislated. And imo, anyone who calls themselves an engineer but isn't a member of a professional association of engineers is misrepresenting themselves.
Trotsky was a deeply violent, cruel and evil progenitor of the most murderous regime in human history so yes.
I’m picking it’s something automated that’s gone astray as immediately below the article is a link to Amazons stock price. “In this article
AMZN
AMAZON.COM INC
1,749.62USD-55.98-3.10%”
And this excellent suggestion, which really works well if you're not an expert (= most of the time for most subjects for most people), has got downvoted. This is just the actions in HN which make me want to quit.
When I was in the US I used to have a big client in LA. When I would visit I would hang out with various immigrants when not working. There was a lovely Iranian family that owned a restaurant in the area of my client's office and we became friends.

I developed a very strong appreciation for how stratified California social class was on issues like public transportation.

Come to think of it I have been wondering why Sweden can have a really nice public transit system covering the entire country and California with less land, more people, and more tax dollars cannot. I bet that stratification is the answer.
Makes sense, thanks for sharing the link!
I really don't mean to be glib, but really:
Only in America.

Sure, you may have a hard time opening a bank account with half a million unexplained cash, but just confiscate somebody's life savings, especially when poor, unbanked and possibly black is a very American concept.

In any other civilized place the onus is on the authorities to prove that the money is dirty. Not the other way 'round.
The Minister of the Environment of Brazil tweeted the same article. https://mobile.twitter.com/rsallesmma/status/116526244201383...

(Yesterday, he said the Amazon should be monetized. With no other business plan besides a vague desire for increased ecotourism, the fires are the first step towards monetization.)
The desktop app and Movescount are supposed to be shut down at some point, but now it seems they are extending the deadline indefinitely.
Related: https://arxiv.org/abs/1610.01044

"DeepAlgebra - an outline of a program"

> We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic parsers. We describe its application to a repository of human-written facts and definitions in algebraic geometry (The Stacks Project). We use deep learning techniques.
Amazing how many Keith Richards has outlived.
Yeah, that's pretty stunning. Sulfur Oxide emissions also.

Though if you hit up January and look at SO4 emissions over the US and Europe, they're pretty terrifying as well.

Spotting wildfires by PM2.5 emissions is a part-time hobby, as is looking at MSLP and watching cyclonic storms developing. It looks as if the Atlantic hurricane season may start cooking off in the next week or so.

Not all channels have forecast values, but temps, winds, pressures, and precip do, so you can roll out a few days to see what the models are projecting. I've followed (and anticipated) most of the big storms over the past few years. Some false starts (a lot of swirls never really develop), but it was painfully obvious that Harvy and Florence were going to be massive storms.

In the Pacific, the unrelenting assaults on the Philippines, Taiwan, Japan, and mainland China are impressive.
You can respond to a topic without responding to the arguments or convictions that people had.

like if you are making a comment on bitcoin block size limits, and noticed that another blockchain has an interesting solution, someone might ignore your observation and simply have a derogatory statement about another blockchain while not realizing that this limits their view of what the bitcoin block chain can be modified to do. You can ignore that and just keep talking about what happened and how it could possibly help the bitcoin blockchain

the similarity here is that these are divisive political arguments within that community, which echoes the divisiveness in country's politics that seem to be a part of everyone's life now.
I remember exactly the comment having an impact on me too. Definitely not the best at it but it's at least given me a new way to think about the responses I'm making.
comprehensive one!
The concept of abstraction and process IS scale invariant.

What is not scale invariant is the real world details like I mentioned above.

1. What assembly language instructions a language compiles to

2. Network latency / topology / etc..

Scheme or other programming languages hides real world detail #1 so we don't have to deal with it (as much).

While there is a lot of work done for #2. we currently do not have as good abstractions for #2. as we do for #1. Therefore usually a programmer must exit the abstraction and deal with the real world issues. Hence the confusion. You usually don't have to deal with assembly language or even know about it because a good abstraction exists but you do have to deal with "network architecture" and know about it because no good abstraction exists (yet). This is what is actually going on. You are dealing with real world details because those details change. But the concepts of abstraction that SICP talks about remain invariant.

That being said my statement about SICP is correct. My diagram that illustrates abstraction and design from a high level point of view the way SICP does is correct. Even with real world details in mind there is nothing about my diagram that is incorrect. The diagram I drew IS scale invariant. SICP teaches such concepts and is thus in itself a good book that is also "scale invariant."

If you feel there is something about that diagram that is incorrect please point it out. If you can find a flaw without going into lower level details like network topology or assembly language then you can prove my statement definitely incorrect. But as such my statement is correct and the diagram is still correct.

The ideal is to come up with a language that can compile down into both applications and a network of computers with minimal leakage. The concept of abstraction that SICP introduces remains applicable to all layers even if we currently lack the technology to stay within the abstraction.

I think what's going on is you're just mistaken. You think that abstraction is not scale invariant simply because of the way we deal small programs and large programs is different. Actually it's the same, we just don't currently have the tech to hide the details for large architectures like we do for small architectures... work is being done on this front though... Terraform, docker, cloud computing all these things move it in the right direction but we don't yet have an abstraction over this area like we do for single applications.

This does not mean it's impossible. Who's to say I can't write an entire web app in one language and it compiles down to server app, networked physical servers, cache and database automatically? This is a very viable architecture. Why not let a compiler tune network topology like it tunes assembly instructions? Of course, it's not viable yet, but definitely in the realm of future possibility.
You're completely off-topic. Nobody's mentioning CQRS or anemic models.

This is an article about architecture with zero references to other authors, studies or proof of any kind.
It presents several graphs without any supporting evidence.

=> it's absolutely normal to request evidence for those claims. This is software engineering, not software literature, where we try to guess what the author meant and marvel in awe.

It's exactly the younger practitioners on HN which should ignore such articles and demand properly supported texts.
Endless Horse
I don’t like how they oppose deep learning with « logic based AI ». When Hinton got great results, he wasn’t competing against logic based AI but rather other machine learning approaches like SVMs.
Ever play with Erlang or Elixir? If yes, I am curious what your thoughts are on them.
He was of the same caliber of mass murder. He was one of the main architects of the red terror that claimed hundreds of thousands of lives. The whitewashing of Trotsky and of Lenin does nobody any favors. They were mass murdereres not whitstanding whatever utopia they were dreaming off.
What does this mean? Multiplayer video games? Video calls? Communal karaoke?

I can see how all of these things might benefit from 5G's higher bandwidth and lower latency, but they should also be more than possible right now. So if there's some untapped audience for a communal online karaoke app, I really don't think 4G networks are what's holding them back.

This type of thing is where I get pretty frustrated with 5G talk. It's a lot easier to come up with ideas than it is to build them, so if we can't even come up with concrete ideas, I don't think 5G networks are going to make the difference.

All of the proposals I see either don't make any sense under scrutiny (live streamed AR), or could easily be accomplished in another way (smart light bulbs).

Faster mobile data is great. I'm just not expecting it to transform society.
She was using government property at her workplace to do these things. If I was using my work computer and network to do improper things online, I’d expect my employer to be contacted about it.

The difference here is that she was basically stuck in the office for months. But that doesn’t make it OK.
This is super exciting research! Has there been any progress on creating new micro-ct scans of existing opened and closed Herculaneum scrolls?
Tag Clouds, are they useful at all?
Revoke the force of law for DRM circumvention.
And yet we merrily accept stuff they write outside our expertise :)
A lot of such articles exaggerate many of the specifics in favor of a dramatic storyline. I find that I enjoy them most when I treat them like based-on-real-events documentaries - Not taking them too seriously, but picking up interesting little facts and ideas along the way.
Yes, you should take anything that Jaime Marta Soares says with a big grain of salt. He's not just the head of the Voluntary Fireman's League (the board of which is staffed by his family members), he's even on the board of a big footbal club smack in the middle of Lisbon. Talk about serving two masters.
My team owns a Clojure app, amongst a lot of other apps - my understanding is the current DRI (who inherited this app once the original one left for another org) doesn't like working in it though, and that has been the experience of other developers who have been recruited to the project over the past two years. Most developers I work with on a day to day basis don't have any interest in learning Clojure, and would rather work with Scala, the JVM language most heavily used within my org.

One of my teammates also has production ClojureScript experience, and called it the worst of both worlds (Clojure and JavaScript). The primary problem is it doesn't try to abstract away the DOM, the most typically problematic part of working with JS.

Just my own encounter with it so far - I haven't had the experience of writing production Clojure myself, but from what I've seen with the syntax, I'm still happily primarily writing JS so far when I'm not writing Python/Scala/etc.
> In the late ’50s, a Cornell scientist named Frank Rosenblatt had proposed the world’s first neural network machine. It was called the Perceptron, and it had a simple objective—to recognize images.

This is right in the article. They don't attribute neural networks to Hinton—they just note that he worked with them.
Aside from Trump’s continuing insanity, it’s a pretty slow news day, and obviously they can’t lead with that.
Oracle OKs Oracle Investors to Sue Oracle: Put NetSuite Suit Before a Judge
I remember doing this as a child; I had a microscope, so it was awesome to put a drop of this water on a slide and watch all the tiny organisms moving around.

The smell did get a bit overwhelming after a while, though...
Dont sweat it, we aren't convincing each other anyways. Take a year off. Read, but never post anything except agreement and expansion. If you dont agree, quietly think about why and move on. See how you feel about this approach after a year.

Start with this comment!
frankly I don't know, but the US seems to be taking a very different approach than other western countries. most countries in Europe seem to be taking a much more measured approach, with some of the state health agencies unequivocally recommending vapes for smoking cessation.

generally, the US seems to be much more permissive towards citizens making bad health decisions (including much tamer warnings on cigarette packs) so I think it's worth asking why vaping is an exception. it makes me at least a little suspicious, although I'm not sure who to point the finger at now that big tobacco companies are acquiring stakes in vape companies.

as a final aside, consider how absurd it is that vapes are banned in SF but you can still buy actual cigarettes at any convenience store.
Honestly I think this is fairly poor advice. 'Toxicity' isn't a condition that a professional psychologist can diagnose.

Meanwhile some answers in this thread are inadvertently confirming that the theSage actually has a problem they need to deal with and might actually be toxic, with practically zero evidence to support it.

theSage sounds like he's worried about being the reason his colleague left; that it's his fault. We've all had that kind of worry sometimes when something unexpected has happened, and we think it's because of us for some reason.

And in that case, what theSage needs isn't someone to confirm or deny his so-called toxicity, it's a close friend they can confide in over a beer or whatever. They can talk about what work has been like and how someone quit and how they feel about it without involving their ex-colleague.
I wish Mozilla was able to keep these services floating around. They could vertically integrate their own slice of the web especially among techies/privacy minded sites & users.