by UrbanPewterCoyote1mo agoETH pair0x75b1a9…4652a7
A new programming language. - as fast as C - as parallel as CUDA - as scalable as Go - with formal proofs, just like Lean
Reading trades.