@MSGID:
<a85fb0f3-beea-4ee1-bdc7-8ccabad4866fn@googlegroups.com> e6edf56b
@REPLY:
<90f2518a-65e4-4d58-8b11-c556978523b3n@googlegroups.com> a8e1d6d9
@REPLYADDR Mild Shock <bursejan@gmail.com>
@REPLYTO 2:5075/128 Mild Shock
@CHRS: CP866 2
@RFC: 1 0
@RFC-References:
<db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com> <c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com>
<b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com> <f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com>
<5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com> <d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com>
<1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com> 1@solani.org>
<8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com> <cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com>
<38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com> <083a0dcc-b342-4381-a20d-e4dcb2e59425n@googlegroups.com>
<90f2518a-65e4-4d58-8b11-c556978523b3n@googlegroups.com>
@RFC-Message-ID:
<a85fb0f3-beea-4ee1-bdc7-8ccabad4866fn@googlegroups.com>
@TZUTC: -0700
@PID: G2/1.0
@TID: FIDOGATE-5.12-ge4e8b94
So its just a matter of time, like months or weeks,
and we have ChatGPT integrated in IDEs at
our desktop, coding help at our fingertips:

"In line with our iterative deployment philosophy, 
we are gradually rolling out plugins in ChatGPT 
so we can study their real-world use, impact, and 
safety and alignment challenges--all of which 
we`ll have to get right in order to achieve our mission."
https://openai.com/blog/chatgpt-plugins

They are quite on mission. This will suplant GitHub 
Copilot? Well doesn`t matter GitHub Copilot uses
also OpenAI Codex. But in March 2023, OpenAI shut 
down access to Codex, but I guess they didn`t do

it for some moratorium, they have a better replacement:

"On March 23rd, we will discontinue support for the 
Codex API. All customers will have to transition to a 
different model. Codex was initially introduced as a 
free limited beta in 2021, and has maintained 

that status to date. Given the advancements of our 
newest GPT-3.5 models for coding tasks, we will no 
longer be supporting Codex and encourage all customers 
to transition to GPT-3.5-Turbo. 

About GPT-3.5-Turbo GPT-3.5-Turbo is the most 
cost effective and performant model in the GPT-3.5 
family. It can both do coding tasks while also being 
complemented with flexible natural language capabilities."
https://news.ycombinator.com/item?id=35242069

Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:17:48 UTC+2:
> Wao! I love coding so much, maybe should jump 
> into no-coding. How would I setup my computer 
> and have myself better skills, so that I would 
> 
> do no-coding. Like the current project I am 
> wroking on. A ChatGPT AI would first need to 
> have a model/context of my current project. 
> 
> And then maybe I could sit back, ask it: 
> Please do this for me, please do that for me. 
> Which would be on second thought quite swell!
> Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:11:50 UTC+2: 
> > Today I had for some minutes a strong feeling 
> > of obsolence, was even imagining that these could 
> > be my last days where I write some "program code". 
> > 
> > This happened after I saw ChatGPT doing logic. 
> > Although was reading about "Low Code / No Code" 
> > already for a while. So which profession gets hit first? 
> > 
> > Profiles of the future : an inquiry into the limits of the possible 
> > Arthur C. Clarke - 1962, Chapter 18: The Obsolence of Man 
> > https://archive.org/details/profilesoffuture00clar/page/222/mode/2up 
> > 
> > Arthur C. Clarke talks 
> > A Space Odyssey and artificial intelligence, 1968 
> > https://www.youtube.com/watch?v=zNJbUYD-pfo 
> > Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:10:34 UTC+2: 
> > > June, 2023 Update: It might be the case, that ChatGPT has improved 
> > > in logic. Here it does even modal logic, and you can ask it to produce 
> > > proofs without LEM. ChatGPT does the following tasks: 
> > > 
> > > Here`s how you can translate the proof into natural deduction: 
> > > Here`s an alternative proof that does not rely on LEM: 
> > > Here`s the translation of the proof into Fitch-style natural deduction: 
 > > > Here`s the translation of the proof into Gentzen`s tree-style
natural deduction: 
> > > Here`s the translation of the proof into sequent-style natural deduction: 
> > > https://chat.openai.com/share/79ae4f02-fd07-4786-800b-305bc9eed143
--- G2/1.0
 * Origin: usenet.network (2:5075/128)
SEEN-BY: 5005/49 5015/255 5019/40 5020/715 848 1042
4441 12000 5030/49 1081
SEEN-BY: 5058/104 5075/128 6078/80
@PATH: 5075/128 5020/1042 4441