Silq: A strongly-typed high-level programming language for quantum computing | Heykuki News