The Deep Link Equating Math Proofs and Computer Programs (www.quantamagazine.org)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 12 Oct 2023 04:39
https://programming.dev/post/4268682

#programming_languages

threaded - newest