From 07fd5a1d45681069d1f43827baa79a98f3cd3bde Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Mon, 17 Oct 2016 11:16:19 +0200 Subject: [PATCH 1/3] Included blog post on Lars's appointment to the Advisory Board --- .../2016-10-17-lars-hupel-joins-sc-board.md | 53 +++++++++++++++++++ 1 file changed, 53 insertions(+) create mode 100644 blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md diff --git a/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md b/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md new file mode 100644 index 000000000..240dae5cc --- /dev/null +++ b/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md @@ -0,0 +1,53 @@ +--- +layout: blog +post-type: blog +by: Jon Pretty +title: Lars Hupel Joins the Scala Center Advisory Board +--- + +It has been almost half a year since we kicked off our first Scala Center +Advisory Board meeting in New York. With a board primarily made up of +commercial sponsors, we decided then to offer Bill Venners the role of +community representative, and Bill has ably filled this role in the two +meetings so far. + +But since then, the sponsors have grown to nine, and to maintain a +proportionate representation for the community on the board, we decided — with +the sponsors' unanimous agreement — to invite a second community representative +to attend and vote in meetings. + +We decided to offer the choice of candidate to +[Typelevel](http://typelevel.org/). This was a reflection of the incredible +work Typelevel have done to nurture a friendly and open community of +functionally-minded Scala users around a number of open-source projects. Their +work is focussed around the Cats, Shapeless and Spire libraries, but has grown +to include over a dozen other libraries, tools and compiler plugins, all with +a shared philosophy. + +Typelevel have been instrumental in helping to grow the Scala community, and +the functional elements within it, through regular hacking sessions, and with a +number of workshops and unconferences colocated with larger Scala events. + +So we felt it was only appropriate — given Typelevel's influence, its track +record, and the pholosophy of welcomeness it shares with the Scala Center — +that they should choose the second community representative to the Advisory +Board. + +When we spoke to Typelevel, in typical style, they opened [a GitHub +issue](https://github.com/typelevel/general/issues/42) to discuss the +invitation, to decide whether to accept it, and to choose a representative. +We're very glad that they accepted, and selected Lars Hupel to sit on the Scala +Center Advisory Board alongside Bill. + +Lars has made a number of significant contributions to the Scala community in +the last few years. His open-source contributions started with work as a +maintainer of [Scalaz](https://github.com/scalaz/scalaz), but he has since +worked on the code verification tool, [Leon](http://leon.epfl.ch/), and +[libisabelle](http://lars.hupel.info/libisabelle/), which facilitates +interacting with the proof assistant, Isabelle, from Scala. All this experience +gives Lars a deep understanding of Scala, both as a language and through some +of its the most advanced applications. + +We shall be very happy to welcome Lars to the next meeting, which is currently +scheduled for late November. + From 878036caa008bdc585659bf43bd023f1fae361a9 Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Mon, 17 Oct 2016 14:00:26 +0200 Subject: [PATCH 2/3] Mention that Lars is a co-founder of Typelevel --- blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md b/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md index 240dae5cc..114954d0d 100644 --- a/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md +++ b/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md @@ -48,6 +48,6 @@ interacting with the proof assistant, Isabelle, from Scala. All this experience gives Lars a deep understanding of Scala, both as a language and through some of its the most advanced applications. -We shall be very happy to welcome Lars to the next meeting, which is currently -scheduled for late November. +We shall be very happy to welcome Lars, as one of the co-founders of Typelevel, +to the next meeting, which is currently scheduled for late November. From eefd64a9d27eed40c58df874bdaa3323b5c7844c Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Mon, 17 Oct 2016 21:00:35 +0200 Subject: [PATCH 3/3] Updated to reflect @heathemiller's suggestion. --- blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md b/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md index 114954d0d..e4131c04f 100644 --- a/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md +++ b/blog/_posts/2016-10-17-lars-hupel-joins-sc-board.md @@ -48,6 +48,8 @@ interacting with the proof assistant, Isabelle, from Scala. All this experience gives Lars a deep understanding of Scala, both as a language and through some of its the most advanced applications. -We shall be very happy to welcome Lars, as one of the co-founders of Typelevel, -to the next meeting, which is currently scheduled for late November. +The Scala Center shall be very happy to welcome Lars, as one of the founders of +Typelevel, to the Advisory Board, and at the next meeting (currently scheduled +for late November) we shall put his appointment to the existing membership for +approval. We have every expectation he will be a valuable asset to the board!