skysight-inc/HackerNews huggingface dataset:
What's that 8GB/s referring to?

From context it sounded like you're referring to DRAM bandwidth. But no RAM interface is that slow anymore, except embedded and some slower mobile devices. Single channel DDR2 can be faster than that.

Phones have about 12-30 GB/s RAM bandwidth nowadays.

X86 based systems from 25 GB/s (dual channel) to 130 GB/s (two socket quad channel).

For example 2015 Macbook Pro 13" has about 29 GB/s memory bandwidth. Samsung Galaxy S7, 28 GB/s.

Also which GPU you can actually buy has 1 TB/s bandwidth? You'd need HBM2 for that kind of number! Recently released Nvidia flagship Geforce 1080 has 320 GB/s bandwidth according to their own marketing material (http://www.geforce.com/hardware/10series/geforce-gtx-1080).

Unless, of course, you meant to compare 2018 GPUs to 2003 CPUs. Athlon 64, released in 2003, had up to 10.7 GB/s memory bandwidth according to http://www.cpu-world.com/CPUs/K8/AMD-Athlon%2064%202600%2B%2....
> building a clean model of your program and then proving properties is nice, but without a connection to your implementation the exercise has questionable value

This is one thing that has always confused me about TLA+ since pron introduced me to it. Maybe translation of specification into implementation is always the easy part, though ...?
I have to wonder, is this some kind of a joke? https://jeena.net/s/google-fonts.png
Driverless trucks would give rise companies selling...

All those companies exist today and large trucking operations already use software for fleet tracking, routing, inventory management etc. So while these software companies might sell more software and might have to hire a few more people to add the features needed for handling an automated truck fleet, it's not like it's a whole new industry being created.
Pretty close. 10M rows for each stat -- this number grows linearly with the number of users. There are two cases for showing stats. The first is a leaderboard: random access (because of how we allow users to scroll through the leaderboards) where you'd be fetching 100 consecutive records from ranking 0 of that stat to rank N where N is the total number of rows for that stat. The second case is where you want to get the rankings for all stats for a particular user.

As for how the data is returned - whatever is fastest but ideally the response is sent back as JSON so it should all be available by the time it is sent back.

As for caching, I think it would be ok to cache the data for a short period of time, though I don't know how efficient it would be to cache 10 million rows at once (per stat.)
Freebie marketing, a.k.a. razor and blades business model? [0]

[0] https://en.wikipedia.org/wiki/Freebie_marketing
Are you sure the compression rate will be higher than what humans have experienced previously? We've had steam power, electricity, computers (and I probably forgot something). Those were all pretty big. The current big thing is AI. What reason is there to believe that AI will have a stronger effect than those have had? So far, it hasn't had a particularly strong effect. Automating jobs in various fields is not going to be a 2-year process. It will take decades. So the rate might not actually be that high.

And about your Foxconn example: if you look here [1] you will see why they were able to do that. Notice the vast disparity in employee numbers between them and, for example, Samsung. It is likely that Foxconn is far behind the industry when it comes to automation (probably due to access to cheap Chinese labor), and when you're behind, it's easy to make such big leaps.

[1]https://en.wikipedia.org/wiki/List_of_the_largest_informatio...
I agree that those are good languages - my reasons for using Scala rather than OCaml or Haskell are mostly boring practical ones (interop with Java, employment, tooling). That said I do think higher-kinded types are very valuable (which rules out OCaml until they finish the modular implicits feature), and that eager evaluation is very useful if there's a chance performance might become important at some point.
> > This formulation serves as the basis for most formal reasoning of computer programs.

> On this statement I'm not sure what community you come from, but much of the work going on in the research community is using things like SMT which exposes SAT and a flavor of first order logic, an HOL based system like Isabelle, or type theory, very few people use tools like set theory to reason about programs.

Pron is an engineer and he cares about what's easy for engineers to use. He's uninterested in research.
Alternatively you can also RTFM before complaining about secrecy...
https://www.apple.com/business/docs/iOS_Security_Guide.pdf

Of course that will never be as audit friendly as an Open-Source code. But don't call it a secret, while you actually just didn't search for the information...
Is there a more reliable source for this than Gawker?
Anyone know what is that vertical scroll shmup on the image above the gaming header?
That's exactly my point. Because some users don't understand this technical issue, you shouldn't use personally identifiable information in URLs. They might post it to services with enough entropy. But they also might post it to public parts of the internet.

I use HN comments as an example of an unsafe way to share URLs with personally identifiable information.
Functional Performance Tests for Java
I meant that IIUC wikipedia deal with this by reverting the changes, but I would make pages that list odd behaviors too instead of deleting. After all it's also a piece of information. And that would make people less inclined to attempt BS in the first place.
Christianity
Thank you very much for this. It's very informative.
Then you have the same problem and you should complain as much.
I'd prefer such product if I can just power it and control it over SSH. I don't really need an actual screen plug, as I would not use a home screen on such a tiny thing: it doesn't make sense.

Although the rasbperry pi zero seems interesting, I don't know if I can plug a minimalist, small and cheap screen on a mini-hdmi. Overall there is no point using a classic screen on such tiny devices.

This seems to compete with the raspberry pi zero, and RPi zero doesn't have wifi.
Answering those three questions can be really difficult. You probably have a big blind spot there. A professional coach can take that away.
And you give me idea on how to add column seems nice with one dialog cheers!
The whole point of collecting the data is to predict the actions or information needs of individual users. That in itself is a privacy issue.

If a recommender system for iTunes can predict the likelihood of me appreciating movies that contain violence against women, that information could be subpoenaed when I am falsely accused of having strangled my girlfriend.

I appreciate that Apple is trying to protect our privacy where they can. But if we want them to make predictions about or behavior, we have to be aware of the fact that we are necessarily giving up some privacy.
What size diamonds can you make with your gear and how long does it take? Could you scale/automate the operation easily?
If true, a state-less people should be unable to create a state (a kind of monopoly) on their own if they start out as free...
People speak about surplus workers like "everybody has food and place to sleep - we're out of things to do".

We still have to cure cancer, AIDS, deal with malaria, Alzheimer, Zika, etc. We have to solve space exploration and colonization. We have to fix aging. We have to understand the universe.

There's no law that says only brightest (most socialy adaptable) 1% of human population can work on all that. It can be 50% or more if we change how we do it (and have the resources).

That's why I think guaranteed income is stupid idea. We should have guaranteed science/engineering jobs instead. And work on all the long-shot problems. Why not?

So - that's the alternative costs of guaranteed income.
Why is simpler better?
It's an animal welfare issue.
I take some things for granted at times, but peel back what one would consider obvious and mundane to first principles routinely.

It turns out little of the human world makes much sense, other than in the context of precedent.

The physical world gets weirder yet, as this universe is, to the best of our knowledge and information currently available to us, tautological.

I of course suspend my disbelief for day to day activities, otherwise as you say I would not function, but fundamentally, I believe nothing, not even that I or anything else exists. Descartes was overly glib, apparent thought is no evidence of being, as it requires self-reference.
I've never really understood the line of reasoning that compares one country's possible past misdeeds with another country's possible present misdeeds. I don't think a nation exists with a spotless historical record, the US is obviously not exempt from this criticism, but beyond hoping to acknowledge, learn from, and possibly offer redress for past wrongs, I'm not sure that pointing out historical misdeeds has much to do with discussing the situation at present.

The issue at hand isn't China's possible hostility towards neighboring countries centuries or decades ago but rather their fairly hostile posturing with regards to territorial claims today.

With regards to your second point, from what I've read the Philippines and Japan view China's currently expanding territorial claims to be an aggressive military expansion. I'm not sure the act of US ships being present in the harbors of Japan and the Philippines is analogous to China's military activities in the South China Sea and Western Pacific, particularly as I assume both of those countries have given explicit permission to the US Navy to enter their territorial waters.
A full instruction how to make engravings
Endurance shares a full instruction how to make nice engravings.

http://endurancerobots.com/azbnmaterial/how-do-the-engraving-full-instructions/

Very useful and practical!
Right, but at that point you need people who register births and a fair chunk of the infrastructure of a conventional government.
Increasingly, "short term" disability is the stopgap for displaced blue collar workers. SSDI is rapidly becoming secret Welfare/the new deal:

http://apps.npr.org/unfit-for-work/

http://www.theatlantic.com/business/archive/2013/03/disabili...

States love it because it comes out of federal budgets, and feds love it because it's a social security net that doesn't have the pejorative inklings of "welfare."
In the UK these machines are notoriously inefficient especially with situations like you describe and also when you are buying alcohol or something they consider dangerous.

In Spain however I've noticed they get around this by having one person with remote access to every machine, so if there is problem with your bag or they need to verify your age it's all done from one point rather than an individual member of staff having to intervene in each case.

It's a lot better system.
Post-mortem interview with Bitcoin guru Sam Cole about KnC Miner
They will go on SSDI.
The chip has been on HN on and off for months. Is there something new happening?
You're right, and I did read the whole article, but with a grain of salt.
One reason is that the implementations are much more difficult. In k-d trees you have to deal with the distance from hyperrectangles. It is not something you would write in 30 minutes.

Also k-d trees don't scale much in higher dimensions (https://docs.scipy.org/doc/scipy-0.14.0/reference/generated/...) so in large dimensional problems (the article says 20 is already large) the naive linear search tends to be actually faster. Voronoi is even worse in dimensions larger than 2.
Absolutely, when it comes to CPU side of things.

Of course, network latency would likely be higher than 13-20 ms we currently enjoy on 4G+ networks. Probably something like 50 ms -- main reason for high latency, circuit switched network, would have still been eventually replaced with purely packet switched system.
Google does not have to care about them. They can use a Chrome if they really want to use Google websites.
Euro16Battle
> BTW, safety is an order of magnitude higher two decades later.

How is the current situation, safety-wise?

(Edited to make it one question, instead of two)
Four common mistakes in audio development
MY prediction is that Sierra will be aka macOS 10.12.

Starting next year we will have iOS 11 and macOS 11. That way the numbers are unified.
I'm not being naive; I never said social security numbers compared in quality to signed cryptographic credentials. The point it is the same basic idea (hand out an officially accepted identity).

Duplication isn't even the biggest disadvantage of the current system. I really wish we had an identity with real non-repudiation with our current government structure.
"Even if driverless transport technology arrives, it would take quite sometime for it to be adopted on a massive scale."

It will take as much time as factories can produce 100's of millions self-drive retro-fit kits, or alternatively, the average write-off time of a truck, say 5 years? Because 95% of companies that don't start transitioning to self-driving the day after it becomes available on the general market, will not be able to compete within the year or 2 after.

"I think people are underestimating how many new jobs could be created."

A company providing a fully automated solution for all of that is, what, 300-500 people? So let's say there would be 10 of those (which is too many, consolidation and all). Let's say that we round that up (double) to 10000, and then say we're off by a factor of 10. That's 100k, vs 3.5 million jobs now (counting just truckers, and just in the US, so not even counting all 'associated' jobs).

This whole 'but there will be new jobs' thing doesn't stand up to even the tiniest bit of math, even with very generous assumptions. And that's not even considering the nature of those new jobs. Someone who is a truck driver now, isn't going to be a software engineer, or even a sales guy. There are going to be vast portions of the population who will not be qualified to do any of the jobs that the automated ones will generate.

I don't know the solution, and I don't think UBI is it, but what I do know is that the commercial availability of self-driving cars will hit the labor market like a Mack truck (pardon the pun).
Phrack Magazine #69 (May 2016)
How much is that tho? Could'nt find it
Not an American, so Aldi is just Aldi the German supermarket chain to me. I'm talking about how product databases and shops are run in general throughout Europe. Seems like Aldi invented their own system that no other chain uses.
downvoter: care to elaborate on the usefulness of a database with almost identical entries with MEANingless values?
I really do think so, yes.

And I hear your argument, it was my first reaction as well when the thought occurred.

However, while the "average Joe" may suck at understanding online privacy issues, he may be great at accounting/farming/teaching/what-have-you whereas you suck at that. The thing is, your average Joe is more likely to listen for advice than your congressman. And he's good at something else than congressing, something practical that gets voted upon.

It would need adjustments, it would require recluse intellectuals to care for and enlighten their neighbours, but it would give me hope in the system.
Its not like LetsEncrypt is the optimal solution. Especially the heavy python client and the 90days limit sucks.
Thank you for your wise words!

You are absolutely right. Beauty can be found even in 'simple' things. Hope to see more creative work from you in the future if you get to it.

Wish you all the best!
Are you saying Notes, Safari Bookmarks, Photos, etc are encrypted on iCloud?

How come they are accessible from iCloud.com? Decrypted by the browser on the fly?
You're misunderstanding where this is to be used. It is specifically not for things like iTunes suggestions, where it would be useless. It's for situations where they want to get aggregated metrics without collecting identifiable information. The obfuscation can be performed by the client so that they never have a database on the server with accurate (at the specific user level) data.
> Outliers are the reason databases exist.

Disagree. Data is why databases exist.

> Any "average" is simply readily apparent, therefore irrelevant for serious in depth analysis.

I said "aggregate", not "average". There are many kinds of aggregate analysis useful (in Astrophysics, you can take many different samples from different stars and use the aggregate to compute commonalities in the sample that you would've detect with a single measurement). There is more to aggregate analysis than averaging data.

As for the rest of your points, I'm not a statistician so I can't comment. Also, I didn't downvote you (HN rules).
The Apple WWDC 2016 Day 1 – All You Need to Know About Apple’s Software Updates
Twitter invests in Soundcloud $70M
> Actually, what I'd really like to see happen is the guys behind the OS for the Open Pandora/Pyra consoles work in coordination with the NextThing team, so that maybe - just maybe - all systems could be running the same basic OS core.

Exactly. I would say now the Pyra will run Debian instead of Angstrom and Chip runs a Debian as well there could be an option of unifying. Angstrom was kind of horrible to work with IMHO; I use my Pandora a lot but from a Debian chroot.
It actually explains what alpha is. The line above its first occurrence it says: "In the case of polynomials". So alpha are the coefficients of the polynomial.
Not really, you just have to be given a number that you can later match, no one has to know that number is you. Could even digitally sign things.

I propose a system where each vote is broadcast to multiple counting organisations, to avoid the counters being biased, and each vote is numbered, but only the voter knows that number so they can check with any counting organisation that it was recorded as they wished.

E-voting makes better forms of voting cheaper, instead of just First Past The Post. Preference voting for example.
The library is called "reagent". It's for Ocaml. From what I gather skimming the post, the operations are: "swap" (synchronous rendezvous exchange similar to CSP channels maybe) and "upd" (similar to CAS). With composition operators (sequential, conjunction, disjunction). The implementation aggregates composed operations into a transaction. It looks as though the operators would let you implement something along the lines of Go's select() for example.

From the post:

> The key idea behind the implementation is that the reagent transaction executes in two phases. The first phase involves collecting all the compare-and-swap (CAS) operations necessary for the transaction, and the second phase is invoking a k-CAS operation (emulated in software)

> Reagents are less expressive than STM, which provides serializability. But in return, Reagents provide stronger progress guarantee (lock-freedom) over STM (obstruction-freedom)

Interesting.
So then I come in and I start a new company, who has never had any employees. How much do I pay? Or are you essentially just proposing to raise corporate taxes?
https://oneplus.net/3/specs

Europe / Asia model
GSM: 850, 900, 1800, 1900 MHz
WCDMA: Bands 1/2/5/8
FDD-LTE: Bands 1/3/5/7/8/20
TDD-LTE: Bands 38/40/41
Airbus has 4 times the revenue.
That's also the reason supermarkets love contactless (rfid) cards: they reduce the time needed to pay to a half :-)
It's really interesting that he is so open about the failure and why they are closing down. A rare thing here in Sweden.
How to write an autoresponder series: complete guide
Reminds me of Limit Theory, both in the gameplay aspect, and the "single man project" side.
Of course. But I was talking about FP there, and, I think, operational semantics must be embedded in FP. In the state machine view, operational semantics are simply a refinement SM of the denotational semantic (which could be also specified as a nondeterministic SM)
Same issue in Chrome 51, Ubuntu 14.04.
Seconded. I tried to use sci-hub but I couldn't get it to work.
The issue is not storage space.

Wikipedia wants to be an encyclopaedia, if you want to publish original research, put it on your blog.
Outliers are not the only useful thing in a set of data. If you remove outliers from most data sets, it doesn't suddenly become "almost identical" -- unless your outlier rejection system is "is it equal to 1".
my mother still says they were much faster.

But I think Aldi had a smaller varierty of products back in those days too.
New web based WebEx attendance is essentially in beta.
Best Wireless Computer Monitor Adapter
I don't think I am misunderstanding (although I'm not completely sure about that). My point isn't about iTunes. My point is about the purpose of data collection. If that purpose is predicting our actions, then that in itself is a privacy issue.

I understand that the database Apple wants to build does not contain accurate information about individual users. But if that database allows them to make predictions of our behavior, then there is a privacy issue. If the purpose is not prediction, then what is it?
Amazing! Now I finally understand the reasons behind that :D

I noticed these giant barcodes, but I never thought they could be somehow useful. I mean, the average speed of cashiers here in Germany is "normal". That's fine, I don't care if they take 10 seconds instead of 5, nor I care if they take 1 minute instead of 40 seconds.
well you tactic doesn't work that well in Austria. The peer pressure for slow people is noticeable (especially during busy times).

But that's one of the things I like about that. You take a cart - put everything in the cart and pack it into your boxes / bags afterwards and don't waste everybodies time. But this may be a very German thing to do.
I'm genuinely interested because I cannot believe diamonds are still such a hit in 2016: why are people buying them?
I came here to say that its distance array was going to be large, but yes, pretty nice for someone who wasn't exposed to algorithm or the big o notation.
Imagine what would happen in the industry if every time someone screwed up like that they got fired. Just like that, without any option given to explain what happened, how they tried everything they could from stopping it and so on.

Ah, I know it's the way it is in some organisations, sure. But is it a good way to handle people screwing up? People always screw up. If you start firing them for screwing up you end up with a pool of inexperienced workers who keep screwing up in the same way. If you keep them around, they learn and never screw up in the same way again.
This 'push' is just another unprovable unverifiable marketing bs that is just enough for the type of audience they attract until it's all opened to FS licenses and hardware is made to accept any software that user wants it to (like it should if you bought it).
This Is the Best Way to Stick to Your Goals
I would love if they released the server logic that chose which file to include.

With http/2 I'd like to host the files so that they are served from the same origin, I'd also like to cache the CSS longer than a day.

At the moment I hit two domains (and I preconnect) to try and speed this up:

<link rel="preconnect" href="https://fonts.googleapis">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>

Then in my CSS I import:

@import url(https://fonts.googleapis.com/css?family=Source+Sans+Pro:400,600|Merriweather:400,400italic,700italic,700);

That URL loads:

1. More fonts than I need.

2. Different font files depending on... useragent?

I'd prefer to self-host so that I could user http/2 server push for new sessions, and so that I could extend the caching.

The same origin via http/2 would accelerate all of the connections, and removing the need for the additional TLS connection to 2 Google properties will speed it up too.

These are about my only criticisms of Google fonts, that the little bit to make it really useful for those who want webfonts and performance is the bit that's hidden.