blob: b1dadf5f996762a8e29037061705ecca9fcb1fc8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
{ href, file, ... }:
let
institution = {
position = "Theoretical Computer Science student";
name = "École Normale Supérieure";
url = "https://www.ens.psl.eu/en";
};
in {
inherit institution;
email = [
{
name = "academic";
address = "quentin.aristote@ens.fr";
}
{
name = "personal";
address = "quentin@aristote.fr";
}
];
avatar = file "avatar.jpg";
location = {
number = "45";
street = "rue d'Ulm";
city = "Paris";
postalCode = "75230 CEDEX 05";
country = "France";
};
profiles = {
Git = {
icon = "git";
profiles = {
personal = {
icon = "github";
url = "https://github.com/qaristote";
};
ENS = {
icon = "gitlab";
url = "https://git.eleves.ens.fr/qaristote";
};
IRIF = {
icon = "gitlab";
url = "https://gitlab.math.univ-paris-diderot.fr/aristote";
};
};
};
LinkedIn = {
icon = "linkedin";
url = "https://fr.linkedin.com/in/quentin-aristote-83979b186";
};
};
keys = let
getKeyFiles = type: keys: {
"${type}" = builtins.foldl'
(tmp: name: tmp // { "${name}" = file "keys/${type}/${name}.pub"; }) { }
keys;
};
in getKeyFiles "pgp" [ "DFC1660846EEA97C059F18534EF515441E635D36" ]
// getKeyFiles "ssh" [ "qaristote@latitude-7490" ];
name = "Quentin Aristote";
url = "https://quentin.aristote.fr/";
description = ''
I am a student at the ${
href "https://www.di.ens.fr/" "Computer Science Department (DI)"
} of the ${with institution; href url name}, an institution part of ${
href "https://psl.eu/en" "PSL University"
}.
I am mainly interested in applying abstract mathematical theories (e.g. category theory) to computer science in order to get new results for free. I am also interested in practical computer science and enjoy programming using functional languages as well as tinkering with systems.
'';
}
|
