Well, if your company is _not_ like this and you're interested in being featured on a job board for companies with employee-friendly IP policies, drop me a line (email in bio).
> I spent most of my career in Silicon Valley, where employers routinely take the position that they own every thought their employees have, and every work they create. That position, legally enforceable or otherwise, has always rankled me.
I'm bit surprised that practice is so prevalent in SV, with California Labor Code 2870 and all. Because of that law, I'd rate SV/CA as the place that position is the least enforceable (in the U.S. at least).
As am I. I'd say this, along with Idris and Agda are showing how useful types can be.
> Do you consider it ready for adoption
People have written non-trivial software in it[0], but because it hasn't yet reached a 1.0 release, I wouldn't say it's quite ready for adoption. It seems to be more of an academic project for now.
It's a functional, dependently-typed language with performance on par with C(its compilation target), and has a type system and theorem prover that guarantees memory-safe code.