3 ms·

I gave Claude 3.5 Sonnet your prompt and it generated this: https://claude.site/artifacts/7aa41881-937e-4863-a407-c999ea5cc4c6 https://claude.site/artifacts/7aa

by jcheng 2y ago

I gave Claude 3.5 Sonnet your prompt and it generated this: https://claude.site/artifacts/7aa41881-937e-4863-a407-c999ea5cc4c6 https://claude.site/artifacts/7aa41881-937e-4863-a407-c999ea... With this example usage: -- Example usage: let clause1 = Set.fromList [1, 2] -- represents (x1 ∨ x2) let clause2 = Set.fromList [-1, 3] -- represents (¬x1 ∨ x3) let formula = Set.fromList [clause1, clause2] -- Decompose the formula let (nonBlocked, blocked) = decompose formula How did it do?

thesz 2y ago
This is very good. Did it do just from the prompt or you had to nudge it? Can you share full chat history?
- jcheng 2y ago
  No nudging. This was the whole interaction: https://gist.github.com/jcheng5/c6f15f4c3dc31bf15ab44683ad6a7ed3 https://gist.github.com/jcheng5/c6f15f4c3dc31bf15ab44683ad6a...
  - thesz 2y ago
    This is a gist, not an interaction with Claude AI. Can you share actual interaction on their site?
    - jcheng 2y ago
      No, ChatGPT has that feature but not Claude (that I could find) so I pasted my input and its response into a gist. It’s verbatim, I promise.
      - thesz 2y ago
        https://www.reddit.com/r/ClaudeAI/comments/156j5st/shareclaude_easily_share_your_claude/ https://www.reddit.com/r/ClaudeAI/comments/156j5st/shareclau... https://support.anthropic.com/en/articles/9450526-how-can-i-export-my-claude-ai-data https://support.anthropic.com/en/articles/9450526-how-can-i-... > It’s verbatim, I promise. Of course, I believe you. It is verbatim.