add Coq typeclass index problem draft
[web.git] / personal / _posts / 2015-10-08-welcome.md
index c4c39503179ae53c12182939f37c027097ccdb2b..6933024e3a95eff8d26cf0b9078881293d751502 100644 (file)
@@ -4,6 +4,8 @@ categories: meta
 ---
 
 I'll use this blog to write random articles on things that matter to me, and that I want to share.
 ---
 
 I'll use this blog to write random articles on things that matter to me, and that I want to share.
-So far, I don't know what this will end up being about - I suggest we just wait and see what happens.
+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.
 
 
-In the mean time, you can check out my [research](/cs) and [project](/projects) pages.
+<!-- MORE -->
+
+In the mean time, you can check out my [research](https://www.mpi-sws.org/~jung/) and [project](/projects) pages.