summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2026-02-20add lics 2026 reviewHEADmasteraristote
2026-02-20devenv: updatearistote
2026-02-04research: add fossacs 2026 paperaristote
2026-02-04research: misc: add profunctorial algebrasaristote
2026-02-04devenv: move inputs away from githubaristote
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 21:57:25 +0000