#compiler 2 items 25 июн Qualcomm Acquires Modular for $3.92B to Challenge CUDA Lock-in Qualcomm industry 18 сен Bend 2: a language where AI commits need machine-checked proofs Bend tools