Welcome, Peter!
I loved the musical videos you've made :)
Erik
> On Apr 7, 2021, at 3:11 AM, Peter Gromov <[email protected]>
> wrote:
>
> Thanks for the honor!
>
> (BTW I'm still not recognized by Github as having write access, and can't
> merge my pull requests :))
>
> > Peter, the tradition is that new committers introduce themselves with a
> > brief bio.
>
> Okay, time for some bragging :) I've been working at JetBrains for some 17
> years, most of them on IntelliJ platform <https://www.jetbrains.com/idea/>,
> mainly supporting various languages and their infrastructure, analyzing
> snapshots and improving performance. Aiming to catch more bugs before they
> hit production, I've introduced property-based testing to IntelliJ by
> creating a small library called jetCheck
> <https://github.com/JetBrains/jetCheck>. Recently I've switched to the Grazie
> <https://plugins.jetbrains.com/plugin/12175-grazie> project and now I do some
> rule-based computational linguistics there and enhance the IDE support for
> English. As Grazie needs LanguageTool <https://languagetool.org/> and
> Hunspell, I've also spent some time rewriting the latter in Java (here in
> Lucene), and optimizing them both. In my free time, I like mountain hiking
> (Munich/Germany is a great location for that!), and some amateur
> piano/harmonica playing/singing
> <https://www.youtube.com/user/gromopetr/videos>.
