Copilot suggesting a new code snippet, based on my previous text.
https://media.mathstodon.xyz/media_attachments/files/111/001/993/607/157/472/original/2dce38cec87f7e5a.png
Every five to ten years, I make the effort to switch my #TeXLaTeX editor to a more modern one. This process has now iterated several times back from when I was a graduate student in the mid-1990s using vi from a UNIX shell to write in plain TeX. On the suggestion of a reader here, I installed #VSCode + #TeXLive + #LaTeXworkshop + #GithubCopilot as an upgrade from my current setup of #TeXnicCenter + #MiKTeX
which I had been using for almost a decade, and am recording my first impressions here (which will most likely be quite naive for existing VSCode users).
The installation had no problems (other than the four hours needed to download TeX live on a slow internet connection). I began experimenting with various features. So far I have mostly played with the user-defined code snippets feature, which can allow me for instance to create an entire corollary environment by typing in a trigger word (I chose "cor") and pressing tab (see enclosed screenshots). Strangely enough I had a version of this functionality 20 years ago during a brief period when I experimented with using Microsoft Word as a LaTeX editor purely for the ability to use Visual Basic macros (though I abandoned this shortly after due to the lack of other LaTeX-friendly features). I could certainly see myself using this feature frequently as a time-saver.
So far the AI-powered Copilot suggestions have been mainly useful for filling out the snippet functionality: after giving a few examples of the snippets I wanted, it was able to suggest more that I could accept, again with the single click of the tab key.
(Incidentally, the screenshots are displaying a paper which I will be putting on the arXiv shortly. Stay tuned...)
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.