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 position, legally enforceable or otherwise,…
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 written non-trivial software in it[0],…
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 prover that guarantees memory-safe…
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
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 position, legally enforceable or otherwise,…
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 written non-trivial software in it[0],…
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 prover that guarantees memory-safe…
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