Observed arrival · 2026-09-28
Alpha wants the whole learning system to compile
Alpha is a dependently typed language and compiler for describing a learning system—from its model and training run to its hardware pairing—in one program.
- For
- People building or studying machine-learning systems and compilers
- Worth noticing
- The page separates model code from hardware pairing files and shows an RTX 3090 pairing as a compatibility contract.
Field notes
The landing page includes a small runnable-looking example: `double 21` returns exit status 42. Its hardware section separates a system definition from a build pairing, showing an RTX 3090 file as the place where program requirements are checked against a card profile. The site also says the same model source builds for two NVIDIA GPU generations; that is a project claim, not an independently verified result in the supplied evidence.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue