Hacker News: jsprogrammer

New comment by jsprogrammer in "The Holy Trinity: Logic, Languages, Categories (2011)"

jsprogrammer — Mon, 28 Nov 2016 02:05:14 +0000

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

New comment by jsprogrammer in "Deleting the golang subreddit"

jsprogrammer — Sat, 26 Nov 2016 00:46:30 +0000

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".

New comment by jsprogrammer in "Deleting the golang subreddit"

jsprogrammer — Sat, 26 Nov 2016 00:42:54 +0000

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.

New comment by jsprogrammer in "Married to someone with anxiety"

jsprogrammer — Fri, 25 Nov 2016 23:37:36 +0000

As astaloli said, the DSM is not valid.

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

New comment by jsprogrammer in "Deleting the golang subreddit"

jsprogrammer — Fri, 25 Nov 2016 21:23:53 +0000

Perhaps you thought that.

Others saw something different.

New comment by jsprogrammer in "Deleting the golang subreddit"

jsprogrammer — Fri, 25 Nov 2016 21:23:15 +0000

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

New comment by jsprogrammer in "Married to someone with anxiety"

jsprogrammer — Fri, 25 Nov 2016 21:22:12 +0000

Ok, so therapy has moved from lobotomies to...

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

New comment by jsprogrammer in "Married to someone with anxiety"

jsprogrammer — Fri, 25 Nov 2016 18:13:14 +0000

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.

New comment by jsprogrammer in "Married to someone with anxiety"

jsprogrammer — Fri, 25 Nov 2016 18:09:11 +0000

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.

New comment by jsprogrammer in "Deleting the golang subreddit"

jsprogrammer — Fri, 25 Nov 2016 18:01:21 +0000

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.

New comment by jsprogrammer in "Deleting the golang subreddit"

jsprogrammer — Fri, 25 Nov 2016 16:51:20 +0000

And was supplanted with a fake news story about a fictional character?

New comment by jsprogrammer in "Deleting the golang subreddit"

jsprogrammer — Fri, 25 Nov 2016 16:13:54 +0000

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?

New comment by jsprogrammer in "The hole at the heart of economics: the consent of the governed"

jsprogrammer — Wed, 23 Nov 2016 19:28:58 +0000

The article says "it just isn't done" is an institution.

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

New comment by jsprogrammer in "The hole at the heart of economics: the consent of the governed"

jsprogrammer — Wed, 23 Nov 2016 19:23:51 +0000

"Your" vs "reactionaries" and I'm the one engaging in ad hominem?

Hilarious.

I addressed exactly what is wrong.

New comment by jsprogrammer in "Headphones can be hijacked to surreptitiously record audio"

jsprogrammer — Wed, 23 Nov 2016 18:22:51 +0000

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'.

New comment by jsprogrammer in "The hole at the heart of economics: the consent of the governed"

jsprogrammer — Wed, 23 Nov 2016 18:09:28 +0000

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.

New comment by jsprogrammer in "Facebook Said to Create Censorship Tool to Get Back into China"

jsprogrammer — Wed, 23 Nov 2016 08:04:12 +0000

If you get a comment, the "room" wasn't/isn't empty.

Unless...

New comment by jsprogrammer in "Headphones can be hijacked to surreptitiously record audio"

jsprogrammer — Wed, 23 Nov 2016 07:39:04 +0000

Are you saying Capone didn't evade taxes?

New comment by jsprogrammer in "Headphones can be hijacked to surreptitiously record audio"

jsprogrammer — Wed, 23 Nov 2016 07:37:03 +0000

Not if your record is better than their's.

New comment by jsprogrammer in "Keyframes: Delivering scalable, high-quality animations to mobile clients"

jsprogrammer — Tue, 22 Nov 2016 16:24:33 +0000

It was interesting enough for FB to strip down and repackage https://github.com/bodymovin/bodymovin