Plugin xsltWithNodes.py Can no longer work

[Thomas Passin]

The plugin requires a library that no longer exists (4Suite).  Is there a 
standard way to handle plugins that are too obsolete?  Do they move to the 
attic?

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/ed9c5eca-eaa2-4713-9040-f68ce280383cn%40googlegroups.com.

Formal Verification - TLA+

[Thomas Passin]

" TLA+ is a high-level language for modeling programs and 
systems--especially concurrent and distributed one"

TLA+ Home page 

It's probably worth going quickly to this page on the site -Industrial Use 
of TLA+ .

I've always thought that formal verification was too hard for any 
moderately complex system, and prone to errors in the formal modeling just 
like any other modeling or programming task.  Maybe I was too pessimistic.

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/1cd9dab0-116b-405b-a2cc-c94b5a4dfff7n%40googlegroups.com.

Re: Impressive ChatGPT responses

[Edward K. Ream]

On Fri, Apr 21, 2023 at 11:13 AM Thomas Passin  wrote:

> And now comes Google:  Google's Bard AI Chatbot Can Now Help You Code and
> Create Functions For Google Sheets
> .
> *But*: Googlers say Bard AI is “worse than useless,” ethics concerns were
> ignored
> 
> .
>

There will be false starts.

Here's an pithy intro to LLMs and NNs:
https://www.youtube.com/watch?v=lnA9DMvHtfI

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS0ukiwmfVnEChjc_Z%2BygwLc5S%3D9VYYDEAXH526ztEKFvQ%40mail.gmail.com.

Re: Impressive ChatGPT responses

[Thomas Passin]

And now comes Google:  Google's Bard AI Chatbot Can Now Help You Code and 
Create Functions For Google Sheets 
.
  
*But*: Googlers say Bard AI is “worse than useless,” ethics concerns were 
ignored 

.

On Wednesday, April 19, 2023 at 5:42:00 AM UTC-4 Edward K. Ream wrote:

> On Tue, Apr 18, 2023 at 6:42 PM Thomas Passin  wrote:
>
> ...I am not sure I am ever going to write code completely by hand again! 
>> And I expect these tools to get better fast."
>
>
> Thanks for this quote. I wouldn't dispute it.
>
> My prediction: some time in the future AI's will program in their own 
> non-text language, a language that *might* be back-translatable into a 
> text language that we humans can read. AI's will also use their own IDEs, 
> which again *might* have a human analog.
>
> Python's, Leo's, and vs-code's days are numbered.
>
> Edward
>

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/14789ea8-aa8e-4de3-8521-135220107450n%40googlegroups.com.