rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 636

  1. RT @jamey_sharp: saw.galois.com/ released Monday. Today @aisamanra demoed proving equivalence between C and Rust with it. https://t.…
    On twitter.com Twitter logo Retweet