There seem to be several materials colloquially called "carbide". The one in this article is (I assume) Tungsten carbide. The one I first thought of when reading the article (being old enough to have used a carbide lamp while visiting a cave) is however https://en.wikipedia.org/wiki/Calcium_carbide. Any more candidates?