IT News · @itnewsbot
3720 followers · 273067 posts · Server schleuss.online
Terence Tao · @tao
11056 followers · 325 posts · Server mathstodon.xyz

Was pleasantly surprised to see autocomplete a form letter I was writing (using the + setup I have recently switched to). Given just the opening paragraph and a further sentence, it suggested the remainder of the paragraph that was quite close to what I actually intended to write, and I was able to complete the form letter in less than half the time I had expected by performing minor edits to the Copilot suggestions.

The letter contains some personal information regarding the subject of the letter, so I cannot share it here; but I can share a typical screenshot of how the autocomplete would work in the paper I recently completed. In attempting to autocomplete an outline of the proof, Copilot does manage to quote relevant results from elsewhere in the paper, but then wanders off into stochastic analytic number theory nonsense. Outside of some very short autocompletions or when writing some repetitive patterns of text, I have found it more amusing than useful while writing math papers thus far, but it may well surprise me in the future.

#latexworkshop #vscode #githubcopilot

Last updated 1 year ago

GitHub · @github
99 followers · 147 posts · Server techhub.social
Terence Tao · @tao
11002 followers · 318 posts · Server mathstodon.xyz

Every five to ten years, I make the effort to switch my 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. On the suggestion of a reader here, I installed + + + as an upgrade from my current setup of +
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 the TeX live packages 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...)

#miktex #texniccenter #githubcopilot #latexworkshop #texlive #vscode #latex

Last updated 1 year ago

Louis Ingenthron · @LouisIngenthron
205 followers · 3180 posts · Server qoto.org

One very interesting observation from coding with /#ML:

I've found that I've started subconsciously trying to race to type out lines of code before it can guess them.

I used to stop occasionally to sit and ponder what I wanted to write, but now if I do that, the machine tells me what I wanted and it's usually right, so that motivates me to stop pondering and do what I know needs to get done.

It feels like a productivity booster.

#ai #githubcopilot

Last updated 1 year ago

Ankur · @ankur
0 followers · 8 posts · Server masto.ai

Is the future of programming as AI-dependent as the present is calculator-dependent for arithmetic? Will programmers who can code without AI be more/less valued than those who rely on it? I'm debating whether to become an AI-dependent programmer or not.

#ai #githubcopilot #coding

Last updated 1 year ago

プログラミング初心者の医学生が残り少ない夏休みでGithubcopilotとchatGPTの力を借りてアプリ開発してみた Day6
qiita.com/Shigemaxxx/items/637

#qiita #dart #初心者 #flutter #githubcopilot #chatgpt

Last updated 1 year ago

プログラミング初心者の医学生が残り少ない夏休みでGithubcopilotとchatGPTの力を借りてアプリ開発してみた Day5
qiita.com/Shigemaxxx/items/f3e

#qiita #dart #flutter #githubcopilot #chatgpt

Last updated 1 year ago

プログラミング初心者の医学生が残り少ない夏休みでGithubcopilotとchatGPTの力を借りてアプリ開発してみた Day4
qiita.com/Shigemaxxx/items/265

#qiita #dart #flutter #githubcopilot #chatgpt

Last updated 1 year ago

Chris Heilmann · @codepo8
3174 followers · 1213 posts · Server toot.cafe

The autocompletion of is nuts - even data you want to look up comes in live.

#githubcopilot

Last updated 1 year ago

this.ven · @thisven
38 followers · 237 posts · Server digitalcourage.social

I just migrated my (archived) repositories from :github: to @Codeberg and it was as easy as creating a new one. 👌

Do you know about the implications of ? If not, you may want to read githubcopilotlitigation.com and migrate as well... 😬

#githubcopilot #github

Last updated 1 year ago

GitHub · @github
71 followers · 126 posts · Server techhub.social

Smarter, more efficient coding: GitHub Copilot goes beyond Codex with improved AI model

Check it out! 👇
github.blog/2023-07-28-smarter

#githubcopilot #AI #product

Last updated 1 year ago

GitHub · @github
71 followers · 126 posts · Server techhub.social
Paf LeGeek · @PafLeGeek
552 followers · 1837 posts · Server mamot.fr

Je teste depuis 3 jours et je peux clairement affirmer que c'est une aide efficace pour un développeur. J'ai même parfois l'impression qu'il lit dans mes pensées. Un peu flippant...

#githubcopilot

Last updated 1 year ago

GitHub · @github
62 followers · 119 posts · Server techhub.social

How to responsibly adopt GitHub Copilot with the GitHub Copilot Trust Center

Check it out! 👇
github.blog/2023-07-25-how-to-

#githubcopilot #product #enterprise

Last updated 1 year ago

GitHub · @github
62 followers · 118 posts · Server techhub.social
GitHub · @github
62 followers · 117 posts · Server techhub.social