They're not FAANG or MANGA, but they're certainly at the top of https://www.ycombinator.com/companies with 8600 employees and an $82B market cap (as of this comment, ticker DASH). Is "Big Tech" reserved only for the "FAANG MANGA"? If so, my apologies.
Yeah that's not big tech. $1 trillion market cap is big tech or 30k+ employees.
This is upper end of mid sized.
No yc alum counts as big tech