January 14, 2021
In our last episode we talked about using a stream library. You understand a concept better if you implement it yourself. So we will build our own small streaming library in this live coding session.
Presenter: Jan van Brügge
January 14, 2021
In our last episode we talked about using a stream library. You understand a concept better if you implement it yourself. So we will build our own small streaming library in this live coding session.
Watch the video.
Presenter: Jan van Brügge
January 7, 2021
Streams are a handy tool to structure your application with asynchronous execution in mind. The core idea is to model the dataflow as a stream where at runtime data can be emitted at any time.
In this talk we will first go over the basic usage of streams, then build our own small RxJS with that to see what the differences between hot and cold streams are.
Presenter: Jan van Brügge
January 7, 2021
Streams are a handy tool to structure your application with asynchronous execution in mind. The core idea is to model the dataflow as a stream where at runtime data can be emitted at any time.
In this talk we will first go over the basic usage of streams, then build our own small RxJS with that to see what the differences between hot and cold streams are.
Presenter: Jan van Brügge
November 27, 2020
Hacktoberfest is a month-long celebration of Open Source. The idea behind it is simple - create a minimum of 4 pull requests to open source repositories that are participating in the event. If you accomplish that goal, you get to choose a tee or plant trees.
This year was my second time participating, and I ended up being an (accidental) maintainer of an open-source repository. In this talk, I will introduce you to Hacktoberfest, and tell the story of Hacktoberfest 2020 from my perspective and share some learnings from this experience.
Presenter: Eeva-Jonna Panula, Developer
November 27, 2020
Hacktoberfest is a month-long celebration of Open Source. The idea behind it is simple - create a minimum of 4 pull requests to open source repositories that are participating in the event. If you accomplish that goal, you get to choose a tee or plant trees.
This year was my second time participating, and I ended up being an (accidental) maintainer of an open-source repository. In this talk, I will introduce you to Hacktoberfest, and tell the story of Hacktoberfest 2020 from my perspective and share some learnings from this experience.
Presenter: Eeva-Jonna Panula, Developer
November 6, 2020
Test with these simple unit tests, if you are feeling shame on a personal level or as a team member:
As a developer, I’m not ________ enough.
As a team member, I’m not _______ enough.
If your mind auto-filled these for you with one or more words, this presentation is for you.
In this talk, we’ll be looking at non-technical terms like shame, guilt and scarcity and see how they might be manifesting in our own thoughts, habits and maybe even team practices. We’ll also be discussing how to live with thoughts and change our habits and team practices.
Presenter: Senja Jarva, Front-end Developer
November 6, 2020
Test with these simple unit tests, if you are feeling shame on a personal level or as a team member:
As a developer, I’m not ________ enough.
As a team member, I’m not _______ enough.
If your mind auto-filled these for you with one or more words, this presentation is for you.
In this talk, we’ll be looking at non-technical terms like shame, guilt and scarcity and see how they might be manifesting in our own thoughts, habits and maybe even team practices. We’ll also be discussing how to live with thoughts and change our habits and team practices.
Presenter: Senja Jarva, Front-end Developer
October 30, 2020
Testing is hard. Testing asynchronous code is even harder. In this session, I will walk you through a few techniques on how to test (possibly async) code with random input data and which strategies you can use in your test suite to increase coverage, find more bugs while writing fewer tests.
Presenter: Jan van Brügge
October 30, 2020
Testing is hard. Testing asynchronous code is even harder. In this session, I will walk you through a few techniques on how to test (possibly async) code with random input data and which strategies you can use in your test suite to increase coverage, find more bugs while writing fewer tests.
Presenter: Jan van Brügge
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
