We’re mentioned in the article here and in a couple other spots:
Tachyon is privately funded today.
Indeed, we have been privately funded by donations from ZEC holders, and not from the dev fund, and we didn’t originally set out to apply for any retroactive funding.
But we did ask for a retroactive grant from coinholders for our Ironwood formal verification work, and thus we stand to receive from the dev fund. During the Ironwood emergency we knew that funding would be available to cover our expenses, and so we had the confidence to pivot our attention and resources.