diff options
| -rw-r--r-- | default.nix | 2 | ||||
| -rw-r--r-- | devenv.lock | 32 | ||||
| -rw-r--r-- | flake.lock | 30 | ||||
| -rw-r--r-- | lib/latex.nix | 7 | ||||
| -rw-r--r-- | src/bibliography/default.nix | 42 | ||||
| -rw-r--r-- | src/default.nix | 2 | ||||
| -rw-r--r-- | src/education/default.nix | 1 | ||||
| -rw-r--r-- | src/experience/default.nix | 3 | ||||
| -rw-r--r-- | src/languages/default.nix | 9 | ||||
| -rw-r--r-- | src/research/content.tex | 24 | ||||
| -rw-r--r-- | src/research/default.nix | 40 | ||||
| -rw-r--r-- | src/sections.nix | 15 | ||||
| -rw-r--r-- | src/service/default.nix | 3 |
13 files changed, 126 insertions, 84 deletions
diff --git a/default.nix b/default.nix index 5c36c88..895d341 100644 --- a/default.nix +++ b/default.nix @@ -64,7 +64,7 @@ in } '' export HOME=$(pwd) - cp -r ${cv-src}/* -r . + cp --recursive ${cv-src}/* . latexmk -pdflua cv.tex mv cv.pdf "$out" '' diff --git a/devenv.lock b/devenv.lock index 199cc6d..9409eb7 100644 --- a/devenv.lock +++ b/devenv.lock @@ -3,10 +3,10 @@ "devenv": { "locked": { "dir": "src/modules", - "lastModified": 1766087669, + "lastModified": 1767111144, "owner": "cachix", "repo": "devenv", - "rev": "c03eed645ea94da7afbee29da76436b7ce33a5cb", + "rev": "4dece0eb98c5ad9e1bda60711228228a023e1652", "type": "github" }, "original": { @@ -19,10 +19,10 @@ "flake-compat": { "flake": false, "locked": { - "lastModified": 1765121682, + "lastModified": 1767039857, "owner": "edolstra", "repo": "flake-compat", - "rev": "65f23138d8d09a92e30f1e5c87611b23ef451bf3", + "rev": "5edf11c44bc78a0d334f6334cdaf7d60d732daab", "type": "github" }, "original": { @@ -116,10 +116,10 @@ "nur": "nur" }, "locked": { - "lastModified": 1764930843, + "lastModified": 1766570433, "owner": "qaristote", "repo": "my-nixpkgs", - "rev": "df81cd3917bb9130c2cebde3927dbaa00f36877f", + "rev": "06986b3a0d884cbaed54cf307c2e3bf2902f4a7b", "type": "github" }, "original": { @@ -130,10 +130,10 @@ }, "nixpkgs": { "locked": { - "lastModified": 1766125104, + "lastModified": 1767026758, "owner": "NixOS", "repo": "nixpkgs", - "rev": "7d853e518814cca2a657b72eeba67ae20ebf7059", + "rev": "346dd96ad74dc4457a9db9de4f4f57dab2e5731d", "type": "github" }, "original": { @@ -143,10 +143,10 @@ }, "nixpkgs-lib": { "locked": { - "lastModified": 1765674936, + "lastModified": 1766884708, "owner": "nix-community", "repo": "nixpkgs.lib", - "rev": "2075416fcb47225d9b68ac469a5c4801a9c4dd85", + "rev": "15177f81ad356040b4460a676838154cbf7f6213", "type": "github" }, "original": { @@ -157,10 +157,10 @@ }, "nixpkgs_2": { "locked": { - "lastModified": 1766070988, + "lastModified": 1766902085, "owner": "nixos", "repo": "nixpkgs", - "rev": "c6245e83d836d0433170a16eb185cefe0572f8b8", + "rev": "c0b0e0fddf73fd517c3471e546c0df87a42d53f4", "type": "github" }, "original": { @@ -172,10 +172,10 @@ }, "nixpkgs_3": { "locked": { - "lastModified": 1766125104, + "lastModified": 1767026758, "owner": "NixOS", "repo": "nixpkgs", - "rev": "7d853e518814cca2a657b72eeba67ae20ebf7059", + "rev": "346dd96ad74dc4457a9db9de4f4f57dab2e5731d", "type": "github" }, "original": { @@ -191,10 +191,10 @@ "nixpkgs": "nixpkgs_2" }, "locked": { - "lastModified": 1766256167, + "lastModified": 1767178746, "owner": "nix-community", "repo": "NUR", - "rev": "51d3347e63a34996f35275c77372eeafaa11e0ed", + "rev": "a47920946d535965aa90a0ff1f687d35c4a60ae1", "type": "github" }, "original": { @@ -7,11 +7,11 @@ "nixpkgs": "nixpkgs_3" }, "locked": { - "lastModified": 1765295753, - "narHash": "sha256-4bUJhWUcGMTtMcudSQ0cF8NW+QVmVqRvveFcLvMaM0M=", + "lastModified": 1766952383, + "narHash": "sha256-MLQGAJ4e+6jiIkUSUxmg6RseBDa0/DKszwSbtUSLHf8=", "owner": "qaristote", "repo": "info", - "rev": "6b03cea2553cd9855ab41a64a5b70181d19b40b1", + "rev": "a1f128e7367ac22f63d32b0a6e6924338917f0d3", "type": "github" }, "original": { @@ -96,11 +96,11 @@ "nixpkgs-lib": "nixpkgs-lib_3" }, "locked": { - "lastModified": 1763759067, - "narHash": "sha256-LlLt2Jo/gMNYAwOgdRQBrsRoOz7BPRkzvNaI/fzXi2Q=", + "lastModified": 1765835352, + "narHash": "sha256-XswHlK/Qtjasvhd1nOa1e8MgZ8GS//jBoTqWtrS1Giw=", "owner": "hercules-ci", "repo": "flake-parts", - "rev": "2cccadc7357c0ba201788ae99c4dfa90728ef5e0", + "rev": "a34fae9c08a15ad73f295041fec82323541400a9", "type": "github" }, "original": { @@ -233,11 +233,11 @@ "nur": "nur_2" }, "locked": { - "lastModified": 1764503445, - "narHash": "sha256-GDeHehmCTXWRm8A0lcqG5xybY8eNuPgBLj5rOY/5Wn4=", + "lastModified": 1766570433, + "narHash": "sha256-CGcwkz/SOmZ8q/H1iorN78w3C2JmRct71MLvixFbhOE=", "owner": "qaristote", "repo": "my-nixpkgs", - "rev": "8eff7ef3bfbbe8480a8a08137014a1383db35a31", + "rev": "06986b3a0d884cbaed54cf307c2e3bf2902f4a7b", "type": "github" }, "original": { @@ -326,11 +326,11 @@ }, "nixpkgs-lib_3": { "locked": { - "lastModified": 1761765539, - "narHash": "sha256-b0yj6kfvO8ApcSE+QmA6mUfu8IYG6/uU28OFn4PaC8M=", + "lastModified": 1765674936, + "narHash": "sha256-k00uTP4JNfmejrCLJOwdObYC9jHRrr/5M/a/8L2EIdo=", "owner": "nix-community", "repo": "nixpkgs.lib", - "rev": "719359f4562934ae99f5443f20aa06c2ffff91fc", + "rev": "2075416fcb47225d9b68ac469a5c4801a9c4dd85", "type": "github" }, "original": { @@ -446,11 +446,11 @@ }, "nixpkgs_6": { "locked": { - "lastModified": 1764474957, - "narHash": "sha256-RCNYRb7zHt+qycQwfTD/Zxnbd4Sxi2fgvkeAljtLEOs=", + "lastModified": 1766840161, + "narHash": "sha256-Ss/LHpJJsng8vz1Pe33RSGIWUOcqM1fjrehjUkdrWio=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "890f57fde071de281cd0e950cd80ea3e1ab55e75", + "rev": "3edc4a30ed3903fdf6f90c837f961fa6b49582d1", "type": "github" }, "original": { diff --git a/lib/latex.nix b/lib/latex.nix index e3d0597..ec83059 100644 --- a/lib/latex.nix +++ b/lib/latex.nix @@ -47,9 +47,14 @@ let ${lines content} \end{${name}} ''; + environmentWithOpts = name: args: content: '' + \begin{${name}}{${lib.concatStringsSep "}{" args}} + ${lines content} + \end{${name}} + ''; latex = { - inherit macro environment; + inherit macro environment environmentWithOpts; comment = content: "% ${content}"; document = environment "document"; diff --git a/src/bibliography/default.nix b/src/bibliography/default.nix new file mode 100644 index 0000000..b34ada4 --- /dev/null +++ b/src/bibliography/default.nix @@ -0,0 +1,42 @@ +{ + data, + ... +}: +let + addBibResource = name: '' + \begin{filecontents*}{${name}.json} + ${builtins.toJSON data.research."${name}"} + \end{filecontents*} + \addbibresource{${name}.json} + ''; +in +{ + title = "Bibliography"; + extraHeader = '' + \usepackage[style=ieee]{citation-style-language} + \cslsetup{bib-item-sep = 8 pt plus 4 pt minus 2 pt} + '' + + addBibResource "conferences" + + addBibResource "journals" + + addBibResource "misc" + + addBibResource "reports"; + content = '' + \nocite{*} + + \textbf{Conference papers} + + \printbibliography[heading=none,type=paper-conference] + + \textbf{Journal papers} + + \printbibliography[heading=none,type=article-journal] + + \textbf{Not peer-reviewed} + + \printbibliography[heading=none,nottype=article-journal,nottype=paper-conference,nottype=report] + + \textbf{Reports} + + \printbibliography[heading=none,type=report] + ''; +} diff --git a/src/default.nix b/src/default.nix index dbc9fca..cd5c9cf 100644 --- a/src/default.nix +++ b/src/default.nix @@ -6,7 +6,7 @@ }: with latex; let - sections = sort.byKey "priority" (make ./sections.nix { }); + sections = make ./sections.nix { }; in with data.basics; lines [ diff --git a/src/education/default.nix b/src/education/default.nix index 8d373f8..b2e6289 100644 --- a/src/education/default.nix +++ b/src/education/default.nix @@ -10,7 +10,6 @@ let in { title = "Education"; - priority = 10; content = with latex; for (sortByStartDate education) ( diff --git a/src/experience/default.nix b/src/experience/default.nix index cf025bb..288dd37 100644 --- a/src/experience/default.nix +++ b/src/experience/default.nix @@ -9,7 +9,6 @@ let in { title = "Experience"; - priority = 0; content = with latex; for (sort.reverse.byFun (x: with x.date.start; day + 100 * month + 10000 * year) experience) ( @@ -20,7 +19,7 @@ in institution.location ( if item ? supervisors then - "supervised by " + "with " + lib.concatStringsSep " \\& " (for supervisors (supervisor: with supervisor; href url name)) else "" diff --git a/src/languages/default.nix b/src/languages/default.nix index b00efc6..9f86c89 100644 --- a/src/languages/default.nix +++ b/src/languages/default.nix @@ -5,7 +5,6 @@ ... }: let - languages = data.languages; sortByProficiency = lib.sort ( lang1: lang2: let @@ -17,14 +16,16 @@ let in { title = "Languages"; - priority = 20; extraHeader = '' \usepackage{emoji} \setemojifont{NotoColorEmoji.ttf}[Path=./fonts/] + \usepackage{multicol} ''; content = with latex; - for (sortByProficiency languages) ( - lang: with lang; moderncv.cvline "${name} \\emoji{${icon.shortcode}}" proficiency + environmentWithOpts "multicols" [ "2" ] ( + for (sortByProficiency data.languages) ( + lang: with lang; moderncv.cvline "${name} \\emoji{${icon.shortcode}}" proficiency + ) ); } diff --git a/src/research/content.tex b/src/research/content.tex new file mode 100644 index 0000000..52e77a2 --- /dev/null +++ b/src/research/content.tex @@ -0,0 +1,24 @@ +$4$ conference papers: CALCO 2025~\cite{aristoteActiveLearningUpwardClosed2025}; +CSL 2024~\cite{aristoteActiveLearningDeterministic2024}; LICS +2025~\cite{aristoteMonotoneWeakDistributive2025}; STACS +2025~\cite{aristoteLearningWeightedAutomata2025}. + +$1$ paper accepted to an upcoming conference (FoSSaCS 2026). + +\smallskip + +$>23$ talks given. $5$ invited talks: Oxford University, Université +Aix-Marseille ($\times 2$), Université de Rouen, Université Savoie-Mont-Blanc + +\smallskip + +\textbf{Awards:} + +\smallskip + +\cventry{CSL 2024~\cite{aristoteActiveLearningDeterministic2024}}{Helena +Rasiowa Award}{Best Student Paper}{}{}{} + +\cventry{CSL 2024~\cite{aristoteActiveLearningDeterministic2024}}{Selected +Paper}{for publication in a special issue of the LMCS +journal~\cite{aristoteActiveLearningDeterministic2025}}{}{}{} diff --git a/src/research/default.nix b/src/research/default.nix index db70f5a..99c6f0d 100644 --- a/src/research/default.nix +++ b/src/research/default.nix @@ -1,43 +1,7 @@ { - data, ... }: -let - addBibResource = name: '' - \begin{filecontents*}{${name}.json} - ${builtins.toJSON data.research."${name}"} - \end{filecontents*} - \addbibresource{${name}.json} - ''; -in { - title = "Research"; - priority = 30; - extraHeader = '' - \usepackage[style=ieee]{citation-style-language} - \cslsetup{bib-item-sep = 8 pt plus 4 pt minus 2 pt} - '' - + addBibResource "conferences" - + addBibResource "journals" - + addBibResource "misc" - + addBibResource "reports"; - content = '' - \nocite{*} - - \textbf{Conference papers} - - \printbibliography[heading=none,type=paper-conference] - - \textbf{Journal papers} - - \printbibliography[heading=none,type=article-journal] - - \textbf{Not peer-reviewed} - - \printbibliography[heading=none,nottype=article-journal,nottype=paper-conference,nottype=report] - - \textbf{Reports} - - \printbibliography[heading=none,type=report] - ''; + title = "Research output"; + content = builtins.readFile ./content.tex; } diff --git a/src/sections.nix b/src/sections.nix index 1c5fbd4..aa2c527 100644 --- a/src/sections.nix +++ b/src/sections.nix @@ -5,8 +5,8 @@ }: let sectionTemplate = section: { - inherit (section) title priority; - extraHeader = if section ? extraHeader then section.extraHeader else ""; + inherit (section) title; + extraHeader = section.extraHeader or ""; content = latex.section section.title section.content; }; makeSection = path: sectionTemplate (make path { }); @@ -14,7 +14,16 @@ in builtins.map makeSection [ ./experience ./education + ./research ./service ./languages - ./research +] +++ [ + { + extraHeader = ""; + content = '' + \newpage + ''; + } + (makeSection ./bibliography) ] diff --git a/src/service/default.nix b/src/service/default.nix index 7dd1ca8..6e183c9 100644 --- a/src/service/default.nix +++ b/src/service/default.nix @@ -9,7 +9,6 @@ let in { title = "Academic service"; - priority = 15; content = [ ( with service.reviews; @@ -18,7 +17,7 @@ in name: years: "${name} ${lib.concatMapStringsSep ", " builtins.toString years}" ) conferences.names; in - "I have reviewed ${builtins.toString conferences.number} conference papers (${conferenceList})." + "${builtins.toString conferences.number} conference papers reviews: ${conferenceList}. \\\\" ) ( with latex; |