The AI Agent should be given access to read content on GitHub

Luxcium · February 11, 2024, 10:26pm

I am unable to ask the AI Agent to simply browse a link that points to GitHub and this behaviour is inconsistent as it sometimes do access the site and say that he was unable to see the content then demonstrates knowledge that is based on the page he did not see…

Safety issues

The AI Agent explains that it is a safety issue… but if I upload the files directly it does not complain…

Copyright issues

The Ai Agent explains that it is for copyrights reasons but if I take screenshots of the content and upload it he will use it without complaining…

Privacy issues

Really ? Are you serious or anything… A public repo of MIT code (or even if it was explicitly marked as public domain) should not pose a privacy issue… I think that OpenAI should remove the browsing capabilities all together if they are concerned about any of those things or make it so it can be useful for developers…

We can not even access the OpenAI documentation because of Privacy and Copyright issues…

Asking twice and it is doing it

Screenshot_20240211_171114

But then it is not telling us more about the content well until you make some threats (I have been careful to chose things that are relevant to the AI Agent and apparently showing him all the screen captures made him so scared [sic’] he decided to behave)…

github.com/microsoft/TypeScript

Strict function types

microsoft:master ← microsoft:strictFunctionTypes

opened 04:59PM - 21 Sep 17 UTC

ahejlsberg

+1986 -47

With this PR we introduce a `--strictFunctionTypes` mode in which function type …parameter positions are checked _contravariantly_ instead of _bivariantly_. The stricter checking applies to all function types, except those originating in method or construcor declarations. Methods are excluded specifically to ensure generic classes and interfaces (such as `Array<T>`) continue to mostly relate covariantly. The impact of strictly checking methods would be a much bigger breaking change as a large number of generic types would become invariant (even so, we may continue to explore this stricter mode). The `--strictFunctionTypes` switch is part of the `--strict` family of switches, meaning that it defaults to on in `--strict` mode. This PR is therefore a breaking change only in `--strict` mode. Consider the following example in which `Animal` is the supertype of `Dog` and `Cat`: ```ts declare let f1: (x: Animal) => void; declare let f2: (x: Dog) => void; declare let f3: (x: Cat) => void; f1 = f2; // Error with --strictFunctionTypes f2 = f1; // Ok f2 = f3; // Error ``` The first assignment is permitted in default type checking mode, but flagged as an error in strict function types mode. Intuitively, the default mode permits the assignment because it is _possibly_ sound, whereas strict function types mode makes it an error because it isn't _provably_ sound. In either mode the third assignment is an error because it is _never_ sound. Another way to describe the example is that the type `(x: T) => void` is _bivariant_ (i.e. covariant _or_ contravariant) for `T` in default type checking mode, but _contravariant_ for `T` in strict function types mode. Another example: ```ts interface Comparer<T> { compare(a: T, b: T): number; } declare let animalComparer: Comparer<Animal>; declare let dogComparer: Comparer<Dog>; animalComparer = dogComparer; // Ok because of bivariance dogComparer = animalComparer; // Ok ``` In `--strictFunctionTypes` mode the first assignment is still permitted because `compare` is declared as a method. Effectively, `T` is bivariant in `Comparer<T>` because it is used only in method parameter positions. However, changing `compare` to be a property with a function type causes stricter checking to take effect: ```ts interface Comparer<T> { compare: (a: T, b: T) => number; } declare let animalComparer: Comparer<Animal>; declare let dogComparer: Comparer<Dog>; animalComparer = dogComparer; // Error dogComparer = animalComparer; // Ok ``` The first assignment is now an error. Effectively, `T` is contravariant in `Comparer<T>` because it is used only in function type parameter positions. By the way, note that whereas some languages (e.g. C# and Scala) require variance annotations (`out`/`in` or `+`/`-`), variance emerges naturally from the actual use of a type parameter within a generic type due to TypeScript's structural type system. We also improve type inference involving contravariant positions in this PR: ```ts function combine<T>(...funcs: ((x: T) => void)[]): (x: T) => void { return x => { for (const f of funcs) f(x); } } function animalFunc(x: Animal) {} function dogFunc(x: Dog) {} let combined = combine(animalFunc, dogFunc); // (x: Dog) => void ``` Above, all inferences for `T` originate in contravariant positions, and we therefore infer the *best common subtype* for `T`. This contrasts with inferences from covariant positions, where we infer the *best common supertype*. Note that inferences from covariant positions have precedence over inferences from contravariant positions. Fixes #6102. Fixes #7472. Fixes #9514. Fixes #9765. Fixes #12498. Fixes #13248. Fixes #15579. Fixes #18337. Fixes #18466. Also related are #10717 and #14973.

Luxcium · August 15, 2024, 6:04pm

I have no idea why it exist no mechanism to be able to access oneself own repository without ChatGPT changing the code (for copyright considerations) Downloading the code and uploading it to ChatGPT is ridiculous… I can understand your claim for safety, privacy, copyright, and security… but it seems to me that for each of those concerns exits a way to give me (and everyone) access to GitHub when using the ChatGPT-4o with browsing capabilities…

If the risk is because of the potential content of the files, well then it would not be possible to copy/paste the content into the chat context.

I am obviously unaware of the true reasons behind this decision, my guess is that a lazy lawyer thought it would be easier to block everything 100% of the time rather than thinking when it could make sens to give some more capabilities to the AI Agent… I don’t know if other tiers have more capabilities but I do not have the 600$ USD required to pay to have 2 accounts in the team seating… And I am not a corporation to get the entreprise level support.

This is without mentioning the fact that GitHub has a robot.txt configured only for meta crawlers and search engines and blocking access doing so to large parts of my repository…

This is to me exactly like I said: Blocking everything instead of having a thoughtful approach. I might be wrong on the intentions… But I am definitely not on the outcomes.

Topic		Replies	Views
Custom GPTs refuses web browsing GPT builders web-browsing	9	5023	October 17, 2024
GPT4 not browsing the web or is very reluctant to do so Prompting gpt-4	44	19101	July 17, 2024
Custom GPT (GPTs) seems to have a misconception about Web Browsing GPT builders bug	5	2901	May 8, 2024
Model: Web Browsing almost always says "click failed" Plugins / Actions builders gpt-4 , web-browsing	27	3402	January 30, 2024
😱 Concerns About File Information Extraction from GPTs Uploads Community gpts	14	4915	February 16, 2024

The AI Agent should be given access to read content on GitHub

Safety issues

Copyright issues

Privacy issues

Asking twice and it is doing it

Related topics