October 22, 2020
We all consume media on a daily basis from a variety of sources. That is almost entirely unavoidable. This means that we place a level of trust in those that provide our news that the information supplied to us is truthful, reliable, and valid. Is that really the case though? (spoiler: the answer is no).
In light of the 2016 referendum on the UKs membership of the EU, I set out on a project to write a classifier that would be able to determine whether a news article in the British media has a pro-remain (in the EU) or pro-leave bias. I aimed to use the most modern data science tools at the time, which would surely give me the best results. Right? ...Right?
In the end, I built something that sucked, and I’m going to tell you about the journey of excitement, horror, pain, misery and finally acceptance that I went on while developing my models.
October 22, 2020
We all consume media on a daily basis from a variety of sources. That is almost entirely unavoidable. This means that we place a level of trust in those that provide our news that the information supplied to us is truthful, reliable, and valid. Is that really the case though? (spoiler: the answer is no).
In light of the 2016 referendum on the UKs membership of the EU, I set out on a project to write a classifier that would be able to determine whether a news article in the British media has a pro-remain (in the EU) or pro-leave bias. I aimed to use the most modern data science tools at the time, which would surely give me the best results. Right? ...Right?
In the end, I built something that sucked, and I’m going to tell you about the journey of excitement, horror, pain, misery and finally acceptance that I went on while developing my models.
October 15, 2020
There are a lot of similarities in the open source communities of software developers and the print-and-play communities of board game designers. I started designing my first table top game this summer and found my Python skills very valuable when I learned how to build a Python program that automates the creation of cards used in the game.
By automating the process, I can tweak game balance and test out different options by just modifying data and letting computers do what they are good at: scaling. In this talk I’ll talk about the print-and-play table top community and tell more about my Python script.
Presenter: Juha-Matti Santala
October 15, 2020
There are a lot of similarities in the open source communities of software developers and the print-and-play communities of board game designers. I started designing my first table top game this summer and found my Python skills very valuable when I learned how to build a Python program that automates the creation of cards used in the game.
By automating the process, I can tweak game balance and test out different options by just modifying data and letting computers do what they are good at: scaling. In this talk I’ll talk about the print-and-play table top community and tell more about my Python script.
Presenter: Juha-Matti Santala
![Theorem proving: What, how and why? An introduction to Isabelle/HOL]()
October 8, 2020
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
![Theorem proving: What, how and why? An introduction to Isabelle/HOL (Audio Only)]()
October 8, 2020
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
September 7, 2020
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
September 7, 2020
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
August 31, 2020
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
August 31, 2020
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
August 30, 2020
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
August 30, 2020
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
August 19, 2020
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
August 19, 2020
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
August 19, 2020
Still remember mid March? Most people were still working at the office, and the national pastime was hoarding toilet paper and hand sanitizer? Me neither, seems a lifetime ago.
In the beginning of the lockdown, nobody had any idea how quickly the novel coronavirus was spreading in Finland. Many - including the Health Security Director of THL - were calling for an app to crowdsource symptom data from the general population, in the hopes that it could be used to track the spread of the epidemic. Futurice, in close collaboration with Helsingin Sanomat and medical experts, was one of those who answered the call. In this talk Jarno will go through the technical implementation of the resulting oiretutka.fi service.
Presenter: Jarno’s Oiretutka
August 19, 2020
Still remember mid March? Most people were still working at the office, and the national pastime was hoarding toilet paper and hand sanitizer? Me neither, seems a lifetime ago.
In the beginning of the lockdown, nobody had any idea how quickly the novel coronavirus was spreading in Finland. Many - including the Health Security Director of THL - were calling for an app to crowdsource symptom data from the general population, in the hopes that it could be used to track the spread of the epidemic. Futurice, in close collaboration with Helsingin Sanomat and medical experts, was one of those who answered the call. In this talk Jarno will go through the technical implementation of the resulting oiretutka.fi service.
Presenter: Jarno’s Oiretutka
May 13, 2020
Maybe you are familiar with using Content Delivery Neworks, or CDNs for short? Maybe you have even used them yourself? Or maybe this is all news to you?
Let’s have a talk where we look into CDNs under the hood. What are they, who are they, why should you use one (or maybe should not), and how do they work? The CDN landscape is also changing, so we’ll dive into that a bit.
And we’ll go through why you shouldn’t build one yourself.
Presenter: Jyrki Pulliainen
May 13, 2020
Maybe you are familiar with using Content Delivery Neworks, or CDNs for short? Maybe you have even used them yourself? Or maybe this is all news to you?
Let’s have a talk where we look into CDNs under the hood. What are they, who are they, why should you use one (or maybe should not), and how do they work? The CDN landscape is also changing, so we’ll dive into that a bit.
And we’ll go through why you shouldn’t build one yourself.
Presenter: Jyrki Pulliainen
![Wikidata: The world’s knowledge at your fingertips]()
May 13, 2020
Wikidata is a community project with the goal to store all of the world’s knowledge in a machine readable format. This data can be viewed, edited and -most excitingly - queried by everyone. In this talk I will show how the Wikidata Query Interface allows us to ask questions about the world around us and can help us explore these with automatic interactive visualisations.
To do so, I will introduce the Wikidata project and explain how data is modelled in it. With this knowledge we will go on to learn about the SPARQL query language which allows us to write queries to Wikidata. We can then use the Wikidata Query Builder which is an online interface that turns queries into timelines, tables and other interactively explorable visualisations.
What kinds of queries can we expect? The world’s biggest cities with a female mayor. A map of German election districts coloured by winning party (or gender, or age, …). An interactive timeline of politicians who became federal ministers. Handball player nick names… (Almost) everything is possible with Wikidata!
Presenter: Knut Hühne
![Wikidata: The world’s knowledge at your fingertips (Audio Only)]()
May 13, 2020
Wikidata is a community project with the goal to store all of the world’s knowledge in a machine readable format. This data can be viewed, edited and -most excitingly - queried by everyone. In this talk I will show how the Wikidata Query Interface allows us to ask questions about the world around us and can help us explore these with automatic interactive visualisations.
To do so, I will introduce the Wikidata project and explain how data is modelled in it. With this knowledge we will go on to learn about the SPARQL query language which allows us to write queries to Wikidata. We can then use the Wikidata Query Builder which is an online interface that turns queries into timelines, tables and other interactively explorable visualisations.
What kinds of queries can we expect? The world’s biggest cities with a female mayor. A map of German election districts coloured by winning party (or gender, or age, …). An interactive timeline of politicians who became federal ministers. Handball player nick names… (Almost) everything is possible with Wikidata!
Presenter: Knut Hühne
