summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-02-28publications: add selected sectionquentin@aristote.fr
2024-02-28update publicationsquentin@aristote.fr
2024-02-07stop following .envrcaristote
2023-09-30basics: change office numberquentin@aristote.fr
2023-09-17reformat codequentin@aristote.fr
2023-09-17flake: add devenvquentin@aristote.fr
2023-08-22i am now a phd studentquentin@aristote.fr
2023-08-20change api to accomodate for tex cvquentin@aristote.fr
2023-08-20files: keys: pgp: update public key expiration datequentin@aristote.fr
2023-08-20experience: tweag internship: add supervisorquentin@aristote.fr
2023-04-30files: gpg key: change irif emailquentin@aristote.fr
2023-04-24basics: address: switch to irifaristote
2023-04-17basics: email: change academic addressqaristote
2023-03-14keys: pgp: add irif identityquentin@aristote.fr
2023-03-01publications: fix smtlib abstractQuentin Aristote
2023-03-01flake.lock: UpdateQuentin Aristote
2023-02-26end tweag internship and start irif oneQuentin Aristote
2023-02-15fix smtlib-backends metadataQuentin Aristote
2023-02-15flake.lock: UpdateQuentin Aristote
2023-02-15add smtlib-backends blogpostQuentin Aristote
2023-02-04experience: sell my work more in internships' descriptionsQuentin Aristote
2023-02-04correct wording in bibli-paris abstractQuentin Aristote
2022-12-17add softwareQuentin Aristote
2022-11-16files: avatar: remove exifQuentin Aristote
2022-11-13flake: use utils from registryQuentin Aristote
2022-11-13update input nixpkgsQuentin Aristote
2022-11-13basics: profiles: restructure and add iconsQuentin Aristote
2022-11-12basics: reword positionQuentin Aristote
2022-11-11add flake lockQuentin Aristote
2022-11-11add flakeQuentin Aristote
2022-11-11add initial dataQuentin Aristote