skysight-inc/HackerNews huggingface dataset:
"But I can't "realize it is supported by real data" when it clearly is not"

But this is somewhat my point. When you say "clearly is not", have you really tried to find it? or assume it is not there. You acknowledge you have seen some data such as the toxic ingredients. So in this case you could have a discussion around the interpretation of the data etc.

My point is that we shouldn't assume the other side are always ignorant, uneducated or just following Jenny McCarthy etc. You will find plenty of doctors, neurosurgeons etc that also have issues with vaccines. Dr. Wakefield became famous for the autism issue; however, you should be aware that since then there are many educated doctors that find some issue with vaccines. Of course being a doctor doesn’t make you automatically correct, it is just once again being aware that the person you are debating may have what appears to be credible information.

It would be best to ask where the person is coming from in a non hostile way. Just ask, so what have you discovered and what led you to your decisions for example. That is friendly and opens up conversation. From then you can discern if this person made decisions based on credible sources ( but maybe not accurate ) or they have not actually educated themselves.

When I say credible sources, I mean to say at least they are referencing other doctors, scientists, studies vs some blog. Credible in this instance doesn't necessarily mean correct or wrong, but acknowledging they did their research will allow conversation to continue. Then you can share counter research etc as conversation progresses.

Just be aware, within the scientific community, these topic still are being researched and it is not as if they are completely closed. For example investigations still continue into mercury and autism. Being aware of such is always a plus when having such discussions as you will appear to at least know something about where they are coming from. http://www.ncbi.nlm.nih.gov/pubmed/24995277
Hmm… I preferred the New Yorker video. It was shorter, it very quickly explained the twin prime conjecture, then it explained what was proven recently, then gave some insight into how, and finally said the bound had been decreased since then.
Real Faces – 3D skype in your browser
A new wave of videogames offers lessons in powerlessness, scarcity and failure
Nice article! One of the authors points was that people are not effected in their daily life through privacy problems (or at least that's what I read between the lines during that "dead bodies" metaphor).

So here's my idea: I'll place a warning in my email signature, that people should take care what they write to me because my email account is spied on and everything is recorded.

There are two points in this; first, it is quite accurate to reality, my (and everyone else's) email IS scanned for suspicious content for example. Second, it will shift the focus of people writing their text to this fact, that they are being monitored. This in turn should raise their awareness of the problem and put some effect on their life that they can easily perceive.
No libraries have ever moved from AOSP into Google Services Framework. The Google Services library is exclusively made of APIs that use Google services that were never in AOSP, such as a Map viewer, push messaging, advanced location services, and games services.

The vast, VAST majority of APIs that developers use and depend on are in AOSP either as framework APIs or in the support libraries (which are open source in AOSP as well).

Second the contracts were always there. Hell, the contracts (Open Handset Alliance) came before AOSP.
Apps That Change the World
Here is argument with data. Based on my research the vaccine contains exactly 0.01% of Hydroplemanzole, which is known to cause allergic reaction in children. In their brains!

Data? Yes. Usable? No.

----------------

> What you will often discover if you have never done this is that reality often lies somewhere in between where you started and where they are. But by being able to have dialog from a mutual understanding of concerns you as well as your debater can likely reach a greater understanding of truth wherever it may lie.

People tried that, and there was no evidence. I mean autism caused by a vaccine... Suuuure. Only way if that happened if someone REALLY botched up the vaccine, as in forgot to make a vaccine and just put measles inside it. If that happened you'd be reading it on news channel by now.

I mean it causing autism is a perfect way for parents to remove guilt from themselves. It's not my genes - it's the vaccine.
If I was a parent I'd be jumping on that particular train as well. Nothing so far corroborates any claims made by anti-vaccination groups.
The video is great: http://channel9.msdn.com/Events/MIX/MIX08/UX09

I couldn't go back to taskbars and task panes after watching that.
Leslie Lamport is on this "how to write a proof" subject for long time. At least from 1995: http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
Simple steps to prevent premature ageing
Having Android app compatibility isn't saving Blackberry and Microsoft would gain nothing from people installing Google's app store where Google control ads and apps.
We've also added a few thoughts here: https://redislabs.com/blog/the-lessons-missing-from-benchmar...
Why Vending Machines Are So Popular in Japan
To be fair, Leslie Lamport is also a Mathematician (his PhD was in Math).
Librato is Joining SolarWinds
Amazon’s Holiday Quarter Sales, Profit Exceed Estimates
> I would love it if most liberal arts institutions "fostered a broad set of knowledge and skills whose value is not always immediately apparent." But they generally don't, at least not anymore.

As I briefly mentioned in a lower comment, why can't high school be for "breadth", while university is for "depth"? More people would benefit from this, since most people go to HS, and it would also be cheaper on both individuals and society.

History, logic, basic mathematics, languages (both native and foreign), geography, and many more are covered by high schools curricula all over the world.

Edit: I think this idea that college needs to be "broad" also creates further craziness in how some of the "deep" education is structured: you go to law or medical school after 4 years of college. In other countries, law and medicine are university specialties (in my country, for example, medical school takes 6 years of university education; in the US, first you get 4 years of college, then 4 more years of medical school).
> He says that once you have a hierarchical proof, you can use pieces of it in new proofs very easily. For example, if you want to change one assumption slightly or focus on solutions that have different properties, you will be able to tell very easily which parts of the proof can stay the same and which parts will need to change.

If only that were true of a piece of LaTeX moved from one place to another, haha!
Is this just that they didn't have an ssl certificate in place on the api url?
The world wouldn't change. The people might change their behaviors. It's a strange perspective that thinks the sociological sphere is the "world".
ProPopulo: Torrent downloader app sneaks into App Store
Hopefully this means that CyanogenMod will get more bug fixes and resources so that it feels like a truly native Android experience. I didn't even know there were two different types of headphone microphone jacks (CTIA vs. OMTP) until I hit this fun limitation on my new OnePlus: https://jira.cyanogenmod.org/browse/BACON-133
Moonlight towers
https://vimeo.com/97062822 -

https://archive.org/details/Aethericnovaalbiion2011

https://archive.org/details/Aethericmachine14

http://www.aetherltd.com/refurbishing.html

Those are some of my machines. Those machines were built between 1924 and 1944. There are older printing telegraph machines, back all the way to 1852, but the Model 14 from 1924 was the first one that "just worked". So hundreds of thousands were produced, and many are still around. If you want an old Teletype, there are usually some on eBay.
Silicon Valley ageism versus the productivity of famous inventors
For small internal projects, I typically find that I end up writing the program and compiling it; It just builds up my developer toolchain from the command line to do my bidding. Also, these are all managed under source control, so my co-workers can also take advantage.
I used a sharp piece of flint to carve out an even sharper piece of flint. But it didn't become sentient. :-(
> For example investigations still continue into mercury and autism.

So? There are further investigations into whether climate change is real and man made, when the overwhelming evidence point to - yes and yes.

It's same with this thing. One douchebag claims Vaccines caused autism, twenty three works then disprove his claims.
I feel and share your pain. I dislike the model of having to vendor in every third party library's source code, so I'm trying to build an alternative tool to Godep[1]. It's still a work in progress but the basic functionality is there :)

[1]: https://github.com/fishworks/dis
* Users understand a gag-order was issued

Right there? Communication happened.

All these attempts to say "well, I'm not really communicating" are just flopping on the beach. You have information, and because of your action, a third-party now has that information. We'd call that communication any day of the week.
You can use this (https://halcyon.sh) for Haskell. Still not the same though.
Twin Paradox of Special Relativity
You may wish to explore Rust - http://www.rust-lang.org/. I can't speak to tooling but it has advanced typing and ease of distribution seems similar to Go.

Edit: mea culpa for my attempt at tongue-in-cheek humor,
"I think that's called Rust - http://www.rust-lang.org/"
I cant help but think of Amazon's FireOS and that's not a good thing.
> Most of the value I get from TLA+ is as a software design tool. It's also just a fun language to write stuff in.

This sounds very intriguing. It guess there's at least some learning curve, but maybe it'll be a fun experiment vs. P&P in future. ;)
Recently I have heard so many good stories about Go although my impression of Go gradually decreases due to unstable development tools and unfriendly debugging tools. FYI, I use IntelliJ to write Go.
Sorry about the tone, reading it now it doesn't come across well.
I've heard people say the same about iOS and Android.
Or perhaps we could put a few holes in the shark tank by releasing appropriately anonymous aggregate data hourly on all transactions?

Seriously, why not?
Anyone know about news on the CS redux/rewrite? Has it stalled or is it still on track?
You can't really compare Go with Rails...
I would compare this to using something like Spritz (http://www.spritzinc.com/) for a sighted person. At first the higher speeds feel too fast but your brain quickly adapts, especially with daily practice. Given that he's used a screen-reader his entire life when dealing with computers, I'm sure his brain has deeply entrenched pathways for parsing audio like this.

I found that it was easier to catch a few words from that file when I closed my eyes to shut out other distractions. I still couldn't understand much, but I could see how there would be a progression to build to that level.
In the end, the laws against insider are simply extensions of the condition that any firm demands from employees and contractors - ie, don't take our take stuff, don't take our delivery van for a joy and don't trade our stock based on secrets we give or leave lying around, ie, The information belongs to the company or its agents and given out to be used for particular purpose.

If there weren't laws against people taking their employer's or contractee's stuff, employers would be hire hit squads to prevent it from happening. Despite vision of libertarian utopias, that wouldn't be an improvement.
Ugh I had a Touch Pro (the first one) on Alltel. It was a piece of junk. I ended up having four of them. Every time I took it back because something was broken, I waited for weeks to get a replacement to find out that the replacement had something else broken. Alltel was being bought by AT&T/Verizon at the time, so they weren't getting new phones and the Touch Pro was the best phone they had so they couldn't replace my phone with a new, similar phone. Sprint was giving everyone who had a Touch Pro a Touch Pro 2 for free, there were so many issues.

When I finally was able to get a new phone, I got a Palm Pre which was (and still is) the best phone I ever used until HP ruined it.
Libreboot X200 laptop now FSF-certified to respect your freedom
That might depend a lot on the kind of life found. Microorganisms vs intelligent beings capable of interstellar communication. On the other hand this would not change most people's religious perspectives where such have any opinion on life outside Earth this knowledge would simply be co-opted.

Science, on the other hand would receive a pretty good boost in funds I imagine.
Wouldn't this essentially translate to the government forcing the company to mislead the public? This is different from forcing the company to be silent—that is perhaps understandable. But I would love to understand the rationale behind the government forcing a company to post a false notice with no benefit to anyone but the government itself.
Yes, but those are taught because they have a modern perspective which you won't get from Shakespeare. And it is hard to say that contemporary classics will last 300 years if you keep them locked under copy-write the whole time.

My point is that a world with Shakespeare under perpetual copy-write is different enough from this world that it would be very difficult to predict whether or not it would retain its status as a teaching necessity. It could very well be the case that we would be teaching modern renditions of folk tales instead. Or that someone else would write Shakespeare-style archetypes in a more accessible format, and we'd use that instead.

Everybody knows Shakespeare because everybody knows Shakespeare. Its hard to say exactly how much of that is undone by copy-write.
It's not bugs, parts of the import obviously are not implemented (missing code, not faulty code).
According to the video, they were using ReactJS internally for four years internally before open-sourcing it, so it might be possible :)
I'm willing to bet video-game emulation communities are in that list.
>Dissent is treated like treason in the USA.

Hyperbole undermines your credibility. Also your arguments are to complicated.
http://dmesh.thedofl.com
If I'm reading that correctly, you're not allowed to say that you haven't received any NSLs. The best you can do is to say that you've received fewer than 250.
This makes more sense—being held in contempt of court is not in itself a ruling (i.e. canary warrants are not in themselves illegal, but disobeying the court is), and is extremely difficult to fight.
> "User authentication" can mean 1,000 different things

you mean like 4 different things... and even those have common components
Nice laptop for free software purists with Intel's nasty ME functionality stripped out.

http://libreboot.org/docs/hcl/x200.html
An HTC Touch Pro 2 was my primary device for years. It had the best keyboard that I have ever used on a phone. I've been trying to get used to software keyboards for three years, and I still _HATE_ them. Modern phones are worthless, and it's the lack of any means of inputting (discreetly - I hate talking at my phone) more than a few sentences that makes them junk.
I think the answer to this, if my experience as a maintenance programmer is worth anything, is: don't trust the prose. Trust the code (proof). This is why strong type systems are so insanely valuable in programming, especially if they encode proofs of side effects or lack thereof.

Maybe there's a sort of golden middle way here where all mathematical prose-proofs should be annotated[1] by the associated computer-checked proof. The trustworthiness of a particular proof could be assessed by the number of such references and how much coverage (of the prose) they provide...?

[1] Perhaps only by reference, as here. :)

EDIT: Quick edit, I say this as someone who -- earlier in xir career -- probably subjected a lot of people to somewhat verbose comments. In practice, my comments were usually right and the programming language wasn't powerful enough to capture the semantics of what I was doing. One hopes this is the distinction between good and bad comments. Sorry for veering off-topic.
Isomorphism, React and client platforms
This is true. They really are apples and oranges; but when life gives you lemons, I choose web frameworks.
Investor dragging feet on term sheet?

You probably told them a milestone within the range of stalling.

No near term milestones!
The celebrity leaked nude stuff had a lot of DMCA flying around, pretty sure they even nuked a couple subreddits to comply with some of it
> Seems quite legitimate and essential in ordinary cases

Is it though? I am of the mind that I am okay with making law enforcement's job harder if it means more transparency and the assumption of privacy for citizens. I'd rather a couple of criminals go free than that we secretly invade the privacy of one innocent person. People have a right to know when their personal data is being examined by law enforcement IMHO. Again this isn't saying they can't get access to the person's email but that the person IS notified when it happens.

> But we need a robust court system that will restrict gag orders to legit things, rather than suppressing dissent.

You mean another rubber stamp FISA court?
People that consider autism less favorable to encephalitis/mental retardation/handicap/death are idiots.

My aunt's daughter wasn't vaccinated for small pox due to oversight, so when she contracted small pox there was a cyst on her brain that was inoperable due to her conditions. The cyst expanded and she lost some of her cognitive functions.
Although a brief examination of your comment history suggests a satirical intent in what you have written, it has (at face value) some errors. If you truly intend to build your defense for this posturing polysyallabic puffery on the foundation of subtle distinctions in meaning you would be well served by properly understanding the customary meaning of the words in question, subtle or otherwise.

Taking, as an example, the final sentence of your first paragraph: "Brobdingnagian, deleterious, autodidact, loquaciousness... are these really such strange vernacular?" we find a sentence that is grammatically incorrect, with the singular form of vernacular. Assuming a typographically damaged plural does no good, as these words are not vernaculars. We do no better with the assumption of an elided indefinite article ("are these really such [a] strange vernacular?") as the answer is trivially yes, attempting conversation using only these words (Brobdingnagian, deleterious, autodidact, and loquaciousness) would be an exercise of Cnutian futility. As the recurring problem in finding meaning in this sentence is this definition may I suggest that perhaps the primary issue is in the choice of words? I would suggest the substitution of "words" in place of "vernacular", as this recovers a perfectly sensible rhetorical question. Perhaps, in keeping with the theme of subtle distinction in word choice, "obscure" could be substituted for "strange", signifying the strangeness is rooted in rarity of use, rather than e.g. etymology.
Winning AI videos from AAAI competition
Rust's type system is definitely more robust than Go's, however it's also a different language and different philosophy. Go was created to be easy to read and easy to write, which is mirrored in the language (e.g. no generics). Rust is more complex, which might be a factor when deciding between Go and Rust. Plus it does not have the same adoption in the industry as Go.
Teacher: I see the difference in educational privilege every day
> "You absolutely can brute force with management. You can always pay people more, or give up some of your equity to someone who will work harder."

That's not remotely 'brute forcing management'. That's just giving people different financial incentives. If you had a management problem before handing over cash/equity, you're still going to have one after.
Are we Python yet?
You can support the developer via In-app purchase to get rid of those ads you know.
You're either naive or a Christian doing a "no true Scotsman". And don't confuse my comments regarding abuse and misapplication of religion as demonizing people of faith, because that's not what I said.

http://www.politicalresearch.org/2005/12/05/the-rise-of-domi...

Mainstream GOP presidential contenders at work:

http://www.rightwingwatch.org/content/ted-cruz-and-mike-huck...
The previous chain

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

explains in quite a lot of detail how it walks like bogus and talks like bogus. It makes extraordinary claims which cannot be backed up, and which are conflicting with realistic assessment of what is possible (for instance, that France would be ripping off an amount of money that equals to its annual state budget, without that money showing up anywhere.)
Middleman: Hand-crafted front end development
The world needs more visual hands-on explanations :) Very nice work
We open source quite a bit and contribute back whenever we interface with an open source project. You can see our contributions at https://github.com/resin-io
This is a strawman or reduction to the absurd (I can't decide which) and it is throughly unhelpful to convincing anyone of anything - I'm getting rather tired of seeing it.

There is a huge difference between refusing to have a lock on your front door and being okay with advertising to pay for a free service.

There is also a huge difference between publicly broadcasting your email and only the government having access to it.

Here's a hint: The NSA is not the general public.

(This comment should absolutely not be construed as acceptance of spying)
Agda's emacs-mode is probably the most developed form of this available today, although Coq's tactics are doing roughly the same thing.

Types can't be wrong in the same way that values can be. Rather, to be more specific, in any circumstance where program derivation could even remotely succeed you will have had to have been specific enough with your types that they cannot easily produce the wrong code. It simply would fail to typecheck---at least eventually.

I wouldn't say that program derivation is limited to demo-level code, I would just say that you cannot expect proof search to achieve large fragments of code. It's just too large of a space!

Instead, it's better to think of it as an interactive game. You describe types as best as you can leaving holes where you haven't figured out what you want. The compiler responds telling you information and guesses about those holes. Furthermore, if you can nail down what you must prove sufficiently well to have confidence that it's the right thing then the compiler can probably do the trivial final details for you.

If you look through Conor McBride's (admittedly vast) literature then you'll find many things discussing this idea with respect to his (now defunct) experimental dependently typed language called Epigram.
not sure if it's sarcasm :D
because "yo!"[0] and social network that has no ads[1]

0: http://en.wikipedia.org/wiki/Yo_%28app%29
1: http://en.wikipedia.org/wiki/Ello_%28social_network%29
And "computer science is one of the hardest branches of applied mathematics" (who's the author? Did Dijkstra said something like that?), so Lamport is in his own field.