Comment

Comment by dwohnitmok

Does it not?

E.g. `UInt8[ArrayLike, "... a b"]` means "an array-like of uint8s that has at least two dimensions". You are opting into jaxtyping's definition of an "array-like", but even though the general concept as you point out is wide spread, there isn't really a single agreed upon formal definition of array-like.

Alternatively, even more loosely as anything that is vaguely container-shaped, `UInt8[Any, "... a b"]`.

parent dwohnitmok 1 year ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton