Skip to content

Commit be73c08

Browse files
jmarkakisjmarkakis
committed
Added nix + direnv
1 parent 697b674 commit be73c08

10 files changed

+345
-96
lines changed

‎.envrc

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
use flake

‎.gitignore

+2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
_site/
22
.sass-cache/
33
.jekyll-cache/
4+
.direnv/
45
Gemfile.lock
56
node_modules
67
package-lock.json
8+

‎Gemfile.lock

+174
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,174 @@
1+
GEM
2+
remote: https://rubygems.org/
3+
specs:
4+
activesupport (8.0.2)
5+
base64
6+
benchmark (>= 0.3)
7+
bigdecimal
8+
concurrent-ruby (~> 1.0, >= 1.3.1)
9+
connection_pool (>= 2.2.5)
10+
drb
11+
i18n (>= 1.6, < 2)
12+
logger (>= 1.4.2)
13+
minitest (>= 5.1)
14+
securerandom (>= 0.3)
15+
tzinfo (~> 2.0, >= 2.0.5)
16+
uri (>= 0.13.1)
17+
addressable (2.8.7)
18+
public_suffix (>= 2.0.2, < 7.0)
19+
base64 (0.2.0)
20+
benchmark (0.4.0)
21+
bigdecimal (3.1.9)
22+
colorator (1.1.0)
23+
concurrent-ruby (1.3.5)
24+
connection_pool (2.5.3)
25+
csv (3.3.4)
26+
drb (2.2.1)
27+
em-websocket (0.5.3)
28+
eventmachine (>= 0.12.9)
29+
http_parser.rb (~> 0)
30+
eventmachine (1.2.7)
31+
ffi (1.17.2-aarch64-linux-gnu)
32+
ffi (1.17.2-aarch64-linux-musl)
33+
ffi (1.17.2-arm-linux-gnu)
34+
ffi (1.17.2-arm-linux-musl)
35+
ffi (1.17.2-arm64-darwin)
36+
ffi (1.17.2-x86_64-darwin)
37+
ffi (1.17.2-x86_64-linux-gnu)
38+
ffi (1.17.2-x86_64-linux-musl)
39+
forwardable-extended (2.6.0)
40+
gemoji (4.1.0)
41+
google-protobuf (4.30.2)
42+
bigdecimal
43+
rake (>= 13)
44+
google-protobuf (4.30.2-aarch64-linux)
45+
bigdecimal
46+
rake (>= 13)
47+
google-protobuf (4.30.2-arm64-darwin)
48+
bigdecimal
49+
rake (>= 13)
50+
google-protobuf (4.30.2-x86_64-darwin)
51+
bigdecimal
52+
rake (>= 13)
53+
google-protobuf (4.30.2-x86_64-linux)
54+
bigdecimal
55+
rake (>= 13)
56+
html-pipeline (2.14.3)
57+
activesupport (>= 2)
58+
nokogiri (>= 1.4)
59+
http_parser.rb (0.8.0)
60+
i18n (1.14.7)
61+
concurrent-ruby (~> 1.0)
62+
jekyll (4.4.1)
63+
addressable (~> 2.4)
64+
base64 (~> 0.2)
65+
colorator (~> 1.0)
66+
csv (~> 3.0)
67+
em-websocket (~> 0.5)
68+
i18n (~> 1.0)
69+
jekyll-sass-converter (>= 2.0, < 4.0)
70+
jekyll-watch (~> 2.0)
71+
json (~> 2.6)
72+
kramdown (~> 2.3, >= 2.3.1)
73+
kramdown-parser-gfm (~> 1.0)
74+
liquid (~> 4.0)
75+
mercenary (~> 0.3, >= 0.3.6)
76+
pathutil (~> 0.9)
77+
rouge (>= 3.0, < 5.0)
78+
safe_yaml (~> 1.0)
79+
terminal-table (>= 1.8, < 4.0)
80+
webrick (~> 1.7)
81+
jekyll-sass-converter (3.1.0)
82+
sass-embedded (~> 1.75)
83+
jekyll-watch (2.2.1)
84+
listen (~> 3.0)
85+
jemoji (0.13.0)
86+
gemoji (>= 3, < 5)
87+
html-pipeline (~> 2.2)
88+
jekyll (>= 3.0, < 5.0)
89+
json (2.11.3)
90+
kramdown (2.5.1)
91+
rexml (>= 3.3.9)
92+
kramdown-parser-gfm (1.1.0)
93+
kramdown (~> 2.0)
94+
liquid (4.0.4)
95+
listen (3.9.0)
96+
rb-fsevent (~> 0.10, >= 0.10.3)
97+
rb-inotify (~> 0.9, >= 0.9.10)
98+
logger (1.7.0)
99+
mercenary (0.4.0)
100+
minitest (5.25.5)
101+
nokogiri (1.18.8-aarch64-linux-gnu)
102+
racc (~> 1.4)
103+
nokogiri (1.18.8-aarch64-linux-musl)
104+
racc (~> 1.4)
105+
nokogiri (1.18.8-arm-linux-gnu)
106+
racc (~> 1.4)
107+
nokogiri (1.18.8-arm-linux-musl)
108+
racc (~> 1.4)
109+
nokogiri (1.18.8-arm64-darwin)
110+
racc (~> 1.4)
111+
nokogiri (1.18.8-x86_64-darwin)
112+
racc (~> 1.4)
113+
nokogiri (1.18.8-x86_64-linux-gnu)
114+
racc (~> 1.4)
115+
nokogiri (1.18.8-x86_64-linux-musl)
116+
racc (~> 1.4)
117+
pathutil (0.16.2)
118+
forwardable-extended (~> 2.6)
119+
public_suffix (6.0.2)
120+
racc (1.8.1)
121+
rake (13.2.1)
122+
rb-fsevent (0.11.2)
123+
rb-inotify (0.11.1)
124+
ffi (~> 1.0)
125+
rexml (3.4.1)
126+
rouge (4.5.2)
127+
safe_yaml (1.0.5)
128+
sass-embedded (1.87.0-aarch64-linux-gnu)
129+
google-protobuf (~> 4.30)
130+
sass-embedded (1.87.0-aarch64-linux-musl)
131+
google-protobuf (~> 4.30)
132+
sass-embedded (1.87.0-arm-linux-gnueabihf)
133+
google-protobuf (~> 4.30)
134+
sass-embedded (1.87.0-arm-linux-musleabihf)
135+
google-protobuf (~> 4.30)
136+
sass-embedded (1.87.0-arm64-darwin)
137+
google-protobuf (~> 4.30)
138+
sass-embedded (1.87.0-x86_64-darwin)
139+
google-protobuf (~> 4.30)
140+
sass-embedded (1.87.0-x86_64-linux-gnu)
141+
google-protobuf (~> 4.30)
142+
sass-embedded (1.87.0-x86_64-linux-musl)
143+
google-protobuf (~> 4.30)
144+
securerandom (0.4.1)
145+
terminal-table (3.0.2)
146+
unicode-display_width (>= 1.1.1, < 3)
147+
tzinfo (2.0.6)
148+
concurrent-ruby (~> 1.0)
149+
unicode-display_width (2.6.0)
150+
uri (1.0.3)
151+
webrick (1.9.1)
152+
153+
PLATFORMS
154+
aarch64-linux
155+
aarch64-linux-gnu
156+
aarch64-linux-musl
157+
arm-linux-gnu
158+
arm-linux-gnueabihf
159+
arm-linux-musl
160+
arm-linux-musleabihf
161+
arm64-darwin
162+
x86_64-darwin
163+
x86_64-linux
164+
x86_64-linux-gnu
165+
x86_64-linux-musl
166+
167+
DEPENDENCIES
168+
jekyll
169+
jemoji
170+
kramdown-parser-gfm
171+
webrick
172+
173+
BUNDLED WITH
174+
2.6.6

‎_config.yml

+3
Original file line numberDiff line numberDiff line change
@@ -61,6 +61,7 @@ exclude:
6161
- .bundle
6262
- .github
6363
- .sass-cache
64+
- .envrc
6465
- assets/js/_main.js
6566
- assets/js/plugins
6667
- assets/js/vendor
@@ -80,6 +81,8 @@ exclude:
8081
- README
8182
- tmp
8283
- vendor
84+
- flake.nix
85+
- flake.lock
8386
keep_files:
8487
- .git
8588
- .svn

‎_cv/cv.tex

+6-2
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1+
% !TeX program = pdflatex
2+
% !TeX encoding = UTF-8
3+
% !TEX spellcheck = en-UK
4+
% !BIB program = biber
5+
16
\documentclass{academic-cv}
27
\name{Ioannis}{Markakis}
38
\address{73 Searle Street, Cambridge, CB3 4DD, UK}
@@ -20,8 +25,7 @@ \section*{Current Position}
2025
{University of Cambridge}
2126
{Oct 2024 - Present}
2227
{\begin{cvlist}
23-
\item Collaborative research on naturality phenomena for higher categories
24-
\item Two preprints under review
28+
\item Collaborative research on naturality phenomena in higher categories
2529
\end{cvlist}}
2630
\end{cvlist}
2731

‎_cv/papers.bib

+3-2
Original file line numberDiff line numberDiff line change
@@ -30,14 +30,15 @@ @online{benjamin_invertible_2024
3030
keywords = {unpublished}
3131
}
3232

33-
@online{benjamin_naturality_2025,
33+
@inproceedings{benjamin_naturality_2025,
3434
title = {Naturality for higher-dimensional path types},
3535
author = {Benjamin, Thibaut and Markakis, Ioannis and Offord, Wilfred and Sarti, Chiara and Vicary, Jamie},
3636
date = {2025-01},
37+
booktitle = {Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025) (to appear)},
3738
eprint = {2501.11620},
3839
eprinttype = {arXiv},
3940
langid = {english},
40-
keywords = {unpublished}
41+
keywords = {published}
4142
}
4243

4344
@online{benjamin_higher_2025,

‎_data/presentations.yml

+34-34
Original file line numberDiff line numberDiff line change
@@ -1,35 +1,35 @@
1-
main:
2-
3-
- title: Opposite and hom weak \(\omega\)-categories
4-
venue: Category Theory 2024
5-
location: Santiago de Compostela, Spain
6-
date: June 24, 2024
7-
pdf : ./files/2024-CT-slides.pdf
8-
page: https://www.usc.gal/regaca/ct2024/
9-
10-
- title: A novel approach to \(\omega\)-categories
11-
venue: Masaryk University Algebra Seminar
12-
location: Brno, Czechia
13-
date: April 03, 2024
14-
page: https://www.math.muni.cz/~bourkej/BAS.html
15-
16-
- title: Computads for generalised signatures
17-
venue: Peripatetic Seminar on Sheaves and Logic 107
18-
location: Athens, Greece
19-
date: April 01, 2023
20-
pdf: ./files/2023-PSSL.pdf
21-
page: https://sites.google.com/view/pssl-107-athens/
22-
23-
- title: Computads for generalised signatures
24-
venue: Yorkshire and Midlands Category Theory Seminar 30
25-
date: March 15, 2023
26-
location: Birmingham, UK
27-
pdf: ./files/2023-YaMCATS.pdf
28-
page: https://conferences.leeds.ac.uk/yamcats/meeting-30/
29-
30-
- title: Computads for weak \(\omega\)-categories as an inductive type
31-
venue: Topology, Algebra and Categories in Logic 2022
32-
location: Coimbra, Portugal
33-
date: June 23, 2022
34-
pdf: ./files/2022-TACL.pdf
1+
main:
2+
3+
- title: Opposite and hom weak \(\omega\)-categories
4+
venue: Category Theory 2024
5+
location: Santiago de Compostela, Spain
6+
date: June 24, 2024
7+
pdf : ./files/2024-CT-slides.pdf
8+
page: https://www.usc.gal/regaca/ct2024/
9+
10+
- title: A novel approach to \(\omega\)-categories
11+
venue: Masaryk University Algebra Seminar
12+
location: Brno, Czechia
13+
date: April 03, 2024
14+
page: https://www.math.muni.cz/~bourkej/BAS.html
15+
16+
- title: Computads for generalised signatures
17+
venue: Peripatetic Seminar on Sheaves and Logic 107
18+
location: Athens, Greece
19+
date: April 01, 2023
20+
pdf: ./files/2023-PSSL.pdf
21+
page: https://sites.google.com/view/pssl-107-athens/
22+
23+
- title: Computads for generalised signatures
24+
venue: Yorkshire and Midlands Category Theory Seminar 30
25+
date: March 15, 2023
26+
location: Birmingham, UK
27+
pdf: ./files/2023-YaMCATS.pdf
28+
page: https://conferences.leeds.ac.uk/yamcats/meeting-30/
29+
30+
- title: Computads for weak \(\omega\)-categories as an inductive type
31+
venue: Topology, Algebra and Categories in Logic 2022
32+
location: Coimbra, Portugal
33+
date: June 23, 2022
34+
pdf: ./files/2022-TACL.pdf
3535
page: https://www.mat.uc.pt/~tacl2022/

0 commit comments

Comments
 (0)