New plants!

Got these new plants a few weeks ago. A cactus (Red-headed Irishman):

A small, cute plant that I can't remember the name of (this is why I need to post things sooner rather than later). It's probably some sort of sedum?

We planted it in this large pot with our avocado tree. In the pot is also a String of Buttons and a Pachyveria Powder Puff ("Exotica"), as well as a rock.