AdamW's nine f32 scalars for one step, read after its four addresses.
261def bobAdamBlock =
262 (lambda unrestricted scalars : Bytes .
263 (bobBlock
264 (bobPatch (bobArgument 0) (bobWord64 bobParametersAddress)
265 (bobPatch (bobArgument 1) (bobWord64 bobGradientsAddress)
266 (bobPatch (bobArgument 2) (bobWord64 bobFirstMomentAddress)
267 (bobPatch (bobArgument 3) (bobWord64 bobSecondMomentAddress)
268 (bobWordPatches 5 (bobArgument 4) (bytes-append scalars b"\x00\x00\x00\x00") bobNoPatches)))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.