- https://en.wikipedia.org/wiki/Superoptimization
- https://theory.stanford.edu/~aiken/publications/papers/asplos13.pdf
- https://github.com/TyGuS/hoogle_plus
- Generating Programs from Types | Nadia Polikarpova | Lambda Days 2021
- https://hoogle.haskell.org/?hoogle=%5Ba%5D%20-%3E%20a%20-%3E%20Bool
- A Look at Array Languages
- https://huggingface.co/blog/starcoder2
- https://marketplace.visualstudio.com/items?itemName=HuggingFace.huggingface-vscode
- https://github.com/kparc/ksimple
- https://openai.com/sora
- https://github.com/NVIDIA/cccl/blob/13025d90fcb20381a67d5f134849a201118408f2/thrust/examples/mode.cu#L15