summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2023-05-27 21:27:36 +0200
committerTom Smeding <tom@tomsmeding.com>2023-05-27 21:27:36 +0200
commit3e1bb028e538efebcab2ef959acd4b4c701afa59 (patch)
tree3817414280706b081c0dab85f4e522bd90a3d5a7 /index.html
parentfe82a3a395f3c66265088fe60562f27e196ade5c (diff)
index: Fix spelling
Thanks Daniel :)
Diffstat (limited to 'index.html')
-rw-r--r--index.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html
index 33501f7..de3daab 100644
--- a/index.html
+++ b/index.html
@@ -107,7 +107,7 @@ summary {
My PhD supervisors are Gabriele Keller and Matthijs V&aacute;k&aacute;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>