From 94be2ad0cf8b55a9f9caa4dc25c7e48fc9cb8f12 Mon Sep 17 00:00:00 2001 From: David Christiansen Date: Mon, 8 May 2023 12:58:05 +0200 Subject: [PATCH 1/2] Update Edward Kmett's bio --- who-we-are/people/edwardkmett.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/who-we-are/people/edwardkmett.markdown b/who-we-are/people/edwardkmett.markdown index 3e301155..2d75947f 100644 --- a/who-we-are/people/edwardkmett.markdown +++ b/who-we-are/people/edwardkmett.markdown @@ -9,4 +9,4 @@ tenureStart: 2021-02-01 image: /assets/images/board-members/ek.png committees: Technical Agenda --- -Edward is a researcher focused on AI safety at the Machine Intelligence Research Institute. He also sits on the board of the Topos Institute, promoting category theory in industry as a tool for exchanging ideas. Outside of Haskell he's worked on graphics and special effects, telecommunications, finance, linguistics, and once helped Taiwan point a big RADAR at China. Edward found Haskell in 2006 and at the time mistakenly believed all Haskellers were thoroughly fluent in category theory, so he started blogging to this imaginary audience. A few years later his work on lenses provided a more practical impetus for more folks to learn some of these ideas, closing the circle. He currently maintains well over a hundred Haskell libraries covering a rather wide swathe of topics and isn't entirely sure how he backed himself in that position. +Edward is currently off founding a stealth startup. He also sits on the board of the Topos Institute, promoting category theory in industry as a tool for exchanging ideas. Outside of Haskell he’s worked on graphics and special effects, telecommunications, finance, linguistics, and once helped Taiwan point a big RADAR at China. Edward found Haskell in 2006 and at the time mistakenly believed all Haskellers were thoroughly fluent in category theory, so he started blogging to this imaginary audience. A few years later his work on lenses provided a more practical impetus for more folks to learn some of these ideas, closing the circle. He currently maintains well over a hundred Haskell libraries covering a rather wide swathe of topics and isn’t entirely sure how he backed himself into that position. From fd32f1e880a779ab60f1b0c5fd15ca6b67685276 Mon Sep 17 00:00:00 2001 From: David Christiansen Date: Mon, 8 May 2023 12:59:33 +0200 Subject: [PATCH 2/2] ASCII apostrophes for consistency We should change them centrally, if at all. --- who-we-are/people/edwardkmett.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/who-we-are/people/edwardkmett.markdown b/who-we-are/people/edwardkmett.markdown index 2d75947f..67314413 100644 --- a/who-we-are/people/edwardkmett.markdown +++ b/who-we-are/people/edwardkmett.markdown @@ -9,4 +9,4 @@ tenureStart: 2021-02-01 image: /assets/images/board-members/ek.png committees: Technical Agenda --- -Edward is currently off founding a stealth startup. He also sits on the board of the Topos Institute, promoting category theory in industry as a tool for exchanging ideas. Outside of Haskell he’s worked on graphics and special effects, telecommunications, finance, linguistics, and once helped Taiwan point a big RADAR at China. Edward found Haskell in 2006 and at the time mistakenly believed all Haskellers were thoroughly fluent in category theory, so he started blogging to this imaginary audience. A few years later his work on lenses provided a more practical impetus for more folks to learn some of these ideas, closing the circle. He currently maintains well over a hundred Haskell libraries covering a rather wide swathe of topics and isn’t entirely sure how he backed himself into that position. +Edward is currently off founding a stealth startup. He also sits on the board of the Topos Institute, promoting category theory in industry as a tool for exchanging ideas. Outside of Haskell he's worked on graphics and special effects, telecommunications, finance, linguistics, and once helped Taiwan point a big RADAR at China. Edward found Haskell in 2006 and at the time mistakenly believed all Haskellers were thoroughly fluent in category theory, so he started blogging to this imaginary audience. A few years later his work on lenses provided a more practical impetus for more folks to learn some of these ideas, closing the circle. He currently maintains well over a hundred Haskell libraries covering a rather wide swathe of topics and isn't entirely sure how he backed himself into that position.