Bartosz started as a physicist. He has a Ph.D. in quantum field theory. Then he got into programming, worked eight years for Microsoft as a software engineer implementing the search engine in Windows. He wrote a book about C++ and started a popular programming blog. He rediscovered his fascination with mathematics through Haskell. His blog turned into an online book on category theory for programmers.
Talks I've Given
Keynote: The Maths Behind Types
Featuring Bartosz Milewski
You often think of types as specifying data layouts in computer memory. You have bytes, shorts, floats, and arrays, which are very close to the metal. But then you have integers and Booleans, which are abstractions taken from math. And then there are algebraic data types, and function types....scalax scala category-theory constructive-logic type-system types mathematics maths math data
@bartoszmilewski has not provided any work info yet.
Social and Blogging
@bartoszmilewski has not provided social links yet.