News for hackers. Stuff that matters.

jsprogrammer

Re:The Holy Trinity: Logic, Languages, Categories (2011) on Sunday November 27, 2016 @09:05PM (#13052916)
Everything (written, anyway) contains an order.

The comment says that you may want to treat the same things in different orders as being the same "thing".

A better, in my opinion, English translation of the univalence axiom is, "identity is equivalent to equivalency" (formally, [(A=B)~(A~B)]). You can find this translation in the HoTT book[0].

Also, check out multisets[1].

[0] http://saunders.phil.cmu.edu/book/hott-online.pdf (PDF page 16, or book page 4)

[1] https://en.m.wikipedia.org/wiki/Multiset

Re:Deleting the golang subreddit on Friday November 25, 2016 @07:46PM (#13041024)
CEO of Google emails being used in a court of law to secure a negative outcome for Google, is off-topic in a sub thread about the CEO of Google being able to edit Google emails and other data?

Did Eric challenge the authenticity of the emails? I've never heard him do so.

I now understand why you couldn't specify in what way my comment was "off-topic".

Re:Deleting the golang subreddit on Friday November 25, 2016 @07:42PM (#13041011)
HN moderators absolutely edit user content without notice or attribution.

My comments are partly authored by dang, but you will not be able to tell which words are mine and which are not.

Re:Married to someone with anxiety on Friday November 25, 2016 @06:37PM (#13040718)
As astaloli said, the DSM is not valid.

If changes in diagnoses are changing yearly...the NIMH seems completely correct in rejecting the book.

Re:Deleting the golang subreddit on Friday November 25, 2016 @04:23PM (#13039949)
Perhaps you thought that.

Others saw something different.

Re:Deleting the golang subreddit on Friday November 25, 2016 @04:23PM (#13039945)
Wow, you're back and altering my content again?

How is the sub thread not relevant?

It was a direct, positive example of what the person I replied to claimed.

At least make an actual claim, dang.

Edit: and https://news.ycombinator.com/item?id=13037766 still stands

#comedysite

Re:Married to someone with anxiety on Friday November 25, 2016 @04:22PM (#13039936)
Ok, so therapy has moved from lobotomies to...

As I said, therapy seems to be devoid of any real definition.

Re:Married to someone with anxiety on Friday November 25, 2016 @01:13PM (#13038707)
My problem with "therapy" is that the word is woefully undefined.

Sticking an ice pick up a person's nose, into their brain, and just moving the pick around has been counted as therapy.

Re:Married to someone with anxiety on Friday November 25, 2016 @01:09PM (#13038667)
Stop thinking in "types" and responses and most certainly--stop thinking that things happen for "absolutely no reason".

Everything happens for a reason. Anxiety is a mental state. Until that state is resolved, the anxiety will persist. Strong self-reflection is the way out.

Cannabis can help to rocket you through your anxiety and helped me figure it out pretty quickly.

Re:Deleting the golang subreddit on Friday November 25, 2016 @01:01PM (#13038585)
The comment has everything to do with editing content. Schmidt was effectively convicted on the content of his emails. I don't think Schmidt was able to edit an email used in that case.

It is a positive example of what the poster I responded to was claiming.

Additionally, this CEO (now of Alphabet) has continued to engage in seemingly illegal behavior over Google email. I'm not aware of Eric disputing any of these allegations, even though I have confronted him on them multiple times.

Re:Deleting the golang subreddit on Friday November 25, 2016 @11:51AM (#13037966)
And was supplanted with a fake news story about a fictional character?
Re:Deleting the golang subreddit on Friday November 25, 2016 @11:13AM (#13037665)
The CEO of Google was busted by his emails for conspiring to suppress wages.

WikiLeaks recently released a 2014 email[1] from Eric where he appears to conspire with the Clinton campaign/dnc to have "low paid permanent employees".

[1] https://wikileaks.org/podesta-emails/emailid/37262

E: bots are out?

Re:The hole at the heart of economics: the consent of the governed on Wednesday November 23, 2016 @02:28PM (#13025094)
The article says "it just isn't done" is an institution.

A good example would be, "MSNBC utterly failed to fact check 2016".

Re:The hole at the heart of economics: the consent of the governed on Wednesday November 23, 2016 @02:23PM (#13025049)
"Your" vs "reactionaries" and I'm the one engaging in ad hominem?

Hilarious.

I addressed exactly what is wrong.

Re:Headphones can be hijacked to surreptitiously record audio on Wednesday November 23, 2016 @01:22PM (#13024558)
Worst?

I hadn't even heard that one.

We just learned about charity self dealing.

For the last few decades we have been hearing about Trump's 'improprieties'.

Re:The hole at the heart of economics: the consent of the governed on Wednesday November 23, 2016 @01:09PM (#13024451)
Reactionaries are trying to keep a grip on their beloved institutions.

Institutions failed, as they are wont. If any course of action can lead to a crises of 'legitimacy', it was already time to break out.

Re:Facebook Said to Create Censorship Tool to Get Back into China on Wednesday November 23, 2016 @03:04AM (#13020965)
If you get a comment, the "room" wasn't/isn't empty.

Unless...

Re:Headphones can be hijacked to surreptitiously record audio on Wednesday November 23, 2016 @02:39AM (#13020869)
Are you saying Capone didn't evade taxes?
Re:Headphones can be hijacked to surreptitiously record audio on Wednesday November 23, 2016 @02:37AM (#13020861)
Not if your record is better than their's.
It was interesting enough for FB to strip down and repackage https://github.com/bodymovin/bodymovin
Re:Headphones can be hijacked to surreptitiously record audio on Tuesday November 22, 2016 @11:17AM (#13015092)
In the US, ex post facto laws cannot be made.
Re:Quit Social Media, Your Career May Depend on It on Sunday November 20, 2016 @07:34PM (#13002204)
>I agree with the sentiment elsewhere in these comments that the solution isn't to completely delete your accounts (I think they can have some value when used in moderation), but rather to change the way I use them.

I would hope the solution to your problem is not for me to delete my accounts.

Your problem sounds like you're following people with weak content. Follow new people and stop following (or make better) the weak.

I believe big bang theories rely on an initial infinitesimal.
Do you have a proof of that?

Could there be structures that are provably impossible to create after some time?

The title, at least, does not nullify anything. It only presents a possibility.
Does everything that can happen, actually happen?

I think, probably not.

Re:The mathematics of science’s broken reward system on Thursday November 17, 2016 @12:03PM (#12979183)
Where does the 't' come from? Shouldn't it be sciology/scienceology/sciencology?
Re:The mathematics of science’s broken reward system on Thursday November 17, 2016 @12:01PM (#12979149)
Couldn't this model be used to detect and alert on bad actors?
Re:A One-Line Proof of the Infinitude of Primes on Wednesday November 16, 2016 @12:40PM (#12969337)
It's stated in the only english text of the "proof":

>If the set of primes is finite

All conclusions are true when your premise is false:

https://en.wikipedia.org/wiki/Truth_table#Logical_implicatio...

"the set of primes is finite"?

What is "the set of primes" ??????

Re:Facebook Says It Found More Miscalculated Metrics on Wednesday November 16, 2016 @10:36AM (#12967832)
I think the original proposition was: dumb fucks.

Older »