G gist.github.com “Don Knuth Plays with ChatGPT” but with ChatGPT-4 223 points LifeIsBio 3 years ago 132 comments