Hi, I'm Jose

(\x y z -> y.x@z.com) "josem" "cardona" "gmail"

I'm broadly interested in programming languages, cryptography, application security, functional programming, number theory and abstract algebra.

I'm currently happily employed @Kadena hacking on Pact.

Some of my open source work and contributions (more on my github):

• TSec, a cryptography library in scala (author).
• Http4s, an http library in scala (contributor and previously maintainer).
• Scalaz IOEffect, which then became the foundation for ZIO (contributor).
• FS2, a functional streaming library for scala (contributor).
• Miku, a netty backend for http4s (Was ported over into http4s-netty) (author)
• Youi, a full stack app dev framework (contributor)

Feel free to reach out to me over email, twitter or linkedin