skysight-inc/HackerNews huggingface dataset:
Well, you have to be careful about what countable means.

If countable means "put into a one to one correspondence with" then the reals are not countable because there are pairs of reals that can be proven to be real whose equality or inequality can't be proven. So in such cases you can overcount, or undercount, but you can never exactly pick each real only once.

But the set of possible constructions can be enumerated. We may not know which actually are real numbers, and which pairs are equal. But we can list all of the possibilities. So there is a countable list of things that contains them all..multiple times..along with other stuff.
Anything that prevents Bitcoin from:

- being a good anonymous currency

- being a truly global currency for irreversible online transactions

- being a currency that's easily programmable

That's the three main use cases for Bitcoin. There are contenders for #1 (Monero, Dash), and for #3 (Ethereum). For #2 it's still the easiest because of the huge network effect behind it.

Traditional currencies can't compete with crypto for neither of the space. They are attached to systems that prevent transactions from being anonymous, global, irreversible or programmable.
Not sure why you're getting down-voted. The "I don't want to share" surcharge sucks.
What impressed me when I was polishing an 8" mirror was that you could easily see the effect of the thermal expansion of the glass where you touched it briefly with a finger.
The nature of human beings, who are able to convince themselves they are doing good while in fact being quite destructive - means you can't set up something great and good that will last forever, with any mechanisms. I think the Cooper Union scandal shows this well enough. Still, Cooper Union lasted a long time in roughly its original form, before our corrupt generation took it down. That much you can hope for.
http://fusion.net/story/192436/cooper-union-endowment-traged...
Sidewalk Chalk Drawings on the Streets of Ann Arbor by David Zinn
Republicans are so out to lunch. I guess it's an example of the Overton Window in action. Obamacare is essentially what the Republicans were advocating in the 90s. So now they feel like they have to stake out a position in opposition to it, which means they have to regroup in loony land.

From the other side it demonstrates both the promise and the peril of triangulation. On the one hand you back your opponent into a corner. On the other hand, you end up making your opponent's proposal the new "consensus centralism" and force the public discourse so far in their direction that the "crazy extremist" position becomes the new rational opposition.
> I've seen many multi-datacenter self-managed deployments provide better uptime than Amazon web services.

Self-managed, multi-DC? Congrats on having a lot of money to blow, I guess.

Yes, with enough money you can match Amazon for uptime or scalability or whatever metric you prefer. For the same money you can probably buy triple the capacity in Amazon or your preferred cloud provider, so this is mostly a game for people with really deep pockets, really large scale, or really poor budgeting.

> You are forgetting that when you own the hardware, you can actually orchestrate maintenance windows with live migrations, etc and then take down an entire datacenter with no impact.

How many DCs are you talking about here? Are you self-managing in 4+ DCs? Or are you running in 2 DCs and your capacity is overbuilt by 100+%? In either case, deep pockets are nice to have.

Also, does your maintenance strategy seriously involve bringing down entire DCs? This is kind of absurd and makes half of me jealous of the bathtub full of cash you must bathe in. It makes the other half of me question some engineering decisions you've apparently made.

> all of S3 is down during critical business hours.

I have trouble believing people when they claim to do significantly better than Amazon (or another favorite cloud provider) for infrastructure uptime. If you stand up a fairly complex system comprised of a number of loosely-coupled services, you're going to end up experiencing some outages, because you'll face the same challenges as Amazon and those guys aren't idiots. You'll lose your message queue due to a bug, or you'll lose a network switch and realize your failover takes 30 minutes to complete instead of the 5 seconds you hoped for, or you'll accidentally DDOS a subsystem when exercising a failover or a system upgrade, or something else. Complex systems fail and when people tell me they built an "internet scale" system with better uptime than Amazon, I'm left to assume that they probably just do a bad job of tracking uptime or else that their systems are not at the scale they imagine. Everyone who builds large systems experiences outages.
A Bill So Bad It’s Awesome
>perfectly happy

"less terrible" is a phrase you should get to know.
Where do you get the idea from that Waymo isn't using said product? (They don't manufacture it themselves, but that's a technicality)
This claim is so absurdly easy to verify with that 3rd party that I'm actually decently sure this isn't corporate espionage.
You'll almost always depend on a 3rd party to host your data unless you're hosting it inside your office building.

Nevertheless, you're still the owner of the data, it does not matter where it is stored. CD, Local Server, VPS in a Datacenter or Slack. You as a business will have to take the required measures to protect your data.
yea I was going to say, I know for a fact that I've never seen Gmail go above 500 Mb and I check multiple workstations throughout the day. Ours usually is around 2-300 mb most of the time. If it is 1GB...maybe there are some Gmail / Chrome extensions etc?
The same dull stuff as most other jobs, it's just that you keep feeling you should be showering more.
(Of course, if the Constitution were still a thing, it'd be a good and noble job.)
If you write the first digit of pi after one minute, then the second digit after 30 seconds, then the third after 15 seconds, then the fourth after 7.5 seconds, and so on...

What's the last number you've written after two minutes? Is it the last digit of pi?
They're the ones who took her to court and were surprised when the authorities left her sick after she was convicted. What did they expect? Roses and an all expense paid trip to rehab? All they had to do was to be decent parents to her. There's no trick to dealing with addiction. Just don't be a shitty person to the people who are suffering. Don't kick out your own children when they need you most. The mother starts to realize this towards the end, but her actions towards her daughter are absolutely shitty and should not be excused.
lots of agencies have this need - social media agencies for instance need to be logged into all the gmail accounts of their clients at all times, so if they have 20 clients thats 20 logged in accounts.
I don't think I buy your argument, but I'm absolutely not a mathematician, so I could have missed something. Why I don't buy it:

It seems you didn't need to redefine the reals as programs to make this argument--the reals are classically defined as Cauchy sequences of rationals and (if the argument were valid) you could make the same claim using these sequences instead of programs.

I don't think the actual philosophical question is whether the reals are countable, it's whether the reals "exist". You can't define the reals such that they're countable because if you did, they wouldn't be the same structure.
> A logged in account is just a cookie.

...and the code, and all of the state from the objects that are, you know, "currently resident in main memory" while that logged in account is being accessed, and, and, and.
Turing complete (or more generally, expressive) type systems are not only about metaprogramming!
What are interesting projects could can do with Kafka?
Could Kafka be uses for small-scale or side project?
To the extent that dual socket LGA2011 ATX/LLB boards moved up in price to a point where you could pay three or four times more for a suitable mobo than for sixteen cores of CPU.

eBay E5-2670
Nej, är mitt riktiga namn Carl XVI Gustaf.
Don't tell me how to live my life lel
Apples and oranges.

Google's active development of self driving tech is widely known.

The same can't be said of patent trolls like Intellectual Ventures who never intend to produce anything.

Intent, while it may not currently apply to patent law, does apply in other areas of law. Perhaps it will never apply to patents. But the public is not so short sighted as to not see the difference here.
(Note: I'm a lawyer, i work for Google, but not in any interesting capacity here. Being part of Google, and not waymo, i don't even have any idea about anything here :P)

Define "resolution".

The preliminary injunction will get ruled on fairly quickly (months most likely). You should expect either side to attempt an appeal of preliminary injunction as well (unlike most non-final judgements, in federal court, you can appeal preliminary injunctions)

The actual case will take years to resolve, not counting appeals, etc.

Mark lemley crunched the data:
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1597919

Note: Time to resolution includes settlement. So time to resolution is average of 1.28 years in n.d. cal, because most things settle.

Time to trial if it goes to trial, in n.d. cal, is 2.92 years

So a while if it goes to trial :)
This is exactly the kind of situation it would be nice to avoid. It's probably impossible. I'll keep thinking. This is the kind of thing I was looking for, though - thanks!
They use the same Lidar technology from (Levandowski founded) 510 systems for Google Streetview. That's a product.
I support all people's right to a fair trial, due process, and protection from unreasonable search and seizure. Suspected terrorists, drug dealers, and child pornographers included.
if there's no punishment, then why would you expect them to comply?
Go doesn't support exception, in syntax. Go has many exceptions, in syntax
That's true, but in the intermediary it will make peoples lives worse, possibly much worse.
Slightly off-topic, but on a related theme: http://www.exurbe.com/?p=2219
Agreed. Technically they work for us.
They've inflated metrics in the past: http://www.businessinsider.com/facebook-video-views-exaggera...

I'm not sure if there's any standards between platforms for these things that allow you to compare though. I'd say for example that you should exclude watches that last less than 5s or so. YouTube and Netflix may not have thought to do it because it doesn't make much sense to them but Facebook really needs to since I assume most of their video watches are automatic (accidental) while scrolling through the feed.
I like to work in refactoring during code reviews. How much longer does it take you to show the person how the code should actually look (i.e., rewrite it for them on the fly during the review?) than it does to point out every little thing that they need to change? Probably not much. Then the changes that need to be made are already done and nobody can ignore them. This will also allow you to reason about the changes while you type them up.
Googletrans: a free and unlimited Google translate library for Python
I use hangouts within gmail, could that be affecting it?
Uh
You realize they make more phones than desktops, right?
By like a factor of 10 at least :)

So the limited manner would be to release it to desktop?
djrogers is misrepresenting the Snopes conclusion about as much as that headline misrepresents the bill. No, your employer can't say “take this test if you want to keep your job” but doubling your premiums isn't too far off of that for many people and removing the restrictions on sharing information with non-healthcare professionals is just asking for abuse.
This! If insurance companies aren't allowed to know anything about customers AND they have to insure people with pre-existing conditions, then we're not paying for insurance, we're just paying for our healthcare out of pocket before we get sick (or other people's healthcare in the case of young healthy people with high premiums).

It very well may be what's best for society, but it's definitely not insurance.
It'll accomplish a hell of a lot more than doing nothing. If they won't respond to peaceful protest then they can be removed by other means.
Amazon didn't have to compete with AWS, Azure and GCP, Facebook does and Facebook doesn't have nearly as much of a record providing infrastructure to businesses. Cloud is a hard market to get into now.
https://bensten.files.wordpress.com/2011/02/ozymandias1.jpg

^^ According to the travel books like Lonely Planet [1], these feet are probably the ones that inspired the Ozymandias poem. The torso and head are toppled nearby.

This is in the Ramesseum in the west bank of Luxor. I visited a few years ago. Highly recommended, Egypt is a wonderful country. In the Cairo museum, you can also look into the eyes of the mummy of Rameses II himself and give him the finger on behalf of Moses, and Percy Shelley.

[1] https://www.lonelyplanet.com/egypt/luxor/attractions/ramesse...
>whether that specific machine halts still has a deterministic, well-defined answer

Really? If there is literally no procedure that can tell the difference between "machines that will never halt" and "machines that will run longer than you can afford to wait", you're basically calling for a concept of "deterministic" where it's ok if a final determination never happens, and in some cases (which you can't identify), can't happen. That seems like it's counter to the spirit of calling something deterministic.
Very long read, when they. Could've linked to Mr. Bones' wild ride...

http://m.imgur.com/gallery/Wxzbl
'sales' is a really cool idea

i think someone else in the thread made a comment about 'pissing off' existing customers, but a 'sale' is the perfect solution.
> I basically don't believing people when they claim to do significantly better than Amazon (or another favorite cloud provider) for infrastructure uptime.

That needs a dollar-for-dollar or something to that effect qualification. It's possible but very expensive.

There are for instance long running (and I mean really long running, many years or even decades) experiments where any amount of downtime would cause a do-over.

One of my customers had something like this on the go. The amount of money they spent on their power and network redundancy was off the scale, but they definitely had better uptime than Amazon.

Their problems were more along the lines of 'this piece of equipment is nearly eol, how do we replace it without interrupting the work it does'.
The GOP today is basically a neoconfederacy, and it's going to end the same way. Hopefully we won't wimp out on reconstruction this time.
This used to be <$500, but currently $633 for a motherboard, dual E5-2670 CPUs, and 128GB ECC memory: http://www.natex.us/Intel-S2600CP-Motherboard-Package-Deal-p...
HD Wallpapers Download
>It's not as if a patent will contain the full implementation details

Forgive me for my ignorance, but isn't this exactly what a patent is intended for? An inventor discloses how the invention works, and is given a monopoly in exchange. If the patent doesn't give the details of how something works, then why should society pay the inventor for it by granting a monopoly over it?
I couldn't disagree more.

The mac was probably even more reliable before the Mac App Store existed. As for safety I've been using macOS since Panther and I've never had a security problem.

Not allowing apps outside of your store is like not allowing your kids outside. It works on the short term, but it's a terrible strategy in the long term. Users, like kids, need to learn common sense.
Gmail always used to slow down Firefox so much that I switched to an email client. Now Firefox runs much much better. I regret cursing Firefox for so many months.
There is/was laws about not fully disclosing everything when filing a patent. The whole point of the system (originally at least) was to encourage sharing ideas by granting inventors limited exclusivity. That said, I think some of the "best mode" of operation provisions were stripped recently.
I picked up a little Dell 3000 laptop with 2GB RAM. Chrome rapidly gets unusable, but Firefox lets me keep a dozen tabs going.

Linux (Mint 18.1) uses about 1/2 the memory of Windows 10, so I run Linux.

Haven't set up swap (flash memory only), so when I do exceed the RAM limits, things just grind to a halt, usually requiring a reboot.

Fun little portable system. :-)
Reading hacker news comments for awhile has convinced me that most folks can't distinguish insurance, cost sharing, subsidies, or ponzi schemes.
Finished it! :) https://scontent.xx.fbcdn.net/v/t35.0-0/p480x480/17237216_10...
The Paradox of Active Investment Management
For those not familiar, internally (well also externally now) Mozilla runs a site called Are We Slim Yet? I used to walk by the big monitor at the old MV office by the Platform/JS team (because i sat right across them). Fun chart to look at.
I feel like 80% of apps are probably fine either way though.
If you think it looks rough check out the Windows app store.
Profits are proof of societal benefit. The ability to make something customers value at greater than it's cost of creation is the definition of the creation of value.
Have a look at your typical modern patent application (a granted one) and see if you can rebuild the apparatus based on what is disclosed.

Yes, in theory all the (critical) details are there but in practice this only works in simpler, for instance mostly mechanical patents.

Patents that are broader, for instance to patent some principle may give an illustration and enough info that if you're skilled in the art that you may re-implement it but you're definitely not going to get working schematics and blueprints to work off.

The situation is a bit better than with most scientific papers but not that much better.
Google is and has been in negations to license the tech with several start-ups and auto manufacturers. Hell, uber was one of them. Surely you don't expect a software company to all of a sudden get into the business of selling cars?
I work in optics at my day job. For me, one of my secret pleasures of optics is learning the ancient technologies, techniques, and measurements, that remain viable even in modern times. It's a pleasurable counterbalance to the "new framework of the month" syndrome, and helps keep me sane.
A clear example of how poor the modern GOP is: they've been complaining about the ACA since 2010... and they still don't have a workable replacement policy. Nearly two full presidential terms, and only now are they saying "hey we need time, this stuff is hard!".

What's also interesting is that in other western democracies, it's the left wing that's heavily fractured and damaged by infighting, with the right-wing generally able to get along and not get sidetracked by ideological purity. In the US, it seems to be the other way around.
I ask what is useful then? People who are working on Open Compute project are definitely learning new things. Every engineering blog post from FB is the reassurance of quality research done right. FB's work may not be impactful to you, but it is impactful to a lot of others. Ever heard of React and Cassandra? All came out of Facebook. Sorry, I have to be harsh, your comment is useless.
You've got the painting goblin in the same vein.

http://i.imgur.com/NrJku9x.jpg
Yes, it is. Human nature isn't to blame here. It's a justice system that allows for those in power (position, authority, wealth, etc.) to accuse those with less means of defending themselves without repercussions.
In particular, this one was in the front page for more than 24hs.

https://news.ycombinator.com/item?id=13810015
"CIA malware and hacking tools" (wikileaks.org) (2692 points, 3 days ago, 1110 comments) Graph:
http://hnrankings.info/13810015/
I'm writing this on a dual E5-2670 v1 system I built for about 1000USD (not including monitors). 16C/32T, intell s2600cp motherboard, 48GB ECC, 256GB SSD (some cheap one), dual 3TB WD Red. Running docker and kvm on the host, and also currently using it as my main desktop. I have a freenas guest with ZFS handling the HDDs (PCI passthrough of a SATA controller), and a Windows 10 guest with GPU passthrough for office and games. All-in-all it's been a fun project, especially for the price. Incredible how cheap hardware can be these days. I paid 60USD for the CPUs when I did my build. I think they've gone up about 50% since then, but are still a steal in my opinion.
Well, so much for my idea that super-intelligence would mean lowered levels of sadism... Let's hope AI's don't find these sorts of exercises exciting.
If you think Gmail is horrible, InVision beats it by a wide margin, it uses almost 3 GB.
And gobbles bandwidth like crazy.
+1 for natex. That's where I got my motherboard and it's worked great for about 6 months.
It's interesting that you mention measurement. I've been involved in a number of exercises to source optical components in China, and have learned to judge a vendor by what measurements they're capable of.

I think there's an analogue to test-driven development in software. Many designs that you look at make no sense until you understand what can be measured readily and what can't, while making the parts and assembling them into a system.
I'm not a lawyer, but I will note that when I've patented things in the past, I usually discover better things in the years after the original patent is filed. These better things might be a new "best mode", and I might patent them or keep them as a trade secret. My lawyer says that's fine.
This makes sense. No onboard graphic card.
Understanding the inheritance with the help of an example program – c++
"yes-ish" it is turing complete http://stackoverflow.com/questions/3136686/is-the-c99-prepro... (read the second answer, not the accepted answer)
I think a good approach would be to have web browsers limit the amount of memory ads can use on a given page.

This would hopefully align incentives: we understand that ads are necessary for the web, but ad makers have to work on efficiency to increase revenue. This would theoretically be like "AMP for ads". If you use too much memory, your ads drop because you keep crashing on the page (just the ad of course).

If you wanted to be perverse, you could have a limit on TOTAL memory all ads could use on a page, so you end up creating group pressure on any individual that's not playing nice (they might start demanding not to be served on the same page as those ads etc). But maybe this is too much. Just limiting the total amount of "memory usage" is a good start.

The important thing here is that it hopefully leads to the world we actually want: REASONABLE ads that don't require crazy measures that end up hurting the sites we love. Browsers COULD ship this by default without hurting the ecosystem.
There's a great course on Coursera that uses Java by Bob Sedgewick.
So I have a serious question. If I worked on Google's self-driving project, how can I prevent me from using that knowledge at another company? More importantly, if i were truly one of the founding members of the projects, I would know inside out and best practices. So seriously, what should I do? Do I just pretend "I don't know the best practice" BS at my staff meeting?
I have an app that is market-priced. The more paying customers, the higher the price goes. This is fun for a hobby site but probably not suitable for a real business.
Highly recommend this case if you go with an Intel S2600CP (or any other SSI EEB mobo):
https://www.newegg.com/Product/Product.aspx?Item=N82E1681185...
That's because they are so easy to get around anyway. Who says you even knew about that 'best mode' when you filed and without a compulsion to disclose later improvements the patent would stand.
This wouldn't be too accurate anymore either, because now even audio autoplays.
There is a difference between applying existing field knowledge, and downloading tens of thousands of design documents from a server you normally did not access.