Re: Another mass update: PR #3367

Leo loaded using Python 3.11 on Windows. So that's good. On Friday, June 9, 2023 at 2:04:31 PM UTC-4 Edward K. Ream wrote: > PR #3367 imports > Callable from collections.abc instead of typing. typing.Callable is > deprecated, but is not

Re: @auto-ms does not get along with Leo's clones

You might try ```shell too. On Wednesday, June 7, 2023 at 5:58:24 AM UTC-4 p.os...@datec.at wrote: > Hm, for now it seems a wrong ```-clause (markdown) being the reason for > all the hassle: Replaced all ```bash by ```sh. I'll see if this holds for > clones as well (have to intro them again).

Does the Directive @terse Get Used Anywhere?

The globalDirectiveList includes a directive name of "terse". A search of LeoPyRef doesn't show it being used anywhere. Is it actually used, and if so, for what? -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group

Re: @auto-ms does not get along with Leo's clones

On Friday, June 2, 2023 at 3:05:51 AM UTC-4 p.os...@datec.at wrote: Again it happended. But now it happoend with vanilla nodes, as I replaced all clones by copies of the respective nodes. A section is cut off at ```bash which becomes a node title. This node's body contains then all the sub

Re: @auto-ms does not get along with Leo's clones

> automatically somehow. >> >> >> >> On Wednesday, May 24, 2023 at 4:47:19 PM UTC+2 tbp1...@gmail.com wrote: >> >> The GitHub issue is 3355 >> <https://github.com/leo-editor/leo-editor/issues/3355>. >> >> On Wednesday, May 24, 2023 at 10

Re: @auto-ms does not get along with Leo's clones

this is not the issue the OP has been encountering? On Wednesday, May 24, 2023 at 10:47:19 AM UTC-4 Thomas Passin wrote: > The GitHub issue is 3355 > <https://github.com/leo-editor/leo-editor/issues/3355>. > > On Wednesday, May 24, 2023 at 10:40:25 AM UTC-4 Thomas Passin wr

Re: Impressive ChatGPT responses

/24/when-the-rubber-duck-talks-back/>. It's especially interesting that - if you are using VSCode, anyway - the bot can index your entire repo and use that to give much better results. On Thursday, May 18, 2023 at 5:42:27 PM UTC-4 Edward K. Ream wrote: > On Thu, May 18, 2023 at 1:38 PM Thom

Re: @auto-ms does not get along with Leo's clones

The GitHub issue is 3355 <https://github.com/leo-editor/leo-editor/issues/3355>. On Wednesday, May 24, 2023 at 10:40:25 AM UTC-4 Thomas Passin wrote: > The loss of clones is specific to *@auto-md* trees (although I have not > tested other *@auto-xx* trees): > > In an outline

Re: @auto-ms does not get along with Leo's clones

were no longer clones. I don't know what the original intention was with respect to *@auto-md *trees, but this seems like a serious bug to me. I'll create an issue for it. On Wednesday, May 24, 2023 at 10:10:34 AM UTC-4 Thomas Passin wrote: > I see where the problem is - or at least *a* prob

Re: @auto-ms does not get along with Leo's clones

. I'll experiment some more to try to pin it down. The outline which showed the problem had both an *@auto-md* and an *@clean* tree. I'll try outlines with them separately and report back. On Wednesday, May 24, 2023 at 8:22:58 AM UTC-4 Thomas Passin wrote: > @Edward recently re-worked s

Re: @auto-ms does not get along with Leo's clones

the *@auto-md* file that ended up with >> a corrupted outline, and whether you use an *@others* line in it? And >> is this the only such file that caused a problem? And also the version of >> Leo and the OS (though it doesn't seem likely that the OS is playing a >> part). >

Re: @auto-ms does not get along with Leo's clones

outline, and whether you use an *@others* line in it? And is this the only such file that caused a problem? And also the version of Leo and the OS (though it doesn't seem likely that the OS is playing a part). On Tuesday, May 23, 2023 at 1:58:13 PM UTC-4 Thomas Passin wrote: > Maybe @cl

Re: @auto-ms does not get along with Leo's clones

Maybe @clean or even @file would work for you (not that I've tried them with clones, which I'll try out soon) instead of @auto-md. I don't think that @auto-md really gets you anything that they don't, although you will need to put *@language md* at the start of the body of the top node. On

Re: New User's Guide To Leo

On Thursday, May 18, 2023 at 11:17:52 AM UTC-4 Ben Hancock wrote: Thomas writes: I've been thinking that there should be a book on Leo. I don't think I've got another book left in me, but I'm not completely happy with the existing docs because I don't think they really match what a new user

Re: New User's Guide To Leo

I've been plugging away New User's Guide. I've also changed the name of the top-level file to *index.html*. The rest of the URL remains the same: New User's Guide <http://tompassin.net/leo/guide/docs/index.html>. On Saturday, May 20, 2023 at 7:37:29 PM UTC-4 Thomas Passin

Re: New User's Guide To Leo

On Saturday, May 20, 2023 at 6:10:24 PM UTC-4 Ben Hancock wrote: [snip] Hi Rob, Thanks. I'd be grateful for your tips. It looks like I can probably get a good start on point 2 (creating documents) with the "Creating Documents from Outlines" tutorial[1], but if there are particular things

Re: Impressive ChatGPT responses

And here is the earlier transcript, reformated - the chatbot's doing a lot of hand-waving! write a short user's guide about how to manage a web site with the leo-editor, and do not explain what the leo-editor or a web site are ChatGPT Sure! Here's a short user's guide on managing a website

Re: Impressive ChatGPT responses

ecosystem of extensions and a strong focus on code editing and development workflows. On the other hand, the Leo editor shines when it comes to outlining, hierarchical editing, and content organization. On Thursday, May 18, 2023 at 2:33:27 PM UTC-4 Thomas Passin wrote: > Rats! I'll try to refor

Re: Impressive ChatGPT responses

Rats! I'll try to reformat that one, too. On Thursday, May 18, 2023 at 2:32:57 PM UTC-4 Thomas Passin wrote: > Hmm, that formatting came out weird. I'll see if I can reformat it better > - the above was directly copy-pasted from the browser. In the meantime, > here's another intere

Re: Impressive ChatGPT responses

Hmm, that formatting came out weird. I'll see if I can reformat it better - the above was directly copy-pasted from the browser. In the meantime, here's another interesting one: explain briefly what advantages the leo-editor has over vs-code The Leo editor and Visual Studio Code (VS Code)

Re: Impressive ChatGPT responses

r detailed information on its features and functionalities. Additionally, consult web development resources to learn more about HTML, CSS, and JavaScript to enhance your website's design and functionality. On Thursday, May 18, 2023 at 2:16:50 PM UTC-4 Thomas Passin wrote: > I thought this mi

Re: Impressive ChatGPT responses

> language model alignment “bias” and cultural consensus theory >>> <https://statmodeling.stat.columbia.edu/2023/04/26/llm-alignment-bias-cultural-consensus-theory/> >>> . >>> >>> On Friday, April 21, 2023 at 12:57:32 PM UTC-4 Edward K. Ream wrote: >>

Re: Stack Overflow Traffic Slumps As Devs Turn to ChatGTP

Closer to home, maybe: explain how to create Sphinx documents with the Leo-editor but don't explain what Leo, Sphinx, or ReStructured text are To create Sphinx documents with the Leo editor, follow these steps: 1. Install Sphinx: Use a package manager like pip to install Sphinx on

Re: New User's Guide To Leo

No apologies needed. Leo is terrific, but it does have quite a learning curve. In the end, I think many people end up with their own personalized workflows, most likely with some customized scripts to help. I like your suggestions of user scenarios walkthroughs, and I think they don't really

Re: What Was I Working On???

Trying it out got me to thinking that it would be handy to be able to log quick little notes. The following script writes the cursor line on the body to a note log file, whose path can optionally be specified in a setting. The idea is that you could write a brief one-line note and pop it

Re: What Was I Working On???

Here's a bug fix. I didn't update some constant names in the *Stop Logging* script. On Tuesday, May 16, 2023 at 6:31:04 PM UTC-4 Thomas Passin wrote: > Today I wanted to continue some work I started a few weeks ago. I > remember clearly what I did. But I can't remember the outline,

What Was I Working On???

Today I wanted to continue some work I started a few weeks ago. I remember clearly what I did. But I can't remember the outline, and I have not succeeded in finding it even with the help of FileLocatorPro (a terrific Windows program). Somehow, the Recent Files list hasn't helped either.

Re: An RPN Calculator For Leo

Cool! Though I'm glad I don't have to debug any of those expressions. On Sunday, May 14, 2023 at 10:52:45 AM UTC-4 jkn wrote: > As a slight aside: I knew about the 'bc' (bench calculator) program in > Linux/Unix, and I also knew there was a 'dc' (desk calculator) in Linux/Unix > > What I didn't

Re: Self Contained Leo Executable

But note that LeoInteg still relies on Leo having already been installed, since it must start the LeoBridge and a headless Leo executable. On Friday, May 12, 2023 at 3:46:19 PM UTC-4 Thomas Passin wrote: Felix will say more, but LeoInteg, running as an addon in VSCode, talks to Leo via

Re: Self Contained Leo Executable

Felix will say more, but LeoInteg, running as an addon in VSCode, talks to Leo via the LeoBridge to ascertain the state of the tree and the contents of Leo's nodes. So it's like a repeater in a way, and you can work with the tree and body in LeoInteg instead of Leo's Qt panes. Leo commands

Re: Self Contained Leo Executable

leoInteg isn't able to handle some plugins and the in-tab apps I've been writing lately, IIUC. On Friday, May 12, 2023 at 6:34:30 AM UTC-4 Edward K. Ream wrote: > On Thu, May 11, 2023 at 11:45 PM Thomas Passin wrote: > >> I just tried making a self-contained Leo installer

Re: When Does CTRL-Clicking On Functions/Methods/Classes Work?

K. Ream wrote: > On Fri, May 12, 2023 at 7:44 AM Thomas Passin wrote: > >> I'm used to CTRL-clicking on function names, etc, to move directly to >> their defs. I assumed that this would work for basically any programming >> language. But when I just tried it in a javas

When Does CTRL-Clicking On Functions/Methods/Classes Work?

I'm used to CTRL-clicking on function names, etc, to move directly to their defs. I assumed that this would work for basically any programming language. But when I just tried it in a javascript code base, nothing happened for a CTRL-click. Is this capability limited only to Python code?

Self Contained Leo Executable

I just tried making a self-contained Leo installer for Windows with PyInstaller. the executable failed with this error: File "leo\core\leoApp.py", line 1853, in reportDirectories g.es(f"{kind:>10}:", os.path.normpath(theDir), color='blue')

Re: New User's Guide To Leo

I've extended the outline quite a bit. Please take a look and let me know your reactions. New User's Guide To Leo <http://tompassin.net/leo/guide/docs/using-leo.html> On Thursday, May 11, 2023 at 11:40:40 PM UTC-4 Thomas Passin wrote: > I think it's not too hard o

Re: New User's Guide To Leo

I think it's not too hard on Windows, but that installer wouldn't work on a Mac. Without actually having a Mac, I don't see how it would be possible. Linux is a whole other kettle of fish. It's only on Linux that I've ever had any trouble. On Windows, getting Leo going hasn't fought back for

Re: New User's Guide To Leo

On Thursday, May 11, 2023 at 3:31:45 PM UTC-4 Paul wrote: Explain CLONING up front: not mind mapping or concept mapping, virtually unige Not as unique as you might think (e.g., TreeLine ). What's probably unique - or at least valuable - is how clones

Re: New User's Guide To Leo

able of is very compelling and a good > showcase to new users about why to use Leo. > > Keep the good work, > > Offray > On 7/05/23 23:56, Thomas Passin wrote: > > I've been thinking that there should be a book on Leo. I don't think I've > got another book left in me, but

Re: New User's Guide To Leo

Thanks... I'll add some material about LaTex. On Thursday, May 11, 2023 at 10:32:29 AM UTC-4 Rob wrote: > I usually use @file w/ @language=tex for the xxx.tex files and Leo handles > the comments appropriately. Works great! > > I also have created several standard templates for typical document

Re: New User's Guide To Leo

Texnic Center looks pretty good, at a quick glance. Do you write an @clean TeX document in Leo, then process it into LaTex with Texnic Center? On Thursday, May 11, 2023 at 10:09:07 AM UTC-4 Rob wrote: > I don't use Leo for that. I suppose I could, but I don't know how to > create a suitable

Re: New User's Guide To Leo

Thanks! I have only used it for LaTex a few times and it didn't come to mind. How do you create the actual document from the Leo outline? On Thursday, May 11, 2023 at 8:59:48 AM UTC-4 Rob wrote: > Looks good! May I also suggest to add LaTeX to the list of structured > language support. There

Re: Aha: How to find patterns in python parse trees

On Tuesday, May 9, 2023 at 7:54:48 AM UTC-4 Edward K. Ream wrote: On Monday, May 8, 2023 at 8:16:08 AM UTC-5 Edward K. Ream wrote: Once the technical problem disappeared it became clear that static checks of Leo's code are not likely to be of great value! There has been many words written

Re: New User's Guide To Leo

Keep checking back in with the link. I'm making frequent changes for the time being. On Monday, May 8, 2023 at 10:02:16 AM UTC-4 Edward K. Ream wrote: > On Mon, May 8, 2023 at 8:26 AM Thomas Passin wrote: > >> On Monday, May 8, 2023 at 7:29:01 AM UTC-4 Edward K. Ream wrote: >

Re: New Programming Language 'Mojo' - a Python Superset

corate parts of your code to use it. On Monday, May 8, 2023 at 7:21:08 AM UTC-4 Edward K. Ream wrote: > On Sun, May 7, 2023 at 11:08 AM Thomas Passin wrote: > >> Here's a more technical blog entry: >> https://docs.modular.com/mojo/why-mojo.html. > > > Thanks for

Re: Aha: How to find patterns in python parse trees

I'm not surprised by this. I found the same thing in developing my bookmarks manager. Conceptually the structure of the bookmarks collection is tree-like, but it can be much easier to flatten that structure into text and use string methods on the flattened structure. OTOH, there has been

Re: New User's Guide To Leo

On Monday, May 8, 2023 at 7:29:01 AM UTC-4 Edward K. Ream wrote: The first question most people would have would likely be: "Why should I care about yet another text editor?". That's what I think too. I've tried to address it by starting out with "what can you do with Leo" And trying to

New User's Guide To Leo

I've been thinking that there should be a book on Leo. I don't think I've got another book left in me, but I'm not completely happy with the existing docs because I don't think they really match what a new user faces when trying to fire up Leo and use it the first few times. (Also, I don't

Re: New Programming Language 'Mojo' - a Python Superset

Here's a more technical blog entry: https://docs.modular.com/mojo/why-mojo.html. On Sunday, May 7, 2023 at 12:00:09 PM UTC-4 Thomas Passin wrote: > This looks really interesting when high performance is needed. You can get > a (nearly) Python program to use compiled-language cons

New Programming Language 'Mojo' - a Python Superset

This looks really interesting when high performance is needed. You can get a (nearly) Python program to use compiled-language constructs and your graphics hardware for very high performance of compute-heavy tasks (the company is an AI-support business so the want really good performance) -

Re: Failed installation on Ubuntu 22.04LTS (both git and pip methods)

After my last post, I found the fix for the "xcb" problem with PyQt5. It was in a discussion thread from several years ago, and I haven't verified that it still works (but I suspect it does): sudo apt-get install libxcb-xinerama0 On Sunday, May 7, 2023 at 10:44:46 AM UTC-4 Thomas Pa

Re: Failed installation on Ubuntu 22.04LTS (both git and pip methods)

n3 -m pip install --user pyqt6 To get the viewrendered3 plugin to work, you will also need to install the WebEngine for PyQt6: python3 -m install --user PyQt6-WebEngine On Sunday, May 7, 2023 at 8:35:50 AM UTC-4 Thomas Passin wrote: > Someone else recently had problems on Ubuntu 22 LTS.

Re: Leo on Raspbian?

Make that #!/bin/sh python ~/path-to-leo-editor/launchLeo.py *$** --no-splash in case you want to pass more command line args. I often launch with --theme-... so I need to pick up more args. On Sunday, May 7, 2023 at 2:37:50 AM UTC-4 Félix wrote: > Oh - i just fixed the parameter passing :

Re: Failed installation on Ubuntu 22.04LTS (both git and pip methods)

Someone else recently had problems on Ubuntu 22 LTS. Look at this discussion here on the Groups site: Install Problems on Ubuntu 22 The OP never said how or if Leo finally got to work, so I've been hoping some of the suggestions helped.

Re: ENB: Won't do: pep 8 names

On Friday, May 5, 2023 at 6:01:33 PM UTC-4 Edward K. Ream wrote: On Fri, May 5, 2023 at 3:24 PM jkn wrote: https://peps.python.org/pep-0008/ "This document gives coding conventions for the Python code *comprising the standard library* in the main Python distribution" Pep 8 contains many

Why does the unl regex exclude closing parentheses?

The unl regex excludes the ")" character: unl_regex = re.compile(r"""\bunl:[^`'")]+""") Why is that? It would not be unusual to have a node whose headline includes one. For instance: *regex (test2)*. Currently a node whose headline includes the character cannot be found by Leo's unl:

Re: ENB: Won't do: pep 8 names

+1! On Friday, May 5, 2023 at 9:20:09 AM UTC-4 Edward K. Ream wrote: > I recently asked myself whether Leo's code should use Pep 8 naming > conventions. The short answer is an emphatic NO! Such changes would have > massive impacts on LeoJS and existing Leo scripts. > > I entertained this

Re: Is there an easy way to capture stdout/stderr for a shell command and pipe it to the log pane?

to be inserted. I do remember that there is some discussion on line - not necessarily Python-specific - to be found. On Thursday, May 4, 2023 at 12:11:50 AM UTC-4 Thomas Passin wrote: > I don't know the answer but I know a thing or two that might be useful. > By starting the c

Re: Is there an easy way to capture stdout/stderr for a shell command and pipe it to the log pane?

I don't know the answer but I know a thing or two that might be useful. By starting the command with "&", as you have, you avoid the proc.communicate() call, which would block Leo until it returns. However, if you try to capture output with a pipe, the pipe can block if it fills up, and that

Re: toggle brackets command

There's a *toggle-angle-brackets* command. Is that it? The F11 help message reads "Add or remove double angle brackets from the headline of the selected node". On Tuesday, May 2, 2023 at 2:40:12 PM UTC-4 Rob wrote: > I remember there was a command to toggle headline brackets, thought it was

Re: @language modes

It's trick. I just found that when I type *@language md* into a new node, the line colors when I complete the "md". But when I press ENTER the highlight goes away. After that, adding the directive line again, or to any other new node, the line does not highlight although VR3 still

Re: @language modes

I noticed that too. VR3 seems to work right anyway, but that won't help you. I don't remember when I first noticed this, but not long ago. On Monday, May 1, 2023 at 9:37:09 PM UTC-4 Rob wrote: > >1. Recently I noticed that all of my @language md nodes don't seem to >recognize the

Re: An RPN Calculator For Leo

I forgot to add to the Help file that there is also a minibuffer command to toggle it - *rpcalc-toggle.* On Monday, May 1, 2023 at 8:31:31 PM UTC-4 Rob wrote: > For those new to trying out the plugin, I discovered that it didn't appear > to load despite adding it to my enabled plugins. What I

Pyspread - a spreadsheet where each cell can be a Python expression

I just learned about Pyspread , which is a spreadsheet program where cells contain Python expressions or code. They can also contain images, which makes it interesting to see how the image data is stored and used. It's a PyQt program, so there might be some good

Re: CLIP, CLisp, Clippy

One of the all-time poor name choices - for Internet searches - has to be the graphics programming language called "Processing". As for "clip", if you were referring to the RPN calculator key I called "TOCLIP", it probably doesn't need to be searched for on the internet :) On Monday, May 1,

Re: An RPN Calculator For Leo

calculator) to *TOCLIP*. It >> copies the "X" register - the calculation result - to the system clipboard. >> >> On Monday, May 1, 2023 at 9:31:00 AM UTC-4 Thomas Passin wrote: >> >>> When I was using TurboPascal and doing a lot of numerical 2-D >>

Re: An RPN Calculator For Leo

Devel now contains one more change. I've changed the *EXIT* key (which isn't needed in the Leo tab version of the calculator) to *TOCLIP*. It copies the "X" register - the calculation result - to the system clipboard. On Monday, May 1, 2023 at 9:31:00 AM UTC-4 Thomas Passin wrote:

Re: An RPN Calculator For Leo

er I've been >> using Free42, which seems to me to be a good balance between readability, >> complexity, and capability. Now it looks like RPCalc will be taking over >> from Free42. >> >> >> I will take a look at this shortly - thanks. >>

Re: An RPN Calculator For Leo

I'm happy to say that the RPCalc plugin is now merged into the devel branch. Enable it in your @enabled-plugins settings node by adding a line reading *rpcalc.py*. On Sunday, April 30, 2023 at 12:59:34 PM UTC-4 Thomas Passin wrote: > RPCalc is a recent discovery for me. As originally writ

Re: An RPN Calculator For Leo

ake a look at this shortly - thanks. J^n On Sunday, April 30, 2023 at 12:03:14 PM UTC+1 Edward K. Ream wrote: On Sat, Apr 29, 2023 at 12:42 PM Thomas Passin wrote: I have adapted the open-source *RPCalc* calculator to run in a tab in the Leo log frame. This calculator is a Reverse Polish Not

Re: Browser Bookmarks Manager For Leo

The bookmarks manager has now been added to the leo-editor-contrib Master branch. <https://github.com/leo-editor/leo-editor-contrib/tree/master/Projects> On Wednesday, April 26, 2023 at 5:01:29 PM UTC-4 Thomas Passin wrote: > I have developed a browser bookmarks manager that runs

Re: Impressive ChatGPT responses

rd K. Ream wrote: > 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 >> <https://tech.slashdot.org/story/23/04/21/1353212/googles-bard-ai-chatbot

Re: installation problems on Ubuntu 20.04

ne-Qt5 5.15.2 > > sphinxcontrib-qthelp 1.0.3 > > python3 -m leo.core.runLeo > > > 'NoneType' object has no attribute 'gui' > > > > *** Leo could not be started *** > > Please verify you've installed the required dependencies: > > https://leoeditor.com/in

Re: installation problems on Ubuntu 20.04

I cannot speak to the homebrew thing. But I'm pretty sure that the system version of Python3 is lower than 3.11. So there could be some confusion about where - in what version of python - things are getting installed. Not having PyQt6 might be a problem, though Leo can use either PyQt5 or 6

Re: Images In Leo Nodes?

Once we get embedded images working well, we can go after tables. On Sunday, April 23, 2023 at 9:05:54 AM UTC-4 Edward K. Ream wrote: > On Sun, Apr 23, 2023 at 7:19 AM Thomas Passin wrote: > > > > uAs would avoid the need to put an image file in another directory, >

Re: Images In Leo Nodes?

On Sunday, April 23, 2023 at 7:06:36 AM UTC-4 Edward K. Ream wrote: On Saturday, April 22, 2023 at 4:51:13 PM UTC-5 Edward K. Ream wrote: Iirc, the lack of identifying data with the 0xfffc character was why I abandoned this project years ago. It would be natural to allow body text to contain

Re: installation problems on Ubuntu 20.04

Try running python3 -m leo.core.runLeo If this succeeds then Leo has been installed properly, and the problem is with the launcher "leo". What version of Python 3 do you have? Leo requires at least python3.9. Whatever the problem is, Leo normally runs fine on both Ubuntu 20.0x and 22.0x,

Re: Images In Leo Nodes?

On Saturday, April 22, 2023 at 5:51:13 PM UTC-4 Edward K. Ream wrote: On Sat, Apr 22, 2023 at 3:26 PM Thomas Passin wrote: I've made a little progress. That unicode character - 0xfffc - is only a marker and does not carry any information about the image. Iirc, the lack of identifying

Re: Images In Leo Nodes?

d outside of Leo won't have any images anyway. On Tue, Mar 28, 2023 at 5:04 PM Thomas Passin wrote: It would be very useful if an image could be embedded into a Leo body. Probably no one would want to do this in a program or script, but for documentation it could be very helpful. ...

Plugin xsltWithNodes.py Can no longer work

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

Formal Verification - TLA+

" 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+

Re: Impressive ChatGPT responses

8, 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

Re: Dropping a file vs importing it: @edit vs @auto

s for). >> >> On Wednesday, April 19, 2023 at 10:43:49 AM UTC-4 Edward K. Ream wrote: >> >>> On Wed, Apr 19, 2023 at 9:04 AM Thomas Passin wrote: >>> >>> If there is a Leo shortcut on the desktop and you drag and drop a >>>> non-

Re: Dropping a file vs importing it: @edit vs @auto

Well, it's not *too* mysterious. When you drop the file its path gets added to the command line that the OS uses to launch Leo (or whatever program the desktop icon is for). On Wednesday, April 19, 2023 at 10:43:49 AM UTC-4 Edward K. Ream wrote: > On Wed, Apr 19, 2023 at 9:04 AM Thomas Pas

Dropping a file vs importing it: @edit vs @auto

If there is a Leo shortcut on the desktop and you drag and drop a non-Leo file on it, an instance of Leo will start and contain an @edit node for the dropped file (a .cmd file will be put into an @file node). If you import the same file, it will get imported into an @auto subtree. Why the

Re: Impressive ChatGPT responses

so I tried that above…and it still wasn’t enough. But: This has already changed the way I code. I am not sure I am ever going to write code completely by hand again! And I expect these tools to get better fast." On Monday, April 17, 2023 at 8:11:26 AM UTC-4 Thomas Passin wrote: > And th

Re: PR #3286 merged into devel. Please continue testing

modules expect the function to act that way. On Tuesday, April 18, 2023 at 12:58:46 PM UTC-4 Thomas Passin wrote: > g.os_path_join() is still doing the right thing on my system. > > On Tuesday, April 18, 2023 at 12:34:10 PM UTC-4 Edward K. Ream wrote: > >> On Tuesday, April 18, 2

Re: PR #3286 merged into devel. Please continue testing

g.os_path_join() is still doing the right thing on my system. On Tuesday, April 18, 2023 at 12:34:10 PM UTC-4 Edward K. Ream wrote: > On Tuesday, April 18, 2023 at 11:10:29 AM UTC-5 Edward K. Ream wrote: > > I've made copies of the g.os_path_expanduser and g.os_path_join as they > existed in

Re: PR #3286 merged into devel. Please continue testing

This has fixed the g.os_path_join() problem. On Tuesday, April 18, 2023 at 11:50:23 AM UTC-4 Edward K. Ream wrote: > On Tuesday, April 18, 2023 at 10:46:39 AM UTC-5 Edward K. Ream wrote: > > PR #3286 is now in > devel. It restores some

Re: PR #3277 has been merged into devel

However, the function *did* exist on the previous changeset: Leo 6.7.3-devel, devel branch, build edf4b48991 2023-04-16 08:20:16 -0500 Python 3.11.3, PyQt version 6.4.3 Windows 10 AMD64 (build 10.0.19044) SP0 On Tuesday, April 18, 2023 at 7:01:50 AM UTC-4 lewis wrote: > Running this script

Re: VR3 can now be opened in a tab

Here is an alternative way to delete a tab, where you type the tab name into the minibuffer. The code can go into an @command or @button node: """Delete named tab from log frame. Get tab name to delete from minbuffer.""" def delete_tab(): """State 0""" k = c.k

Re: Last call for reviews of PR #3277: improved path functions

that's good, too. On Monday, April 17, 2023 at 8:08:10 AM UTC-4 Thomas Passin wrote: > I haven't been having any problems. All my external files I've been > working with open and save correctly. I've been holding off saying > anything until I have some more experience with the new cod

Re: Impressive ChatGPT responses

And there's this slashdot report - https://slashdot.org/story/23/04/14/2152250/overemployed-hustlers-exploit-chatgpt-to-take-on-even-more-full-time-jobs?utm_source=rss1.0mainlinkanon_medium=feed People are using ChatGPT to be able to take on additional side hustles. it does much of the extra

Re: Last call for reviews of PR #3277: improved path functions

I haven't been having any problems. All my external files I've been working with open and save correctly. I've been holding off saying anything until I have some more experience with the new code, but so far so good. I have not tried constructing any new external path expressions as yet. On

Re: Creating Qt Apps That Run In A Tab

of parlor trick, yet can be useful. On Thursday, April 13, 2023 at 12:08:21 PM UTC-4 Thomas Passin wrote: > In my first post on apps in tabs, I wrote this: > > There are three parts to these "tabbed" apps: > > 1. Creating the top-level QWidget; > 2. Inserting it into a

Re: Example of me using chatGPT

Reading more of the material, and the published paper on solving the Raven's Progressive Matrices, I'm not convinced that the RPM situation is as impressive as it seems. It reminded me of Bart Kosko's writings from around 20 years ago on using a Neural Network to find a ruleset to be used by

Re: Example of me using chatGPT

: > On Sat, Apr 15, 2023 at 8:00 AM Thomas Passin wrote: > > I have some reservations about using cosine similarity with vectors like >> this. >> > > Good study question. It seems the authors are not concerned, presumably > for good reasons. > > A related questio

Re: Example of me using chatGPT

Very interesting! I just started reading the home page link. I was struck by this statement: " HD/VSA addresses these challenges by providing a binding operator associating individual (John, Mary) with roles (AGENT, PATIENT) and a

Re: Creating Qt Apps That Run In A Tab

t;< Main Widget >> toggle(log) Next time: how to toggle the tab on and off without deleting our widget. On Thursday, April 13, 2023 at 9:27:39 AM UTC-4 Thomas Passin wrote: > I have re-organized the code a bit to make to easier to read. It does the > same job as bef

Re: Creating Qt Apps That Run In A Tab

log.contentsDict[WIDGET_NAME] = w # If this is the first call of toggle(), create our widget's code # This will work for (nearly?) any subclass of QWidget. # Define the widget's class. It will be instantiated when # toggle(log) runs. if not log.contentsDict.get(WIDGET_NAME, None): <

Re: ENB: For Thomas and Félix: more about PR #3277

Or maybe I misunderstood and the references to os.cwd() only refer to the unit tests and not to how the paths are constructed when used in an outline? On Thursday, April 13, 2023 at 10:16:57 AM UTC-4 Thomas Passin wrote: > On Thursday, April 13, 2023 at 10:13:11 AM UTC-4 Thomas Passin wr

<    1   2   3   4   5   6   7   8   9   10   >