summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--basics/default.nix19
-rw-r--r--education/2016-09_llg.nix15
-rw-r--r--education/2018-09_ens/2018-09_l3.nix14
-rw-r--r--education/2018-09_ens/2019-09_m1.nix12
-rw-r--r--education/2018-09_ens/2021-09_m2.nix12
-rw-r--r--education/2018-09_ens/default.nix12
-rw-r--r--experience/2019-06_lis.nix12
-rw-r--r--experience/2020-03_nii.nix38
-rw-r--r--experience/2022-03_irif.nix27
-rw-r--r--experience/2022-09_tweag.nix12
-rw-r--r--experience/2023-03_irif.nix12
-rw-r--r--languages/english.nix5
-rw-r--r--languages/french.nix5
-rw-r--r--languages/japanese.nix5
14 files changed, 145 insertions, 55 deletions
diff --git a/basics/default.nix b/basics/default.nix
index 4b8ad1d..a646369 100644
--- a/basics/default.nix
+++ b/basics/default.nix
@@ -8,16 +8,10 @@ let
};
in {
inherit institution;
- email = [
- {
- name = "academic";
- address = "quentin.aristote@irif.fr";
- }
- {
- name = "personal";
- address = "quentin@aristote.fr";
- }
- ];
+ email = {
+ academic = "quentin.aristote@irif.fr";
+ personal = "quentin@aristote.fr";
+ };
avatar = file "avatar.jpg";
location = {
office = "4031";
@@ -58,7 +52,10 @@ in {
};
in getKeyFiles "pgp" [ "DFC1660846EEA97C059F18534EF515441E635D36" ]
// getKeyFiles "ssh" [ "qaristote@latitude-7490" ];
- name = "Quentin Aristote";
+ name = {
+ first = "Quentin";
+ last = "Aristote";
+ };
url = "https://quentin.aristote.fr/";
description = ''
I am a student at the ${
diff --git a/education/2016-09_llg.nix b/education/2016-09_llg.nix
index 9a13202..3ec5e41 100644
--- a/education/2016-09_llg.nix
+++ b/education/2016-09_llg.nix
@@ -1,12 +1,23 @@
{ href, ... }:
{
- date = { start = "2016-09-01"; end = "2018-07-31"; };
+ date = {
+ start = {
+ year = 2016;
+ month = 9;
+ day = 1;
+ };
+ end = {
+ year = 2018;
+ month = 7;
+ day = 31;
+ };
+ };
institution = {
name = "Lycée Louis-le-Grand";
location = "Paris, France";
url = "https://www.louislegrand.fr/";
};
studyType = "Higher Schools Preparatory Classes";
- description = "MPSI - MP* (Mathematics, Physics & Computer Science)";
+ description = "MPSI - MP* (Mathematics, Physics and Computer Science)";
}
diff --git a/education/2018-09_ens/2018-09_l3.nix b/education/2018-09_ens/2018-09_l3.nix
index 40643b5..d02c9e3 100644
--- a/education/2018-09_ens/2018-09_l3.nix
+++ b/education/2018-09_ens/2018-09_l3.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2018-09-01";
- end = "2019-07-31";
+ start = {
+ year = 2018;
+ month = 9;
+ day = 1;
+ };
+ end = {
+ year = 2019;
+ month = 7;
+ day = 31;
+ };
};
program = {
name = "ENS's Computer Science Department";
@@ -32,5 +40,5 @@
];
};
description =
- "Graduated with highest honors in Computer Science (17.80/20), with honors in Mathematics (14.74/20)";
+ "Graduated with highest honors in Computer Science (17.80/20), with honors in Mathematics (14.74/20).";
}
diff --git a/education/2018-09_ens/2019-09_m1.nix b/education/2018-09_ens/2019-09_m1.nix
index f58e7ea..40ca4d1 100644
--- a/education/2018-09_ens/2019-09_m1.nix
+++ b/education/2018-09_ens/2019-09_m1.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2019-09-01";
- end = "2020-07-31";
+ start = {
+ year = 2019;
+ month = 9;
+ day = 1;
+ };
+ end = {
+ year = 2020;
+ month = 7;
+ day = 31;
+ };
};
program = {
name = "ENS's Computer Science Department";
diff --git a/education/2018-09_ens/2021-09_m2.nix b/education/2018-09_ens/2021-09_m2.nix
index 734e944..02ebc0b 100644
--- a/education/2018-09_ens/2021-09_m2.nix
+++ b/education/2018-09_ens/2021-09_m2.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2021-09-01";
- end = "2022-07-31";
+ start = {
+ year = 2021;
+ month = 9;
+ day = 1;
+ };
+ end = {
+ year = 2022;
+ month = 7;
+ day = 31;
+ };
};
program = {
name = "Parisian Master of Research in Computer Science";
diff --git a/education/2018-09_ens/default.nix b/education/2018-09_ens/default.nix
index 6c5aa4a..4adeee8 100644
--- a/education/2018-09_ens/default.nix
+++ b/education/2018-09_ens/default.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2018-09-01";
- end = "2023-08-31";
+ start = {
+ year = 2018;
+ month = 9;
+ day = 1;
+ };
+ end = {
+ year = 2023;
+ month = 8;
+ day = 31;
+ };
};
institution = {
name = "École Normale Supérieure";
diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix
index 0f446fc..32d8ddd 100644
--- a/experience/2019-06_lis.nix
+++ b/experience/2019-06_lis.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2019-06-01";
- end = "2019-07-31";
+ start = {
+ year = 2019;
+ month = 6;
+ day = 1;
+ };
+ end = {
+ year = 2019;
+ month = 7;
+ day = 31;
+ };
};
institution = {
position = "research intern in Natural Computing";
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
index fb6e50d..e86fbee 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/2020-03_nii.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2020-03-01";
- end = "2020-07-31";
+ start = {
+ year = 2020;
+ month = 3;
+ day = 1;
+ };
+ end = {
+ year = 2020;
+ month = 7;
+ day = 31;
+ };
};
institution = {
position = "research intern in Applied Category Theory";
@@ -11,19 +19,21 @@
url = "https://group-mmm.org/eratommsd/";
location = "Tōkyō, Japan";
};
- supervisors = [{
- name = "Ichiro Hasuo";
- url = "https://group-mmm.org/~ichiro/";
- } {
- name = "Jérémy Dubut";
- url = "https://group-mmm.org/~dubut/";
- }];
- assets = [
+ supervisors = [
+ {
+ name = "Ichiro Hasuo";
+ url = "https://group-mmm.org/~ichiro/";
+ }
{
- name = "internship report";
- id = "aristoteFibrationalFrameworkNested2020";
- type = "Publications";
+ name = "Jérémy Dubut";
+ url = "https://group-mmm.org/~dubut/";
}
];
- description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games.";
+ assets = [{
+ name = "internship report";
+ id = "aristoteFibrationalFrameworkNested2020";
+ type = "Publications";
+ }];
+ description =
+ "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games.";
}
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix
index f2f2d4e..3094556 100644
--- a/experience/2022-03_irif.nix
+++ b/experience/2022-03_irif.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2022-03-14";
- end = "2022-07-31";
+ start = {
+ year = 2022;
+ month = 3;
+ day = 14;
+ };
+ end = {
+ year = 2022;
+ month = 7;
+ day = 31;
+ };
};
institution = {
position = "research intern in Applied Category Theory";
@@ -15,12 +23,11 @@
name = "Daniela Petrişan";
url = "https:/www.irif.fr/~petrisan/";
}];
- assets = [
- {
- name = "internship report";
- id = "aristoteApplicationsCategoricalFramework2022";
- type = "Publications";
- }
- ];
- description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms.";
+ assets = [{
+ name = "internship report";
+ id = "aristoteApplicationsCategoricalFramework2022";
+ type = "Publications";
+ }];
+ description =
+ "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms.";
}
diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix
index 5fdb692..9b2732e 100644
--- a/experience/2022-09_tweag.nix
+++ b/experience/2022-09_tweag.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2022-09-14";
- end = "2023-02-24";
+ start = {
+ year = 2022;
+ month = 9;
+ day = 14;
+ };
+ end = {
+ year = 2023;
+ month = 2;
+ day = 24;
+ };
};
institution = {
position = "Software Engineering intern";
diff --git a/experience/2023-03_irif.nix b/experience/2023-03_irif.nix
index a8dbc6c..a1159af 100644
--- a/experience/2023-03_irif.nix
+++ b/experience/2023-03_irif.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2023-02-27";
- end = "2023-07-28";
+ start = {
+ year = 2023;
+ month = 2;
+ day = 27;
+ };
+ end = {
+ year = 2023;
+ month = 7;
+ day = 28;
+ };
};
institution = {
position = "research intern in Applied Category Theory";
diff --git a/languages/english.nix b/languages/english.nix
index 2e45e10..6bc7a1e 100644
--- a/languages/english.nix
+++ b/languages/english.nix
@@ -3,5 +3,8 @@
{
name = "English";
proficiency = "fluent";
- icon = "🇬🇧";
+ icon = {
+ codepoints = [ "1F1EC" "1F1E7" ];
+ shortcode = "flag-united-kingdom";
+ };
}
diff --git a/languages/french.nix b/languages/french.nix
index c90cc5e..0dd9541 100644
--- a/languages/french.nix
+++ b/languages/french.nix
@@ -3,5 +3,8 @@
{
name = "French";
proficiency = "native";
- icon = "🇫🇷";
+ icon = {
+ codepoints = [ "1F1EB" "1F1F7" ];
+ shortcode = "flag-france";
+ };
}
diff --git a/languages/japanese.nix b/languages/japanese.nix
index 926e564..ce9065b 100644
--- a/languages/japanese.nix
+++ b/languages/japanese.nix
@@ -3,5 +3,8 @@
{
name = "Japanese";
proficiency = "intermediate";
- icon = "🇯🇵";
+ icon = {
+ codepoints = [ "1F1EF" "1F1F5" ];
+ shortcode = "flag-japan";
+ };
}
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-25 02:00:26 +0000