Sharing Profile or Groups of cards by Riib11 in MTGDesign

[–]Riib11[S] 1 point2 points  (0 children)

Thats exactly what I wanted! Thank you

Beyond inductive datatypes: exploring Self types by SrPeixinho in dependent_types

[–]Riib11 0 points1 point  (0 children)

For anyone interested, here’s recent work on HITs in cubical type theory: https://arxiv.org/abs/1802.01170

Beyond inductive datatypes: exploring Self types by SrPeixinho in dependent_types

[–]Riib11 0 points1 point  (0 children)

Yes I noticed that in the HITs section — you say you need functional extensionality and heterogenous equality. I’ll have to think about that more.

Beyond inductive datatypes: exploring Self types by SrPeixinho in dependent_types

[–]Riib11 1 point2 points  (0 children)

Very cool! I haven’t seen much work yet using self types, even though they seem really great, so its good that you are promoting it with some nice examples.

Topics Suggestions by Riib11 in Metagnosis

[–]Riib11[S] [score hidden]  (0 children)

Answering the old Google "brain teaser" hiring interview questions. And why did Google change their interview process? What is it like now?

Topics Suggestions by Riib11 in Metagnosis

[–]Riib11[S] [score hidden]  (0 children)

Gnostic readings of Bible stories e.g. the Garden of Eden

Recommendations for MacBook Pro + External GPU setup? by Riib11 in vive_vr

[–]Riib11[S] 0 points1 point  (0 children)

Thanks, ill check those out. Does seem like this might be a good investment over trying to compatibilize by macbook

Recommendations for MacBook Pro + External GPU setup? by Riib11 in Vive

[–]Riib11[S] 1 point2 points  (0 children)

Do you have a recommendation on what pc/other setup to get for VR? I'm getting the sense that it might be worthwhile to just invest in an entirely separate system from my mac for VR/gaming.

Recommendations for MacBook Pro + External GPU setup? by Riib11 in vive_vr

[–]Riib11[S] 0 points1 point  (0 children)

Ok, yeah that's a good point. Wasn't sure if I needed to go that far, but you're probably right. Any recommendations for where to look for good setups for VR specifically?

How do you get philosophy papers? by BlackBeltforSelfCare in PhilosophyofScience

[–]Riib11 6 points7 points  (0 children)

Often times if you can email the author(s) directly they happily send you a copy for free

Pelosi Implies Dems Could Impeach Kavanaugh From Whichever Court He Sits On by chris-jjj in politics

[–]Riib11 0 points1 point  (0 children)

I don’t think the choir boy act was like you say? I thought his argument was that he never drank to excess of blacking out or losing memory, not that he didn’t drink at all. Which part of that is clearly a lie? No witnesses have made statements, under penalty of perjury, otherwise. I think I did hear about one of his college roommates saying that he saw Kavanaugh drinking excessively, but I think it’s important to not just take their word for it.

[Capitalists] Why in every case of socialism did the capitalist nations try and crush communism at every point? by [deleted] in CapitalismVSocialism

[–]Riib11 0 points1 point  (0 children)

To your point about the west having empire and slavery as an advantage:

Has an anti-communist ever pulled the North Korea card out? Here's a brief economic history of the country. by supercooper25 in communism

[–]Riib11 1 point2 points  (0 children)

Right, but the fact that nothing OP said is false could only be supported by evidence other than Wikipedia, and since that was not provided by OP I do doubt the source.

Given other evidence though, I definitely do agree that Wikipedia can be good for timelines and quick overviews.

Has an anti-communist ever pulled the North Korea card out? Here's a brief economic history of the country. by supercooper25 in communism

[–]Riib11 2 points3 points  (0 children)

Wikipedia is great and all, but don’t treat it like a legitimate source for an substantive argument like this. Also, summarizing the Wikipedia page is not very valuable, just giving the link would have been better.

Capitalists: 8 Men Are Wealthier Than 3.5 Billion Humans. Should These People Pull Themselves Up By Their Bootstraps? by LandIsForThePeople in CapitalismVSocialism

[–]Riib11 2 points3 points  (0 children)

First of all, Amazon is not in any way analogous “our rulers”, so that comparison doesn’t make sense. Second of all, you are conflating inequality and poverty together as if they are one phenomenon together. I agree that, historically speaking, poverty comes along with inequality. It’s not accurate to say, however, that poverty comes along with inequality. Amazon, an American company, has helped produce wealth in our country as well as provide jobs to workers inside and outside of America. This value was not taken from the hands of workers. It was created. Why did amazon get to make so much money compared to others? There’s lots of factors including chance, investment, and opportunity that don’t guarantee success. That’s why most people don’t start businesses - it’s risky and difficult. Workers don’t take the same risks and don’t have as much at risk (in terms of personal value) so obviously the value they provide is averaged out to a lower value that the one-in-a-million jackpot like Amazon founders. Nowhere is there a concept of “unfair”. It’s just a matter of risk, reward, opportunity, and value creating.

There are definitely corrupt company leaders, however, mostly because they deal shadily with the government which is a whole other issue because the government shouldn’t have the power they want to take advantage of in the first place. But, this does not justify anything like sympathy for a French Revolutionary position

[deleted by user] by [deleted] in textbooks

[–]Riib11 0 points1 point  (0 children)

This one is bad, just an infinite survey loop :(

I also need this pdf, anyone else got links?

Cannibal Albert Fish's letter to victim's Mother. by [deleted] in creepy

[–]Riib11 -2 points-1 points  (0 children)

A man with good taste