From 55b13cbe3b5e02ac8f5920a0fcfe0fcd8b16af3f Mon Sep 17 00:00:00 2001 From: Lyes Saadi Date: Sat, 6 Dec 2025 19:10:37 +0100 Subject: [PATCH] Some changes --- content/home/index.en.md | 2 +- static/.well-known/discord | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 static/.well-known/discord diff --git a/content/home/index.en.md b/content/home/index.en.md index 053237a..78b7ae3 100644 --- a/content/home/index.en.md +++ b/content/home/index.en.md @@ -67,7 +67,7 @@ do both research and teaching. I would like to do research first and foremost, to change the world, type by type, functor by functor. But also because theoretical computer science is too -awesome and incredible not to dedicate it [find a joke]. +awesome and incredible not to dedicate oneself to its study. But also teaching, to spread further the beautiful world that is theoretical computer science, which unfortunately remains largely unknown to the wider diff --git a/static/.well-known/discord b/static/.well-known/discord new file mode 100644 index 0000000..e00ea68 --- /dev/null +++ b/static/.well-known/discord @@ -0,0 +1 @@ +dh=68148d73f1f348c1f3b8058dd32d308826875263