This talk provides an overview of how open-source blockchain contract programming looks like today. I show examples of several types of blockchain languages that each represent a part of the design space. I also go through some of the historical blockchain disasters that were caused by bad programming and discuss a) how to prevent them with stronger primitives, b) how to improve the ergonomics, and c) what is implied by “general-purpose” in the context of blockchain. You may like this talk i… Read more

Schedule:

• Friday, Aug 14th, 2020, 15:00 (CEST) - Friday, Aug 14th, 2020, 16:00 (CEST)

Disclaimer: Yes, I drank the GitHub Koolaid. After spending 18 months as an active mentor/maintainer on several of Exercism.io's tracks, I stopped participating as part of a job switch. With me is an experience report of what worked for me with this platform, a claim that a platform with better git (or other vcs) integration would prepare people better for real-world programming, and a call-to-action to try out GitHub's Classroom. A goal could be the formation of a learning collective, or si… Read more

Schedule:

• Thursday, Aug 13th, 2020, 15:20 (CEST) - Thursday, Aug 13th, 2020, 15:30 (CEST)

You may know jq, the swiss army knife of all your command-line JSON processing needs.

You may not know that jq is a Turing-complete combinator language that lets you define custom filters using either imperative or functional control structures.

Maybe that time when you piped a bunch of commands together and jq was one of them, you could have spared a few of the others?

The format of this workshop:

• We decide together upon some useful or fun JSON processing p… Read more

  ---

  Schedule:

  • Friday, Aug 14th, 2020, 11:00 (CEST) - Friday, Aug 14th, 2020, 14:00 (CEST)