Skip to content

Instantly share code, notes, and snippets.

@gterzian

gterzian/summarize_conversation.md

Last active October 4, 2025 07:35
Show Gist options
  • Save gterzian/bff36ce8ee9020f4a0a860f83c2dbab0 to your computer and use it in GitHub Desktop.
Save gterzian/bff36ce8ee9020f4a0a860f83c2dbab0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
summarize_conversation.md

This file contains most of the chat history.

I want you to clean it up so that the most interesting parts remain(in terms of showing the evolution of this project):

  • Remove all of your comments where you only stated what task you performed.
  • Remove all terminal commands and other actions your performed.
  • Keep only your answers related to TLA+
  • Break it up in sections, where the title summarizes what happened.
  • Debug sessions where I keep telling you that something is wrong with the UI and attach screenshots can be summarized
  • Don't summarize everything; for the intersting stuff: quote it as such, including your replies(on the TLA+ for example)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment