diff options
author | Tom Smeding <tom@tomsmeding.com> | 2023-05-27 21:27:36 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2023-05-27 21:27:36 +0200 |
commit | 3e1bb028e538efebcab2ef959acd4b4c701afa59 (patch) | |
tree | 3817414280706b081c0dab85f4e522bd90a3d5a7 /index.html | |
parent | fe82a3a395f3c66265088fe60562f27e196ade5c (diff) |
index: Fix spelling
Thanks Daniel :)
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -107,7 +107,7 @@ summary { My PhD supervisors are Gabriele Keller and Matthijs Vákár. </p> <p> - In general I am enthousiastic about lots of things in computer science; I enjoy functional programming and thinking about programming techniques that make FP work well, but I also have some experience in more low-level programming (in C and C++), some of it in <a href="https://stats.ioinformatics.org/people/5681" target="_blank">competitive</a> <a href="https://2019.nwerc.eu/" target="_blank">programming</a>. + In general I am enthusiastic about lots of things in computer science; I enjoy functional programming and thinking about programming techniques that make FP work well, but I also have some experience in more low-level programming (in C and C++), some of it in <a href="https://stats.ioinformatics.org/people/5681" target="_blank">competitive</a> <a href="https://2019.nwerc.eu/" target="_blank">programming</a>. I like thinking about how to optimise code to make it run faster, and also about devising compiler optimisations to make other people's code run faster. Furthermore, I like being able to do all of those things while enabling the compiler to prevent me from making mistakes as much as possible; typically, I do this by using the type system of the programming language I'm working in. </p> |