add Grove
[web.git] / personal / _posts / 2015-10-08-welcome.md
1 ---
2 title: Welcome
3 categories: meta
4 ---
5
6 I'll use this blog to write random articles on things that matter to me, and that I want to share.
7 So far, I don't know what this will end up being about - probably mostly about programming languages research and related topics, as that's what I do.
8
9 <!-- MORE -->
10
11 In the mean time, you can check out my [research](https://www.mpi-sws.org/~jung/) and [project](/projects) pages.