HNHacker News
TopNewBestAskShowJobs

jsprogrammer

1,146 karma · joined March 27, 2014

"went from zero to Godwin in record time"

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

submissionscomments
jsprogrammer··on The Holy Trinity: Logic, Languages, Categories (2011)
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

jsprogrammer··on Deleting the golang subreddit
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".

jsprogrammer··on Deleting the golang subreddit
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.

jsprogrammer··on Married to someone with anxiety
As astaloli said, the DSM is not valid.

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

jsprogrammer··on Deleting the golang subreddit
Perhaps you thought that.

Others saw something different.

jsprogrammer··on Deleting the golang subreddit
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

jsprogrammer··on Married to someone with anxiety
Ok, so therapy has moved from lobotomies to...

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

jsprogrammer··on Married to someone with anxiety
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.

jsprogrammer··on Married to someone with anxiety
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.

jsprogrammer··on Deleting the golang subreddit
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.

jsprogrammer··on Deleting the golang subreddit
And was supplanted with a fake news story about a fictional character?
jsprogrammer··on Deleting the golang subreddit
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?

jsprogrammer··on The hole at the heart of economics: the consent of the governed
The article says "it just isn't done" is an institution.

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

jsprogrammer··on The hole at the heart of economics: the consent of the governed
"Your" vs "reactionaries" and I'm the one engaging in ad hominem?

Hilarious.

I addressed exactly what is wrong.

jsprogrammer··on Headphones can be hijacked to surreptitiously record audio
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'.

jsprogrammer··on The hole at the heart of economics: the consent of the governed
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.

jsprogrammer··on Facebook Said to Create Censorship Tool to Get Back into China
If you get a comment, the "room" wasn't/isn't empty.

Unless...

jsprogrammer··on Headphones can be hijacked to surreptitiously record audio
Are you saying Capone didn't evade taxes?
jsprogrammer··on Headphones can be hijacked to surreptitiously record audio
Not if your record is better than their's.
jsprogrammer··on Keyframes: Delivering scalable, high-quality animations to mobile clients
It was interesting enough for FB to strip down and repackage https://github.com/bodymovin/bodymovin
jsprogrammer··on Headphones can be hijacked to surreptitiously record audio
In the US, ex post facto laws cannot be made.
jsprogrammer··on Quit Social Media, Your Career May Depend on It
>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.

jsprogrammer··on Alien life could be so advanced it becomes indistinguishable from physics
I believe big bang theories rely on an initial infinitesimal.
jsprogrammer··on Alien life could be so advanced it becomes indistinguishable from physics
Do you have a proof of that?

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

jsprogrammer··on Alien life could be so advanced it becomes indistinguishable from physics
The title, at least, does not nullify anything. It only presents a possibility.
jsprogrammer··on Alien life could be so advanced it becomes indistinguishable from physics
Does everything that can happen, actually happen?

I think, probably not.

jsprogrammer··on The mathematics of science’s broken reward system
Where does the 't' come from? Shouldn't it be sciology/scienceology/sciencology?
jsprogrammer··on The mathematics of science’s broken reward system
Couldn't this model be used to detect and alert on bad actors?
jsprogrammer··on A One-Line Proof of the Infinitude of Primes
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" ??????

jsprogrammer··on Facebook Says It Found More Miscalculated Metrics
I think the original proposition was: dumb fucks.
Page 1 of 34Next →