The Deep Link Equating Math Proofs and Computer Programs

Re:The Deep Link Equating Math Proofs and Computer Programs by maleldil on Wednesday October 11, 2023 @12:12PM (#37846360)

Just a head's up, there's an easy way to remember Dijkstra's spelling: D ijk stra. You know, ijk as the common loop indices.

[ Parent | on HN ]

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)

[ Parent | on HN ]

Re:The Deep Link Equating Math Proofs and Computer Programs by smokel on Wednesday October 11, 2023 @12:42PM (#37846789)

Also, Dijkstra was from The Netherlands, and the word "dijk" is Dutch for dike, i.e. the water barrier.

"Dikestra" has a shorter path to the Dutch pronunciation than Djikstra.

[ Parent | on HN ]

Re:The Deep Link Equating Math Proofs and Computer Programs by klyrs on Wednesday October 11, 2023 @02:10PM (#37848109)

I've always thought the ijk were quaternions and the alternative spelling would be D-1stra.

[ Parent | on HN ]