Functional Programming
Past Presentations
Category Theory for the Working Hacker
The talk will explain why category theory is of interest for developers. The principle of Propositions as Types describes a correspondence between, on the one hand, propositions and proofs in logic, and, on the other, types and programs in computing. And, on the third hand, we have category...
Architecting a Modern Financial Institution
Ever wonder what it would take to rewrite your local bank? With open source, microservices, functional programming (Clojure, Scala), and continuous delivery, right? That's what Nubank did in Brazil, starting with a modern credit card architecture built from scratch, and continuing on to...
Interviews
Category Theory for the Working Hacker
What do you do day-to-day?
I work in functional programming and trying to put that in a place where other people can use it.
Read Full InterviewArchitecting a Modern Financial Institution
What is the focus of your work today?
I am the co-founder and CTO of Nubank which is a tech company competing with traditional banks. We're based in São Paulo, Brazil and have over 2.5 million customers using our credit card product. We’ve also recently launched a checking/savings/digital payments account to address a much larger market.
Read Full Interview