[sage-devel] Ask about the SageMath codebase using ChatGPT

2023-06-30 Thread 'William Stein' via sage-devel 
Hi,

Summary: Try asking anything about the SageMath codebase at

https://wolfia.com/?projectId=ed005166-99f2-4e5e-8778-2dc49d4bf930

Details:

There's a project called "Wolfia" that does the following with a codebase:

"Wolfia Codex works by indexing an entire codebase. This is done by
first chunking each file into smaller code snippets. Those snippets
and other metadata are then persisted using vector embeddings.

When you ask a question about a codebase, that question is also
converted into a vector embedding. This is compared to all of the
available code and metadata to find the most relevant code.

The relevant code is then inlined as context to various prompts
(general questions, debugging errors, or documentation generation) and
sent to a Large Language Model to generate an answer to your question
based on the provided code."

I asked them to index the sagemath codebase and they did. You can try it here

https://wolfia.com/?projectId=ed005166-99f2-4e5e-8778-2dc49d4bf930

The point is that instead of using GPT's vague memory of what it might
have seen, this instead uses the actual Sage source code, and mainly
uses GPT to make sense of it.


-- Forwarded message -
From: Naren Manoharan 
Date: Fri, Jun 30, 2023 at 10:53 AM
Subject: Thank you for signing up and Welcome Wolfia!
To: 


Hey William,

Thanks for signing up and requesting us to index -
https://github.com/sagemath/sage

This is now available here -
https://wolfia.com/?projectId=ed005166-99f2-4e5e-8778-2dc49d4bf930

Feel free to grab time here if you have any questions or feedback -
https://calendly.com/naren-mano/wolfia

I would love to hear any feedback or thoughts that you have! I'm a big
fan of open core projects. Let me know if I can help in any way.

Best,
Naren
Co-Founder & CTO at Wolfia (YC S22)
(314) 562-8039 | LinkedIn | Twitter


-- 

Best Regards,
William Stein

CEO, SageMath, Inc.
https://cocalc.com

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

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-30 Thread David Coudert 
I vote for (A)

On Friday, June 30, 2023 at 2:59:53 PM UTC+2 David Ayotte wrote:

> I vote for (A)
>
> Le jeudi 29 juin 2023 à 18:47:42 UTC-4, Edgar Costa a écrit :
>
>> I vote for (A)
>>
>> On Thu, Jun 29, 2023 at 6:27 PM Marc Culler  wrote:
>>
>>> I vote for (C).
>>>
>>> On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote:
>>>
 Hi,

 We spent six days for the preliminary discussion in the sage-devel 
 thread

 https://groups.google.com/g/sage-devel/c/OUnoroIf0qc

 about choosing the keyword triggering block-scoped optional tag needed 
 in 

 https://github.com/sagemath/sage/issues/35750

 We now start the voting with the four candidates (A), (B), (C), (D). 
 The voting will end 7th July 23:59 KST (Korea Standard Time). During the 
 voting, discussions can continue in the linked places but please only your 
 vote (and, if you will, short comment) to this thread.

 (A) "needs"

 sage: # needs sage.rings.number_field
 sage: QQbar(I)^2
 -1
 sage: QQbar(I)^10 # long time
 1

 sage: # needs sage.rings.finite_rings
 sage: F = GF(7)
 sage: F(1) + QQbar(1)  # needs sage.rings.number_field
 ...

 (B) "requires"

 sage: # requires sage.rings.number_field
 sage: QQbar(I)^2
 -1
 sage: QQbar(I)^10  # long time
 1

 sage: # requires sage.rings.finite_rings
 sage: F = GF(7)
 sage: F(1) + QQbar(1)  # requires sage.rings.number_field
 ...

 (C) "uses"

 sage: # uses sage.rings.number_field
 sage: QQbar(I)^2
 -1
 sage: QQbar(I)^10  # long time
 1

 sage: # uses sage.rings.finite_rings
 sage: F = GF(7)
 sage: F(1) + QQbar(1)  # uses sage.rings.number_field
 ...

 (D) "standard"

 sage: # use standard feature - sage.rings.number_field
 sage: QQbar(I)^2
 -1
 sage: QQbar(I)^10  # long time
 1

 sage: # use standard feature - sage.rings.finite_rings
 sage: F = GF(7)
 sage: F(1) + QQbar(1)  # standard - sage.rings.number_field
 ...

 Please just focus on the keyword. Don't worry about minor details or 
 punctuations: the keyword would be recognized, the rest would be ignored 
 noise, in the implementation.

 Thanks for your attention. Happy voting :-)



  

 -- 
>>> You received this message because you are subscribed to the Google 
>>> Groups "sage-devel" group.
>>> To unsubscribe from this group and stop receiving emails from it, send 
>>> an email to sage-devel+...@googlegroups.com.
>>>
>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-devel/6d732a20-6a69-46b7-ac32-063b8170a8efn%40googlegroups.com
>>>  
>>> 
>>> .
>>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/83e90aad-967c-449b-81a0-a5fa5506c3f2n%40googlegroups.com.

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-30 Thread David Ayotte 
I vote for (A)

Le jeudi 29 juin 2023 à 18:47:42 UTC-4, Edgar Costa a écrit :

> I vote for (A)
>
> On Thu, Jun 29, 2023 at 6:27 PM Marc Culler  wrote:
>
>> I vote for (C).
>>
>> On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote:
>>
>>> Hi,
>>>
>>> We spent six days for the preliminary discussion in the sage-devel thread
>>>
>>> https://groups.google.com/g/sage-devel/c/OUnoroIf0qc
>>>
>>> about choosing the keyword triggering block-scoped optional tag needed 
>>> in 
>>>
>>> https://github.com/sagemath/sage/issues/35750
>>>
>>> We now start the voting with the four candidates (A), (B), (C), (D). The 
>>> voting will end 7th July 23:59 KST (Korea Standard Time). During the 
>>> voting, discussions can continue in the linked places but please only your 
>>> vote (and, if you will, short comment) to this thread.
>>>
>>> (A) "needs"
>>>
>>> sage: # needs sage.rings.number_field
>>> sage: QQbar(I)^2
>>> -1
>>> sage: QQbar(I)^10 # long time
>>> 1
>>>
>>> sage: # needs sage.rings.finite_rings
>>> sage: F = GF(7)
>>> sage: F(1) + QQbar(1)  # needs sage.rings.number_field
>>> ...
>>>
>>> (B) "requires"
>>>
>>> sage: # requires sage.rings.number_field
>>> sage: QQbar(I)^2
>>> -1
>>> sage: QQbar(I)^10  # long time
>>> 1
>>>
>>> sage: # requires sage.rings.finite_rings
>>> sage: F = GF(7)
>>> sage: F(1) + QQbar(1)  # requires sage.rings.number_field
>>> ...
>>>
>>> (C) "uses"
>>>
>>> sage: # uses sage.rings.number_field
>>> sage: QQbar(I)^2
>>> -1
>>> sage: QQbar(I)^10  # long time
>>> 1
>>>
>>> sage: # uses sage.rings.finite_rings
>>> sage: F = GF(7)
>>> sage: F(1) + QQbar(1)  # uses sage.rings.number_field
>>> ...
>>>
>>> (D) "standard"
>>>
>>> sage: # use standard feature - sage.rings.number_field
>>> sage: QQbar(I)^2
>>> -1
>>> sage: QQbar(I)^10  # long time
>>> 1
>>>
>>> sage: # use standard feature - sage.rings.finite_rings
>>> sage: F = GF(7)
>>> sage: F(1) + QQbar(1)  # standard - sage.rings.number_field
>>> ...
>>>
>>> Please just focus on the keyword. Don't worry about minor details or 
>>> punctuations: the keyword would be recognized, the rest would be ignored 
>>> noise, in the implementation.
>>>
>>> Thanks for your attention. Happy voting :-)
>>>
>>>
>>>
>>>  
>>>
>>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/6d732a20-6a69-46b7-ac32-063b8170a8efn%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/5594adf7-be71-4de2-9cd3-d727da0efb78n%40googlegroups.com.

Re: [sage-devel] Question about reading Sage documentation

2023-06-30 Thread Michael Orlitzky 
On 2023-06-29 20:50:11, Marc Culler wrote:
> I was asking a very specific question about SageMath on Ubuntu 22.04: Are
> Ubuntu 22.04 users who install the sagemath-doc package able to read those
> (Sage 9.5) docs with Firefox?

If you use pip, or ./configure && make && make install to /usr/local,
then no. Also no to you if you want to use firefox as your SVG viewer
and something (sage) launches it on /tmp/Crz9uCphJ1.svg. Or if you
want to launch firefox to read an HTML email attachment. It's a larger
and pretty well-known problem.

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