skysight-inc/HackerNews huggingface dataset:
This article was pretty low on details, so I went out and collected some links:

This looks more or less like another stab at the Cray connection machine[0], but with modern hardware and a better framework about how neural nets can and should work.

> The SpiNNaker engine is a massively-parallel multi-core computing system. It will contain up to 1,036,800 ARM9 cores and 7Tbytes of RAM distributed throughout the system in 57K nodes, each node being a System-in-Package (SiP) containing 18 cores plus a 128Mbyte off-die SDRAM (Synchronous Dynamic Random Access Memory). Each core has associated with it 64Kbytes of data tightly-coupled memory (DTCM) and 32Kbytes of instruction tightly-coupled memory (ITCM). The cores have a variety of ways of communicating with each other and with the memory, the dominant of which is by packets. These are 5- or 9-byte (40- or 72-bit) quanta of information that are transmitted around the system under the aegis of a bespoke concurrent hardware routing system. [1]

So, lots of relatively relatively tiny, interconnected nodes.

They built their own SoC to handle this. With a built-in router in the middle. The router handles routing on the chip, and multicasts to its neighbors.

> The heart of the communications infrastructure is a bespoke multicast router that is able to replicate packets where necessary to implement the multicast function associated with sending the same packet to several different destinations. [2]

It also looks like they're developing dev boards [3]

So basically, this looks like a giant, really awesome, custom ARM cluster that they want to do neural network stuff with.

If anyone from the team is here, I'd love to hear more about how this will be used. Specifically, how will you prevent SpiNNaker from going down the same path as the Connection Machine - (stops doing AI stuff because, say, geneticists want to use it for protein sequencing)? Why do you see this as the future over something like NVIDIA's new HGX-2 or clusters of TPUs?

[0] https://en.wikipedia.org/wiki/Connection_Machine

[1] http://apt.cs.manchester.ac.uk/projects/SpiNNaker/architectu...

[2] http://apt.cs.manchester.ac.uk/projects/SpiNNaker/SpiNNchip/

[3] http://apt.cs.manchester.ac.uk/projects/SpiNNaker/hardware/i...
Halloween and Holiday = Home Office
Neurons do a lot more than 1 calculation for each of those Hz.

Dendritic branching can be extensive and in some cases is sufficient to receive as many as 100,000 inputs to a single neuron. https://en.wikipedia.org/wiki/Dendrite

A more conservative 10,000 * 200 Hz ~= 2 Mhz * 100B
~= 100 Million 2 Ghz processors cores.

Though each dendrite is again doing far more than one calculation per each of those cycles.
Is there similar functionality for mobx-state-tree (or an easy way to allow this to work with mobx-state-tree)?

Also I couldn't tell if there was an easy way to implement "transactions" (multiple state elements that change simultaneously and should be undone as a single operation)
> We're past the "anyone can sell an app" era.

I think you've summarized the heart of the article here and I totally agree with you.

When OP says "the end is near" I think we can interpret it to mean that it's the end of the big growth era, the end of the era where that technology and demand for expertise in that technology dominates other technologies, the end of the era where new companies and their technologists are wise to invest their time in apps and learning apps.

The vast majority of apps (esp. android) make too little money to justify the expense required to create and maintain. They're not profit centers. They're loss centers.
Interestingly, there is the NIST dictionary of algorithms and data structures, which has been around since 1998, and was updated as recently as last week.

https://xlinux.nist.gov/dads/
I don't know if it makes him ignorant, but I agree the statement sweeps the philosophical issues Gödel addressed under the rug. There were two major works of the 20th century that would never have been attempted if the authors had known of Gödel's proof. First, Whitehead and Russel's Prinicpia Mathematica, which attempted to "describe a set of axioms and inference rules in symbolic logic from which all mathematical truths could in principle be proven". The other was Wittgenstein's Tractatus, which was a similar attempt to provide a foundation for language. To be fair, Gödel's theorem didn't end scientific inquiry, and I'm sure that Maudlin knows about these titanic failures. I'd like to know what he thinks of them.
I imagine it would depend on the structure of the shares - they could be "first money out" - so how much everyone gets depends on overall amounts during exits; similarly, it's why early employees may not gain anything more than their salary, not getting anything in exchange for the equity they were given during an exit event.
Wow. Hadn't seen this before. I clicked the button and laughed audibly and loudly at the alert.
So a function that always returns an empty list passes the test?
I would say Martin Fowler has built excellent materials such as Clean Code that have helped software engineers across the world improve their skills. This material has substantial leverage over say a single piece of software to better the industry.
First of all not all FP languages have TCO, Scheme is probably the only one that actually requires it on its language specification.

Secondly stuff like LINQ was already available in Smalltalk.

So all those map/filter/fold/.... constructs from lambda calculus, which Java now enjoys.

Then if we apply the modern concept of only Haskell is FP, then there are a couple of FP languages that won't meet the classification.

Ah, and Haskell does not require TCO on their language specification, so it isn't an FP language according to your arbitrary definition.
> Individual neurons run at under 200Hz [1]

maybe but that doesn't account for extensive nonlinear computation happening along dendritic arbors. Think vast decision trees resolved in parallel, per neuron, at 200Hz.
HN has the advantage of having a steady stream of unique content from all different fields that gives way to unique comments and discussion. Since posts here don't get recycled on the front pages, once a topic is discussed, you won't see it pop up again.
The 2018 iPad Pros [John Gruber]
Apple's T2 Will Block Linux from Booting
"We have analyzed the hardware full-disk encryption of several SSDs by reverse engineering their firmware. In theory, the security guarantees offered by hardware encryption are similar to or better than software implementations. In reality, we found that many hardware implementations have critical security weaknesses, for many models allowing for complete recovery of the data without knowledge of any secret. BitLocker, the encryption software built into Microsoft Windows will rely exclusively on hardware full-disk encryption if the SSD advertises supported for it. Thus, for these drives, data protected by BitLocker is also compromised.This challenges the view that hardware encryption is prefer-able over software encryption. We conclude that one should not rely solely on hardware encryption offered by SSDs."

we know how bad general code quality is in commercial vendor firmware, it's not surprising to see this
>pre-prints on their websites

People don't realize how inadequate this is long-term. Hundreds of years from now when scholars look back at the early 21st century, it's going to look like the dark ages.
Wouldn't any number you were going to stop at be arbitrary? If you can fit 1,000 to a rack, you're going to end up with a multiple of ten by the time they are done. These processors don't need to adhere to 2^X, do they?
Thankfully you can still run Windows+R > control

Or "control [shortcut]" eg control fonts

Or can still use MMC, or blablabla.msc, eg. devmgmt.msc

and hardly have to interact with the snow-blindness Settings app.
Glasgow's got a pretty long and storied history when it comes to trade union and leftist movements. Not to mention the fact that Glasweigans are generally pretty straight-talking, no-nonsense folk. Doesn't surprise me to learn that these old boys wouldn't be willing to support a regime known for murdering left-wing dissidents.
Founders, easily calculate the cost of your MRR/ARR
I agree with all of this. I'm not arguing that laptops and desktops will disappear. But, when people are deciding what to spend money on, I think laptops and desktops will become increasingly marginalized and niche. Also, I think that it very well might be the case that Apple can deliver performance parity compared to larger form factors. The latest iPad Pro is an indication of where iPhones will be in a year. The new iPad rivals the MacBook Pro 2018 in CPU benchmarks [0]. Now that they are designing their own GPUs, I expect the gap to continue to close.

Why would a consumer spend $1500 on a laptop that they use 1-2 hours a day, compared to a phone they use 8 hours a day and is always with them? I'd argue that we are already at the point where most consumers aren't even at the point of considering traditional "computers" in their decisions.

You touch on a good point about software. I think it is the biggest current stumbling block. It is currently the case that desktops and laptops offer significant workflow advantages over mobile devices, even for consumers.

[0] - https://browser.geekbench.com/v4/cpu/10567048
How easy is it to use nginx for dynamic proxying? Wondering, because the need I have is to be able to dynamically route requests to ephemeral flask apps that could be on a different host/port at any given moment. Not my design BTW, but it's what I need to do.

The thought was to have node manage the flask processes and another tracker service which would dynamically proxy to the apps. Can nginx provide this? Forgive my ignorance, just new to the concept of dynamic proxying.
I didn't really live through that era, but my suspicion is that more well-paid roles (especially in management and health care) opened for women during that era, and so they decided to work in different fields more in accordance with their own preferences. Hence the decline from women in computing. Basically, I believe it is in line with the gender-equality paradox.

It can also be the case that the whole thing is a dynamical system (for example driven by desire to work in a field which already has majority in the same gender), and it somewhat chaotically "oscillates" around the equilibrium. So there really is not an causal explanation as such.
Thats crazy talk everything on Stack Overflow is correct because it has the most upvotes.
Modern neuroscience wouldn't tell you very much that's useful about external forces.

All Hobbesian free will is committed to is that being chained to a wall changes your circumstances. Being kidnapped deprives you of meaningful options.

There is a separate version of free will that insists that agents are the ultimate cause of their actions, rather than mediated causes, which would not be consistent with determinism. But that is not the only definition of free will (and I don't think a very common one, except by incompatabilists).

A lot of this hinges on what people actually mean by the individual phrases.

If you sometimes engage in deliberation, and sometimes deliberation changes your mind, then even if that deliberation would have always inevitably come out the same way, you still know that in those cases deliberation affected your subsequent actions. Your deliberation (informed though it may be by external factors) is sufficient for most sensible versions of agency.

(EDITED to be more comprehensive.)
Hah, indeed.

Since when is that money realistically the money of the Saudi Arabian people anyway, it's the money of their butchering royal family.

"It is difficult to get a man to understand something, when his salary depends upon his not understanding it!" - Upton Sinclair
> Lay people, yes, but lay people also believe in ghosts and angels. Lay people believing it doesn't make it true.

I suggest you read the study and others like it. If you flat out ask people what they believe, with no further context, they tend to support incompatbilist intuitions. But when they test their responses to moral questions, they employ Compatibilist moral reasoning, and agree with claims that are Compatibilist.
What is relevant is that lambda calculus can be expressed.

Everything else are just variations on "What is FP" and sugar coating.
> Individual neurons run at under 200Hz

So anything your brain can think in 1 second needs at most a depth of 200 layers.
No missing anything :)
Didn't know they already have one.
http://conal.net/blog/posts/the-c-language-is-purely-functio...

https://news.ycombinator.com/item?id=618817

https://news.ycombinator.com/item?id=9088676

:-)
> works for Google

Yeah, I struggle with that, too. I've never interviewed with them, much less worked there, so everything I know or think I know about their interviewing process and work culture is second- or third-hand, but it sounds pretty miserable from the outside looking in. Still, they seem to attract a lot of people who really love working there, and they're producing things like Google maps, GMail, self-driving cars, Android, Google Docs, and a search engine... I'd be irritated if I interviewed there and was rejected (although I'm sure I have much worse interview rejection stories from far less prestigious employers), but I'm not sure that would necessarily mean that they're doing it wrong.
What is the opportunity cost of the mother going right back to work and spending no time with their newborn? Does society absorb that cost?
I have never had a bank that allowed you to log in with social media accounts. Which one(s) have you seen with this?
It's hard to actually address this comment since it's such a ramble, but I think you make some disingenuous rhetorical moves that deserve to be addressed.

You employ a rhetorical move that some theists have used in the past -- namely, casting doubt on the veracity of scientific beliefs by painting them in the guise of religion.

This is also a convenient move that lets you characterize huge swaths of academia that disagree with you by questioning their psychological motives for holding the beliefs they do.

And now that philosophy and science are reduced to priesthoods, what makes them better than religion? After all, most atheists "have some personal, emotional reason for not believing in God rather than a well-thought out chain of reasoning; but most people believe things for personal and emotional reasons, so it isn't surprising." As if the motivations behind a given belief have any ramifications on its truth value.

This effectively allows you to justify belief in God without actually making any arguments for it -- as if in the hypothetical vacancy of science and philosophy we're left with no choice but to default to theism.

I would encourage you to investigate the philosophy of belief and God in more detail, and to be "open to discovery of truth even when [you] may not like it." There is a great deal more literature on the subject than the pithy writings of Dawkins et al (of whom I am no fan) that deal with the subject in much greater detail, and with much more nuanced arguments than you're giving the entire discipline of philosophy credit for.

Also, for the record, I am not an atheist or an agnostic. I am not a philosopher, and I didn't even major in it college. There's a lot of great philosophy out there I haven't even tried to tackle. But I appreciate its value.

I think it's clear you're arguing in bad faith. And I'm disappointed that such an argument is the first thing that comes up on an article like this on HN.
When meaning and agency get steadily stripped away, or are even thrown away gladly, until all that remains are metrics that pretend to fill the hole but never really do, the hamster wheel efficiency goes up by a gazillion percent.

A phrase by John Cleese in another context comes to mind: "operating at a very, very low level of mental health." Most people would find that offensive if they heard it head on, but then complain they're not happy in the same breath. But it should be considered an opportunity, "unhealthy" can also be another word for "a lot of untapped potential".

http://www.hrc.utexas.edu/multimedia/video/2008/wallace/from...

> For instance, what would you say is happening to man, American man, in relationship to his work?

> FROMM: I think his work is to a large extent, meaningless, because he is not related to it. He is increasingly part of a big machinery, social machinery, governed by a big bureaucracy......and I think American man unconsciously hates his work very often, because he feels trapped by it...imprisoned by it... because he feels that he is spending most of his energy for something which has no meaning in itself.

I would say people don't really breed well in captivity, and that's it. Even people who consciously want it, who are so broken they embrace captivity, are not exempt. They die in some way or other, sooner or later, in one generation or another, sometimes by creating the catastrophe that kills them. Maybe the additional "complexity" is really just invented by a.) prison wards and b.) prisoners who don't dare to meet their gaze, for obvious reasons in either case.

> There is a goal, but no way; but what we call a way is hesitation.

-- Franz Kafka

We have too many yes, but's. They kill the soul, and then the body leads a derpy life.
Don't disagree with your views on Twitter but if you think of Twitter as only mutual high-fives then I'd be interested in your point of view on Instagram. :)
Starcity “Aim to Reduce High Bay Area Rent”
Oops, that's a bug — just deployed a fix. Sorry about that!
Password card.
It's probably because unless the candidate has some external references of superior qualification (i.e. known expert) and that the case can be made to the team, then it's better to level them in at a lower level so that you don't rock the boat for your current employees. It also sets a work hard tone.

One thing the author gets right is that it's not necessarily about being brilliant but being able to work in the context of the team. And this defines the promotion ladder. This is the build trust thing. It's not specifically innovative and it leaves a lot on the table (which is why people leave.. to have a bigger impact).. but after you reach the "bar" so to speak then you will have more higher level work then you can handle.
I am in no way saying that taking care of a baby is leisure time, or anything of the sort. I'm just saying from the perspective of an employer evaluating two candidates, if all other things are equal, and one took a year off and one didn't, and the employer chooses the candidate who was at work continuously, they weren't specifically discriminating against "parental leave".From that point of view, the reason doesn't actually matter at all, as they are just comparing two candidates.

Of course in reality human nature being what it is, some people probably do actually care. And rarely are "all other things exactly equal". I'd guess most employers would be more favorable towards someone who took a year off to raise a baby, as opposed to taking a year off just to lounge around.
Each neuron operates on it's own clock cycle which messes with these calculations.
s/sh*t/stuff
I don't know, pointers to relevant perf functionality would be welcome. I just looked and couldn't find an obvious way to get core dumps frpm memory or cpu usage thresholds.
Discussion here: https://news.ycombinator.com/item?id=18378332
This appears to be deceptive marketing.

The technology that's being discussed here is just taking a hash of the image at the point when it's created and using a third party service and standard cryptography to authenticate it.

You can be sure that the image was taken using a company's app because the image hash was signed with their key when it was taken, and you can be sure that it hasn't changed since then because they know that a photo with that exact signature was once taken with their app.

Now, let's be honest, that's almost certainly the most sensible way to counter fake imagery - if you want someone to believe a photo is real, prove who took it and when using the same technology that's used to secure your bank account.

However, the implication in all of these overly-hyped articles about the products is that it's some kind of "war of the robots" in which they're trying to train software to spot changes and hollywood-esque "inconsistencies".

That's really unhelpful for two reasons:
- it makes anyone even vaguely technical deeply distrust anything they say, since it's not a process that could come out with a reliable product (any ML algorithm like this can be gamed, and the whole point here is absolute reliability)
- it implies that this process can be used on any photo and so you could identify that something was fake if it just appeared on the internet, that's not the case here

Here are the two companies, for reference: https://truepic.com https://www.serelay.com

edit: gus_masa made the same point rather more concisely
I feel as if you are making an apples to oranges comparison (but I don't perceive any ill will so I am responding in good faith and with no intention to politick) in terms of gender pay gap and decreasing male inclusion in higher education.

I am glad you used the more accurate numbers of 7-10% in terms of male/female pay. From my perspective, the innate differences between the sexes explains this gap quite well: men are motivated from a very young age, in addition to their general biological proclivity towards competition, to seek approval through public acts to gain status; women are motivated from a very young age, in addition to their general biological proclivity towards hording value, to seek influence through private acts to gain status. There are plenty of specific examples that run contrary to my assertion, but in general, men seem adapted to the corporate system which would lead one to expect them to dominate therein. Regardless of classical dominance hierarchy, there is massive combined interest actively working to inject as many females as possible into high paying, white collar jobs.

In terms of higher education, the decrease in male participation is a significant problem because male participation in higher education was tenuous at best even before female inclusion began. Though higher education was indeed a "boys club," it was a very small club. Just because it was "all" male does not extend it into being "all male." The moment the gates opened for females, they took over the majority in public universities within a decade. They continue to dominate in education to this day. Metaphor is a dangerous game, but I think one should worry more about bad students getting worse than good students getting more attention.

In my opinion you make a very salient point about the difference in the reaction of people to the two problems. I see them as similar because both endeavours (more females in corporate && more males in education) are fighting both a biological tendency as well as cultural norms, no simple task in a world of consensus, and I don't have to elaborate and how very far away from that we are.
the website doesn't verify the accuracy of sort output. it just gives you the first SO answer that
a) has a code snippet
b) which is error-free
c) and has a function that can be extracted and run
...for your input format, and returns the output of passing your input code into it.

It's true to the xkcd mission, which is just to find SO answers until it returns something, not to actually confirm it was sorted correctly.
> Why?

Goldman's seems to have become the pantomime villain of Wall Street. Some of it's justified, most of it's not.

> I'm about to accept an offer next week

Speaking as someone who has never worked at GS, congratulations.
I have Ankylosing Spondylitis with peripheral manifestations in knee, elbow. I did an autologous stem cell injection into my peripheral joints with no effect.
The Secret Ad Fraud Scheme That Stole Millions
Asyncio has been in the the mainline VM for quite some time.