Quines

TagLast edit: 14 Mar 2023 22:16 UTC by Morpheus

GPT can write Quines now (GPT-4)

Andrew_Critch14 Mar 2023 19:18 UTC

97 points

29 comments1 min readLW link

Open technical problem: A Quinean proof of Löb’s theorem, for an easier cartoon guide

Andrew_Critch24 Nov 2022 21:16 UTC

52 points

34 comments3 min readLW link

No comments.