Futurice Tech Weeklies

Modern software development means building on existing foundations. You do not need to write your own binary search tree because there is already a library for that. But with these foundations being so important, how can we be sure that they are correct? After all, the more projects depend on a library, the worse would be the fallout for bugs, be it a semantic bug where it does not do the right thing or a security bug that might put your user’s data in jeopardy. Today’s answer to this problem is testing. But this has flaws. It is simply impossible to show the absence of bugs with tests, as they can only test a finite subset of the possible inputs. This is where theorem proving comes into play. We can verify key properties of our system not only for some inputs, but for all possible inputs.

In this talk I will start with the basics and show how you can get your feet wet with Isabelle/HOL, a theorem proving assistant developed by the Technical University of Munich. I will also show some more involved examples that are more interesting to prove correct. You do not need any knowledge in theorem proving or proving at all, but simple high school math is enough to follow this talk.

 

Presenter: Jan van Brügge

Modern software development means building on existing foundations. You do not need to write your own binary search tree because there is already a library for that. But with these foundations being so important, how can we be sure that they are correct? After all, the more projects depend on a library, the worse would be the fallout for bugs, be it a semantic bug where it does not do the right thing or a security bug that might put your user’s data in jeopardy. Today’s answer to this problem is testing. But this has flaws. It is simply impossible to show the absence of bugs with tests, as they can only test a finite subset of the possible inputs. This is where theorem proving comes into play. We can verify key properties of our system not only for some inputs, but for all possible inputs.

In this talk I will start with the basics and show how you can get your feet wet with Isabelle/HOL, a theorem proving assistant developed by the Technical University of Munich. I will also show some more involved examples that are more interesting to prove correct. You do not need any knowledge in theorem proving or proving at all, but simple high school math is enough to follow this talk.

 

Presenter: Jan van Brügge

In modern cloud-native development every second counts. Developers should be self-serving the tech they need and work in a seamless developer experience. How do you manage this without locking in into a PaaS like setup?

Humanitec is building the Continuous Delivery API. The tool helps you to achieve a PaaS like degree of automation on top of the tools you are using today. This webinar will show-case the future of CI/CD and is great for anyone interested in developer productivity, workflows or DevOps in general.

Presenter: Chris Stephenson

In modern cloud-native development every second counts. Developers should be self-serving the tech they need and work in a seamless developer experience. How do you manage this without locking in into a PaaS like setup?

Humanitec is building the Continuous Delivery API. The tool helps you to achieve a PaaS like degree of automation on top of the tools you are using today. This webinar will show-case the future of CI/CD and is great for anyone interested in developer productivity, workflows or DevOps in general.

Presenter: Chris Stephenson

When you meet a new, interesting person and get to know them, there are usually certain stages in the process. It’s more or less the same when you get to know any new, fascinating technology. If it is exciting and practical even after these stages, you could compare it to making a friend.

In this talk, I will tell about my journey getting to know GraphQL, and share things I have learned along the way, and things I enjoy about it.

Presenter: Eeva-Jonna Panula

When you meet a new, interesting person and get to know them, there are usually certain stages in the process. It’s more or less the same when you get to know any new, fascinating technology. If it is exciting and practical even after these stages, you could compare it to making a friend.

In this talk, I will tell about my journey getting to know GraphQL, and share things I have learned along the way, and things I enjoy about it.

Presenter: Eeva-Jonna Panula

Software development is often described as “craftsmanship”. What is craftsmanship? And does that mean software development and programming have something in common with, say, a more traditional craft like handicrafts (sewing, knitting, weaving, etc)?

In this presentation, I will talk about the meta level similarities between handicrafts and programming, and demonstrate that any crafter/maker has the essentials meta level skills of a programmer.

Presenter: Senja Jarva

Software development is often described as “craftsmanship”. What is craftsmanship? And does that mean software development and programming have something in common with, say, a more traditional craft like handicrafts (sewing, knitting, weaving, etc)?

In this presentation, I will talk about the meta level similarities between handicrafts and programming, and demonstrate that any crafter/maker has the essentials meta level skills of a programmer.

Presenter: Senja Jarva

React Hooks have been out for a while already and they have quickly become the new recommended way of handling component local state and side effects in React function components. Getting started with React hooks is quite straightforward, but the more you use them, the more you need to change the way you think about your components, especially when it comes to the useEffect hook. There are certain rules that you have to follow and certain pitfalls to avoid.

This presentation assumes you know the basics of React hooks and we will dive a bit deeper into how they can be used and how they should be used. In this presentation, I will explain the rules of hooks and how we messed up with those and I ended up wasting almost a month of my work time fixing the mess. 

 

Presenter: Olavi Haapala

React Hooks have been out for a while already and they have quickly become the new recommended way of handling component local state and side effects in React function components. Getting started with React hooks is quite straightforward, but the more you use them, the more you need to change the way you think about your components, especially when it comes to the useEffect hook. There are certain rules that you have to follow and certain pitfalls to avoid.

This presentation assumes you know the basics of React hooks and we will dive a bit deeper into how they can be used and how they should be used. In this presentation, I will explain the rules of hooks and how we messed up with those and I ended up wasting almost a month of my work time fixing the mess. 

 

Presenter: Olavi Haapala