Hillel is a software consultant in Chicago who specializes in formal methods. He is the author of Learn TLA+ (learntla.com) and Practical TLA+ (Apress, est Dec 2018), is on the Alloy board, and teaches workshops on both of these languages. In his free time, he juggles and makes candy.
Today, digital products and companies are not just changing the way we live our lives, but also playing an increasingly influential role in public policy and governance. We have reached a point where consumer goods produced by technology industries are beginning to reshape what it means to be Human.
This year, we are going to explore advances in biohacking and transhumanism and their implications for humankind. Will they be to our benefit, further enhancing quality of life? How mindful should we be of the potential social and ethical pitfalls whilst we transform?