What are the expected limitations of [ChatGPT]?
What is "Prompt Engineering"?
[Prompt engineering - Wikipedia](
https://en.wikipedia.org/wiki/Prompt_engineering )
What lessons about technology reliance could you teach, in regards to Clippy?
- "What is ChatGPT? Wrong answers only"
- Human_n: EDGES WITH REASONING
- "Tell me IDK ("I don't know") when you don't know"
- What are "Truthiness", Confidence Intervals and Error Propagation?
- What is Convergence?
- What does it mean for algorithmic outputs to converge given additional parametric noise?
- "How certain are you that that is the correct answer?"
- How does [ChatGPT] handle known-to-be or presumed-to-be unsolved math and physics problems?
- "How do we create room-temperature superconductivity?"
- "How will planetary orbital trajectories change in the n-body gravity problem if another dense probably interstellar mass passes through our local system?"
- "Are static analysis code metrics sufficient for Safety Critical code?"
- Where in the DevOpSec software development lifecycle should human code review for security best practices and common vulnerabilities and weaknesses?
- Is the [ChatGPT] model trained from *only* Formally Verified code with associated tests?
- Branch and line coverage metrics indicate which tests run which lines of which functions. Code coverage typically implies dynamic analysis?
- "Whose code is this based on?"
- "Where and when did you learn this?"
- Explainability (XAI)
- How can models "Unlearn" or "Learn over" given a sufficient meta-analytic procedure given the information available at that point in spacetime?
- "Why would a US President abstain from using ChatGPT or similar to fill speeches 'just like what I said before'?"
#Burgundy
- How can we use [ChatGPT] and other Prompt Engineering approaches to perform Evidence-Based Policy with supporting computational analyses prepared in form for meta-analysis given verification of data quality and experimental controls?
GPT or similar trained on only Formally-Verified code with associated tests
and/or e.g. Lean Mathlib, or e.g. the Principia in SymPy & Cirq; that could probably eliminate my job, but maybe still not teaching
- "Q: ChatGPT etc. trained on mathlib and tests"
- "Port the QuantumQ game to Cirq (SymPy (Python))?"
- "How does [ChatGPT] compare to Critical Thinking, Reasoning, Logic, and Rationality?
Hi,
a student of mine was aware of this chatbot and asked it about a
class-assignment of his own accord. We program in Java with some extra
homemade library class used by some schools in our region.
The bot came up with a "solution" which was flawed in several respects:
1. It used some other (unimported) classes - solution doesn't work and
doesn't fit the assignment.
2. It put all the code into the constructor, a typical (design and
style) error for students beginning with Java.
When confronted with the problem number one above, it acknowledged the
fault and produced a different unrelated solution.
Sooo....
I was impressed how well the chatbot simulated a typical clueless human
who even thinks he is smart, while his code is basically bullshit.
(Probably a result of googling forums, where other learners posted their
solutions to assignments with the given school library classes.) The bot
clearly passed the Turing test ;-)
But...
I don't think the interaction was helpful for somebody who is learning
to program. It is probably less helpful than conversing with other also
not very knowledgeable students as they are at least reasoning humans.
Talking to the bot might be fun to do in the last lesson before
christmas or so. Entertaining until you realise the software is
"simulating" intelligent conversation - not really talking with insight.
And that could turn out to be a waste of time.
Happy new year
Christian
Am 03.01.2023 um 04:06 schrieb Jurgis Pralgauskis:
> Hi, happy NY!
>
> ChatGPT can create, fix and explain code
> https://openai.com/blog/chatgpt/#samples
> <https://openai.com/blog/chatgpt/#samples>
>
> Anyone tried to incorporate it into teaching process?
> Or have ideas/doubts how it ciuld help?
>
> _______________________________________________
> Edu-sig mailing list -- edu-sig@python.org
> To unsubscribe send an email to edu-sig-leave@python.org
> https://mail.python.org/mailman3/lists/edu-sig.python.org/
> Member address: christian.mascher@gmx.de
_______________________________________________
Edu-sig mailing list -- edu-sig@python.org
To unsubscribe send an email to edu-sig-leave@python.org
https://mail.python.org/mailman3/lists/edu-sig.python.org/
Member address: wes.turner@gmail.com