2f:T488,viewof old_annotated_file = Inputs.textarea({value: `static Py_complex cmath_asinh_impl(PyObject *module, Py_complex z) /*[clinic end generated code: output=733d8107841a7599 input=5c09448fcfc89a79]*/ { Py_complex s1, s2, r; SPECIAL_VALUE(z, asinh_special_values); if (fabs(z.real) > CM_LARGE_DOUBLE || fabs(z.imag) > CM_LARGE_DOUBLE) { if (z.imag >= 0.) { r.real = copysign(<1>log(hypot(z.real/2., z.imag/2.)) + M_LN2*2., z.real); } else { r.real = -copysign(log(hypot(z.real/2., z.imag/2.)) + M_LN2*2., -z.real); } r.imag = atan2(z.imag, fabs(z.real)); } else { s1.real = 1.+z.imag; s1.imag = -z.real; s1 = cmath_sqrt_impl(module, s1); s2.real = 1.-z.imag; s2.imag = z.real; s2 = cmath_sqrt_impl(module, s2); r.real = asinh(s1.real*s2.imag-s2.real*s1.imag); r.imag = atan2(z.imag, s1.real*s2.real-s1.imag*s2.imag); } errno = 0; return r; }`, label:"Old annotated file"}) // https://github.com/observablehq/inputs/blob/main/README.md#textarea30:T45e,viewof updated_file = Inputs.textarea({value: `static Py_complex cmath_asinh_impl(PyObject *module, Py_complex z) /*[clinic end generated code: output=733d8107841a7599 input=5c09448fcfc89a79]*/ /*last modified Jan 2024*/ { Py_complex s1, s2, v; SPECIAL_VALUE(z, asinh_special_values); if (fabs(z.real) > CM_LARGE_DOUBLE || fabs(z.imag) > CM_LARGE_DOUBLE) { if (z.imag >= 0.) { v.real = copysign(log(hypot(z.real/2., z.imag/2.)) + M_LN2*2., z.real); } else { v.real = -copysign(log(hypot(z.real/2., z.imag/2.)) + M_LN2*2., -z.real); } v.imag = atan2(z.imag, fabs(z.real)); } else { s1.real = 1.+z.imag; s1.imag = -z.real; s1 = cmath_sqrt_impl(module, s1); s2.real = 1.-z.imag; s2.imag = z.real; s2 = cmath_sqrt_impl(module, s2); v.real = asinh(s1.real*s2.imag-s2.real*s1.imag); v.imag = atan2(z.imag, s1.real*s2.real-s1.imag*s2.imag); } errno = 0; return v; }`, label: "Updated file without annotations"})31:T422,output1 = `static Py_complex cmath_asinh_impl(PyObject *module, Py_complex z) /*[clinic end generated code: output=733d8107841a7599 input=5c09448fcfc89a79]*/ /*last modified Jan 2024*/ { Py_complex s1, s2, r; SPECIAL_VALUE(z, asinh_special_values); if (fabs(z.real) > CM_LARGE_DOUBLE || fabs(z.imag) > CM_LARGE_DOUBLE) { if (z.imag >= 0.) { r.real = copysign(<1>log(hypot(z.real/2., z.imag/2.)) + M_LN2*2., z.real); } else { r.real = -copysign(log(hypot(z.real/2., z.imag/2.)) + M_LN2*2., -z.real); } r.imag = atan2(z.imag, fabs(z.real)); } else { s1.real = 1.+z.imag; s1.imag = -z.real; s1 = cmath_sqrt_impl(module, s1); s2.real = 1.-z.imag; s2.imag = z.real; s2 = cmath_sqrt_impl(module, s2); r.real = asinh(s1.real*s2.imag-s2.real*s1.imag); r.imag = atan2(z.imag, s1.real*s2.real-s1.imag*s2.imag); } errno = 0; return r; } END UPDATED FILE`32:[] 2d:{"title":"re-annotate (FPCore annotations!)","cells":[{"id":0,"value":"# re-annotate (FPCore annotations!)","pinned":false,"hidden":false,"mode":"md"},{"id":193,"value":"Example code taken from the [Python cmath asinh implementation](https://github.com/python/cpython/blob/e45bae7a45e5696c3ebdf477ecc948374cf8ebff/Modules/cmathmodule.c#L276). ","pinned":false,"hidden":false,"mode":"md"},{"id":85,"value":"viewof OPENAI_API_KEY = secret(\"Save OpenAI API key\", {description: \"This is an OpenAI API token whose value is only available to your notebooks.\", submit: \"Save OpenAI API key\"})","pinned":false,"hidden":false,"mode":"ojs"},{"id":11,"value":"$2f","pinned":false,"hidden":false,"mode":"ojs"},{"id":13,"value":"$30","pinned":false,"hidden":false,"mode":"ojs"},{"id":15,"value":"update = Inputs.button(\"Update\")","pinned":false,"hidden":false,"mode":"ojs"},{"id":19,"value":"prompt1 = `Consider the task of annotation updating. Look at the following old annotated file, then copy the annotations to the updated version of the file below it. In this case, annotations are represented by numbered opening and closing tags, like <1> . Your response should be only the updated file with annotations transferred to analogous positions.\n\nOLD ANNOTATED FILE:\n${old_annotated_file}\nEND OLD ANNOTATED FILE\n\nUPDATED FILE:\n${updated_file}\nEND UPDATED FILE\n\nWrite your answer below. Again, your response should be only the updated file with annotations transferred to analogous positions.\n`","pinned":true,"hidden":false,"mode":"ojs"},{"id":143,"value":"output = askChatGPT(prompt1)","pinned":true,"hidden":false,"mode":"ojs"},{"id":224,"value":"fpcore = askChatGPT(fpcore_prompt(output))","pinned":true,"hidden":false,"mode":"ojs"},{"id":83,"value":"import {secret} from \"@tmcw/secret\"","pinned":true,"hidden":false,"mode":"ojs"},{"id":80,"value":"openai = new OpenAI({\n apiKey: OPENAI_API_KEY,\n dangerouslyAllowBrowser: true\n})","pinned":true,"hidden":false,"mode":"ojs"},{"id":78,"value":"OpenAI = (await import(\"https://esm.sh/openai@4.19.0\")).OpenAI","pinned":true,"hidden":false,"mode":"ojs"},{"id":82,"value":"test = {\n //return 42 // comment to run test on completion endpoint\n let completion = await openai.chat.completions.create({\n model: \"gpt-3.5-turbo\",\n messages: [\n //{ role: \"system\", content: \"You are a helpful assistant.\" },\n { role: \"user\", content: fpcore_prompt },\n // {\n // role: \"assistant\",\n // content: \"4\"\n // },\n // { role: \"user\", content: \"What is 3 times 3?\" }\n ]\n });\n console.log(completion.choices[0]);\n return completion;\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":100,"value":"test.choices[0].message.content","pinned":true,"hidden":false,"mode":"ojs"},{"id":133,"value":"messages = [\n //{ role: \"system\", content: \"You are a helpful assistant.\" },\n { role: \"user\", content: prompt },\n // {\n // role: \"assistant\",\n // content: \"4\"\n // },\n // { role: \"user\", content: \"What is 3 times 3?\" }\n ]","pinned":true,"hidden":false,"mode":"ojs"},{"id":136,"value":"function getFirstChoice(completion) {\n return completion.choices[0].message.content\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":127,"value":"async function getChatCompletion(model, messages) {\n let completion = await openai.chat.completions.create({\n model, //: \"gpt-3.5-turbo\",\n messages\n })\n return completion;\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":157,"value":"getChatCompletion([{role: 'user', content: prompt1}])","pinned":true,"hidden":false,"mode":"ojs"},{"id":140,"value":"async function askChatGPT(prompt, model='gpt-3.5-turbo') {\n return getFirstChoice(await getChatCompletion(model, [{role: 'user', content: prompt}]))\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":206,"value":"$31","pinned":true,"hidden":false,"mode":"ojs"},{"id":210,"value":"function extractFirstMatch(str) {\n const regex = /<1>(.*?)<\\/1>/s;\n const match = str.match(regex);\n return match ? match[1] : null;\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":201,"value":"fpcore_prompt = output => `Consider the following Python code.\n\n\\`\\`\\`python\nimport math\n\ndef compute_expression(N):\n if N > 1 and N < 1e+40:\n if N >= 1e+3:\n return 1/N - 1/(2*N**2) + 1/(3*N**3) - 1/(4*N**4)\n else:\n return math.log(1 + 1/N)\n else:\n return \"N is out of the valid range\"\n\\`\\`\\`\n\nWe can represent this expression in FPCore, a format for floating-point analysis, as follows:\n\\`\\`\\`fpcore\n(FPCore (N)\n :pre (and (> N 1) (< N 1e+40))\n (if (>= N 1e+3)\n (+ (/ 1 N) (/ -1 (* 2 (pow N 2))) (/ 1 (* 3 (pow N 3))) (/ -1 (* 4 (pow N 4))))\n (log (+ 1 (/ 1 N)))))\n\\`\\`\\`\n\nNow, represent the following expression (which may or may not be Python!) as an FPCore expression:\n${extractFirstMatch(output)}\n\n\nWrite the FPCore expression only below.\n`","pinned":true,"hidden":false,"mode":"ojs"},{"id":71,"value":"/*\nTODO\n\nModel may need fine-tune or introductory examples of how this process works, especially for covering corner cases.\n\n* Test effect of structure of language on success\n* Maybe in some places error is tolerated?\n* Could it learn through examples?\n* Probably should let the user help the model fit the domain\n\nThings to do with the snippet\n* Translate into English\n* Execute\n* Visualize\n* Structured editing/Livelits\n* Using AST/types would let you attach visualizations to particular branches\n\n* Test different models\n* would want to know what users \"mean\" by section\n* what about one-to-many mappings (code duplication)\n* Git 3-way-merge as baseline -- good as anecdote\n* \n\n\n*/","pinned":true,"hidden":false,"mode":"ojs"}],"files":"$W32","stdlib":"1","titling":"auto"}