From what I understand, 3 left and they had 4 total. Not 3 are there and they had 9 total

They had 8 people total: 3 founders (who is still there), 1 businessy/partner program person (who is still there) and 4 devs, 3 of which were laid off.

They now have 5 people total - 3 founders, the business person, and 1 other dev, which according to Adam’s podcast was the first dev they hired.