summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
Flake lock file updates: • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/0a25e2c87e784bf7e06e7833ec0e06d34836959a' (2023-02-14) → 'github:NixOS/nixpkgs/9e56d6ec92c8fb4192f1392aa5c4101ad77f2070' (2023-02-28)
2023-02-26end tweag internship and start irif oneQuentin Aristote
in particular, assets now come with a type to differentiate between publications and software
2023-02-15fix smtlib-backends metadataQuentin Aristote
2023-02-15flake.lock: UpdateQuentin Aristote
Flake lock file updates: • Updated input 'flake-utils': 'github:numtide/flake-utils/5aed5285a952e0b949eb3ba02c12fa4fcfef535f' (2022-11-02) → 'github:numtide/flake-utils/3db36a8b464d0c4532ba1c7dda728f4576d6d073' (2023-02-13) • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/5ca8e2e9e1fa5e66a749b39261ad6bd0e07bc87f' (2022-11-12) → 'github:NixOS/nixpkgs/0a25e2c87e784bf7e06e7833ec0e06d34836959a' (2023-02-14)
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-25 13:24:34 +0000