| Age | Commit message (Expand) | Author |
|---|---|---|
| 11 days | gpg key: update expiry | quentin@aristote.fr |
| 11 days | devenv: update | quentin@aristote.fr |
| 2026-07-22 | add ct2026 talk | aristote |
| 2026-07-22 | devenv: update | aristote |
| 2026-06-17 | lhc days 2026 | aristote |
| 2026-06-17 | devenv: update | aristote |
| 2026-06-14 | fix software urls | aristote |
| 2026-06-14 | devenv: update | aristote |
| 2026-06-10 | lipn talk | aristote |
| 2026-06-10 | devenv: update | aristote |
| 2026-06-08 | fix fossacs slides url | aristote |
| 2026-06-08 | devenv: update | aristote |
| 2026-05-21 | reasearch: talks: PPS days 2026 | aristote |
| 2026-05-21 | devenv: update | aristote |
| 2026-04-17 | research: add arxiv doi | aristote |
| 2026-04-17 | research: add fossacs 2026 paper | aristote |
| 2026-04-17 | devenv: update | aristote |
| 2026-02-20 | add lics 2026 review | aristote |
| 2026-02-20 | devenv: update | aristote |
| 2026-02-04 | research: add fossacs 2026 paper | aristote |
| 2026-02-04 | research: misc: add profunctorial algebras | aristote |
| 2026-02-04 | devenv: move inputs away from github | aristote |
| 2026-02-03 | education rephrase extra courses | aristote |
| 2026-01-31 | gpg key: use hex id | quentin@aristote.fr |
| 2026-01-31 | flake: move inputs away from github | quentin@aristote.fr |
| 2026-01-31 | basics: git: new git website | quentin@aristote.fr |
| 2026-01-31 | devenv: update | quentin@aristote.fr |
| 2026-01-25 | devenv: update | quentin@aristote.fr |
| 2025-12-28 | languages: re-add japanese and german | aristote |
| 2025-12-28 | more positive phrasing | aristote |
| 2025-12-28 | devenv: update | aristote |
| 2025-12-27 | typo | aristote |
| 2025-12-27 | devenv: update | aristote |
| 2025-12-19 | talks: add 12/2025 limd seminar | aristote |
| 2025-12-19 | devenv: update | aristote |
| 2025-12-15 | talks: add PPS days 2025 | aristote |
| 2025-12-15 | talks: csl 2024: fix link | aristote |
| 2025-12-15 | devenv: update | aristote |
| 2025-12-09 | languages: remove japanese | aristote |
| 2025-12-09 | experience: service: fix | aristote |
| 2025-12-09 | devenv: update | aristote |
| 2025-12-06 | (tmp): fix research/talks | quentin@aristote.fr |
| 2025-12-05 | research: talk: asv day: add url | aristote |
| 2025-12-05 | devenv: update | aristote |
| 2025-12-04 | research: talk: asv day 2025 | aristote |
| 2025-12-04 | devenv: update | aristote |
| 2025-11-25 | experience: add academic service | aristote |
| 2025-11-24 | devenv: update | aristote |
| 2025-10-23 | research: talks: rouen 2025 | aristote |
| 2025-10-23 | devenv: update | aristote |
 |
index : info | |
| Personal information packaged in a Nix attribute set. |
| summaryrefslogtreecommitdiff |