Viewing profile — _cvuy

What do you feel like JS solutions are still missing?

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 positi…

Related: https://news.ycombinator.com/item?id=11175244

> I am personally very intrigued by ATS 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 wr…

You'll definitely want to check out ATS[0]. It's a functional, dependently-typed language with performance on par with C(its compilation target), and has a type system and theorem …

Those chatbot/assistant pop-ups. 10x worse when they make that 'pop' sound.

I also recommend Meistertask[0]. You'll have to manually change it back to version 1.0 for the best experience though. [0] https://www.meistertask.com/

If only they didn't use flash for their web app