News for hackers. Stuff that matters.

A comment on The Deep Link Equating Math Proofs and Computer Programs. Parent comment

Re:The Deep Link Equating Math Proofs and Computer Programs by Scarblac on Wednesday October 11, 2023 @12:28PM (#37846557)
Also, think of ij as a single letter, quite like a y but with dots.
[ Parent | on HN ]
Re:The Deep Link Equating Math Proofs and Computer Programs by mettamage on Wednesday October 11, 2023 @12:51PM (#37846929)
That's what they taught me in elementary school! :D
[ Parent | on HN ]
Re:The Deep Link Equating Math Proofs and Computer Programs by dekhn on Wednesday October 11, 2023 @01:54PM (#37847881)
https://en.wikipedia.org/wiki/IJ_(digraph)
[ Parent | on HN ]