summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2026-02-03education rephrase extra coursesaristote
2026-01-31gpg key: use hex idquentin@aristote.fr
2026-01-31flake: move inputs away from githubquentin@aristote.fr
Flake lock file updates: • Updated input 'flake-parts': 'github:hercules-ci/flake-parts/7f53fdb7bdc5bb237da7fefef12d099e4fd611ca?narHash=sha256-aPODl8vAgGQ0ZYFIRisxYG5MOGSkIczvu2Cd8Gb9%2B1Y%3D' (2023-09-01) → 'github:hercules-ci/flake-parts/80daad04eddbbf5a4d883996a73f3f542fa437ac?narHash=sha256-PVvu7OqHBGWN16zSi6tEmPwwHQ4rLPU9Plvs8/1TUBY%3D' (2026-01-11) • Updated input 'flake-parts/nixpkgs-lib': 'github:NixOS/nixpkgs/3e52e76b70d5508f3cec70b882a29199f4d1ee85?dir=lib&narHash=sha256-0l03ZBL8P1P6z8MaSDS/MvuU8E75rVxe5eE1N6gxeTo%3D' (2023-08-31) → 'github:nix-community/nixpkgs.lib/2075416fcb47225d9b68ac469a5c4801a9c4dd85?narHash=sha256-k00uTP4JNfmejrCLJOwdObYC9jHRrr/5M/a/8L2EIdo%3D' (2025-12-14) • Updated input 'my-nixpkgs': 'github:qaristote/my-nixpkgs/d67e818223a6965d76362dd0407a17caf2c3fe4c?narHash=sha256-nhvt7l8%2BxE41XLaWUbqkf/AoqZ%2BHWW7FjIKEYoo68zM%3D' (2023-09-19) → 'git+https://git.aristote.fr/nix/my-nixpkgs?ref=refs/heads/master&rev=e91ce613347c1db230413d3f60236fb8823ec33f' (2026-01-25) • Removed input 'my-nixpkgs/devenv' • Removed input 'my-nixpkgs/devenv/flake-compat' • Removed input 'my-nixpkgs/devenv/nix' • Removed input 'my-nixpkgs/devenv/nix/lowdown-src' • Removed input 'my-nixpkgs/devenv/nix/nixpkgs' • Removed input 'my-nixpkgs/devenv/nix/nixpkgs-regression' • Removed input 'my-nixpkgs/devenv/nixpkgs' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/flake-compat' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/flake-utils' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/flake-utils/systems' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/gitignore' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/gitignore/nixpkgs' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/nixpkgs' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/nixpkgs-stable' • Updated input 'my-nixpkgs/flake-parts': 'github:hercules-ci/flake-parts/7f53fdb7bdc5bb237da7fefef12d099e4fd611ca?narHash=sha256-aPODl8vAgGQ0ZYFIRisxYG5MOGSkIczvu2Cd8Gb9%2B1Y%3D' (2023-09-01) → 'github:hercules-ci/flake-parts/80daad04eddbbf5a4d883996a73f3f542fa437ac?narHash=sha256-PVvu7OqHBGWN16zSi6tEmPwwHQ4rLPU9Plvs8/1TUBY%3D' (2026-01-11) • Updated input 'my-nixpkgs/flake-parts/nixpkgs-lib': 'github:NixOS/nixpkgs/3e52e76b70d5508f3cec70b882a29199f4d1ee85?dir=lib&narHash=sha256-0l03ZBL8P1P6z8MaSDS/MvuU8E75rVxe5eE1N6gxeTo%3D' (2023-08-31) → 'github:nix-community/nixpkgs.lib/2075416fcb47225d9b68ac469a5c4801a9c4dd85?narHash=sha256-k00uTP4JNfmejrCLJOwdObYC9jHRrr/5M/a/8L2EIdo%3D' (2025-12-14) • Updated input 'my-nixpkgs/nixpkgs': 'github:NixOS/nixpkgs/5148520bfab61f99fd25fb9ff7bfbb50dad3c9db?narHash=sha256-d2B282GmQ9o8klc22/Rbbbj6r99EnELQpOQjWMyv0rU%3D' (2023-09-17) → 'github:NixOS/nixpkgs/523257564973361cc3e55e3df3e77e68c20b0b80?narHash=sha256-saOixpqPT4fiE/M8EfHv9I98f3sSEvt6nhMJ/z0a7xI%3D' (2026-01-24) • Updated input 'my-nixpkgs/nur': 'github:nix-community/NUR/926dfdc88dd64c4ec4ed1ba1c29bc198e9713bbb?narHash=sha256-l9xsmZxZ0ISgbH6RRZdNbFfi3hKDdA8rHdSn2zJElJ0%3D' (2023-09-17) → 'github:nix-community/NUR/c80cf01f7985ce8e1f6e50104b4dcff5c97f2d26?narHash=sha256-CmIT44%2B3TM5amukQCKK4jnuhLSfes181OGaePBqpKZY%3D' (2026-01-24) • Added input 'my-nixpkgs/nur/flake-parts': 'github:hercules-ci/flake-parts/205b12d8b7cd4802fbcb8e8ef6a0f1408781a4f9?narHash=sha256-4pDvzqnegAfRkPwO3wmwBhVi/Sye1mzps0zHWYnP88c%3D' (2024-12-04) • Added input 'my-nixpkgs/nur/flake-parts/nixpkgs-lib': follows 'my-nixpkgs/nur/nixpkgs' • Added input 'my-nixpkgs/nur/nixpkgs': 'github:nixos/nixpkgs/88d3861acdd3d2f0e361767018218e51810df8a1?narHash=sha256-MJ27Cy2NtBEV5tsK%2BYraYr2g851f3Fl1LpNHDzDX15c%3D' (2026-01-21) • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/bd9b686c0168041aea600222be0805a0de6e6ab8?narHash=sha256-lta5HToBZMWZ2hl5CautNSUgIZViR41QxN7JKbMAjgQ%3D' (2023-09-29) → 'github:NixOS/nixpkgs/6308c3b21396534d8aaeac46179c14c439a89b8a?narHash=sha256-xKPyJoMoXfXpDM5DFDZDsi9PHArf2k5BJjvReYXoFpM%3D' (2026-01-30)
2026-01-31basics: git: new git websitequentin@aristote.fr
2026-01-31devenv: updatequentin@aristote.fr
2026-01-25devenv: updatequentin@aristote.fr
2025-12-28languages: re-add japanese and germanaristote
2025-12-28more positive phrasingaristote
2025-12-28devenv: updatearistote
2025-12-27typoaristote
2025-12-27devenv: updatearistote
2025-12-19talks: add 12/2025 limd seminararistote
2025-12-19devenv: updatearistote
2025-12-15talks: add PPS days 2025aristote
2025-12-15talks: csl 2024: fix linkaristote
2025-12-15devenv: updatearistote
2025-12-09languages: remove japanesearistote
2025-12-09experience: service: fixaristote
2025-12-09devenv: updatearistote
2025-12-06(tmp): fix research/talksquentin@aristote.fr
2025-12-05research: talk: asv day: add urlaristote
2025-12-05devenv: updatearistote
2025-12-04research: talk: asv day 2025aristote
2025-12-04devenv: updatearistote
2025-11-25experience: add academic servicearistote
2025-11-24devenv: updatearistote
2025-10-23research: talks: rouen 2025aristote
2025-10-23devenv: updatearistote
2025-10-20talks: cant: fix slidesaristote
2025-10-20devenv: updatearistote
2025-10-10research: conferences: lics2025 proceedingsaristote
2025-10-10devenv: updatearistote
2025-10-09research: journals: csl2024 distinguished paperaristote
2025-10-09research: talks: cant2025: update slides urlaristote
2025-09-30research: talks: add cant2025aristote
2025-09-30devenv: updatearistote
2025-09-08research: add highlights talkaristote
2025-09-08devenv: updatearistote
2025-08-30keys: pgp: change expiry datequentin@aristote.fr
2025-08-30devenv: updatequentin@aristote.fr
2025-08-12research: calco2025: add abstractaristote
2025-08-12rename any last instances of 'publications' to 'research'quentin@aristote.fr
2025-08-12devenv: updatequentin@aristote.fr
2025-08-01Merge branch 'new-pub-format'aristote
2025-08-01research: talks: add may talksaristote
2025-08-01devenv: updatearistote
2025-08-01devenv: updatearistote
2025-07-29publications -> researcharistote
2025-07-29publications: calco proceedingsaristote
2025-07-29publications: calco proceedingsaristote