| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-08-20 | files: keys: pgp: update public key expiration date | quentin@aristote.fr | |
| 2023-08-20 | experience: tweag internship: add supervisor | quentin@aristote.fr | |
| 2023-04-30 | files: gpg key: change irif email | quentin@aristote.fr | |
| 2023-04-24 | basics: address: switch to irif | aristote | |
| 2023-04-17 | basics: email: change academic address | qaristote | |
| 2023-03-14 | keys: pgp: add irif identity | quentin@aristote.fr | |
| 2023-03-01 | publications: fix smtlib abstract | Quentin Aristote | |
| 2023-03-01 | flake.lock: Update | Quentin Aristote | |
| Flake lock file updates: • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/0a25e2c87e784bf7e06e7833ec0e06d34836959a' (2023-02-14) → 'github:NixOS/nixpkgs/9e56d6ec92c8fb4192f1392aa5c4101ad77f2070' (2023-02-28) | |||
| 2023-02-26 | end tweag internship and start irif one | Quentin Aristote | |
| in particular, assets now come with a type to differentiate between publications and software | |||
| 2023-02-15 | fix smtlib-backends metadata | Quentin Aristote | |
| 2023-02-15 | flake.lock: Update | Quentin 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-15 | add smtlib-backends blogpost | Quentin Aristote | |
| 2023-02-04 | experience: sell my work more in internships' descriptions | Quentin Aristote | |
| 2023-02-04 | correct wording in bibli-paris abstract | Quentin Aristote | |
| 2022-12-17 | add software | Quentin Aristote | |
| 2022-11-16 | files: avatar: remove exif | Quentin Aristote | |
| 2022-11-13 | flake: use utils from registry | Quentin Aristote | |
| 2022-11-13 | update input nixpkgs | Quentin Aristote | |
| 2022-11-13 | basics: profiles: restructure and add icons | Quentin Aristote | |
| 2022-11-12 | basics: reword position | Quentin Aristote | |
| 2022-11-11 | add flake lock | Quentin Aristote | |
| 2022-11-11 | add flake | Quentin Aristote | |
| 2022-11-11 | add initial data | Quentin Aristote | |
 |
index : about-me/info | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |