summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2025-07-27typoaristote
2025-07-27devenv: updatearistote
• Updated input 'devenv': 'github:cachix/devenv/4000b0153c6f54a57368c0b066aaa0024450618c?dir=src/modules' (2025-02-26) → 'github:cachix/devenv/8a92f0a645f8c6ee1653a492abc0be3556b0202d?dir=src/modules' (2025-07-25) • Updated input 'git-hooks': 'github:cachix/git-hooks.nix/9364dc02281ce2d37a1f55b6e51f7c0f65a75f17' (2025-01-21) → 'github:cachix/git-hooks.nix/16ec914f6fb6f599ce988427d9d94efddf25fe6d' (2025-06-24) • Updated input 'git-hooks/flake-compat': 'github:edolstra/flake-compat/ff81ac966bb2cae68946d5ed5fc4994f96d0ffec' (2024-12-04) → 'github:edolstra/flake-compat/9100a0f413b0c601e0533d1d94ffd501ce2e7885' (2025-05-12) • Updated input 'my-nixpkgs': 'github:qaristote/my-nixpkgs/fc9766e6b3bd039376d5a446b55d03bd0a0b267b' (2025-02-26) → 'github:qaristote/my-nixpkgs/2a8763191aed7bc2db4fc478804d80420c542b3b' (2025-07-22) • Updated input 'my-nixpkgs/flake-parts': 'github:hercules-ci/flake-parts/32ea77a06711b758da0ad9bd6a844c5740a87abd' (2025-02-01) → 'github:hercules-ci/flake-parts/644e0fc48951a860279da645ba77fe4a6e814c5e' (2025-07-21) • Updated input 'my-nixpkgs/flake-parts/nixpkgs-lib': 'https://github.com/NixOS/nixpkgs/archive/072a6db25e947df2f31aab9eccd0ab75d5b2da11.tar.gz?narHash=sha256-vJzFZGaCpnmo7I6i416HaBLpC%2BhvcURh/BQwROcGIp8%3D' (2025-02-16) → 'github:nix-community/nixpkgs.lib/0f36c44e01a6129be94e3ade315a5883f0228a6e' (2025-07-27) • Updated input 'my-nixpkgs/nixpkgs': 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) → 'github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace' (2025-07-25) • Updated input 'my-nixpkgs/nur': 'github:nix-community/NUR/2e80b737688496c5a3b0557009c8aa0bb5d0f98c' (2025-02-27) → 'github:nix-community/NUR/8598ddca549368eb1def4b907d3590258be7fc69' (2025-07-27) • Updated input 'my-nixpkgs/nur/flake-parts': 'github:hercules-ci/flake-parts/32ea77a06711b758da0ad9bd6a844c5740a87abd' (2025-02-01) → 'github:hercules-ci/flake-parts/644e0fc48951a860279da645ba77fe4a6e814c5e' (2025-07-21) • Updated input 'my-nixpkgs/nur/nixpkgs': 'github:nixos/nixpkgs/0196c0175e9191c474c26ab5548db27ef5d34b05' (2025-02-24) → 'github:nixos/nixpkgs/7fd36ee82c0275fb545775cc5e4d30542899511d' (2025-07-25) • Removed input 'my-nixpkgs/nur/treefmt-nix' • Removed input 'my-nixpkgs/nur/treefmt-nix/nixpkgs' • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) → 'github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace' (2025-07-25)
2025-07-27publications: files: fix scriptaristote
2025-07-27reference files: add talksaristote
2025-07-27normalize referencesaristote
2025-07-27Publications -> Writingsaristote
2025-07-27publications: fix exportaristote
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 09:16:34 +0000