The Register on MSN

Google fuses SQL, Python, and Spark in Colab Enterprise push

Move comes as Snowflake and Databricks chase the same all-in-one analytics dream Google is promising a single notebook environment for machine learning and data analytics, integrating SQL, Python, and ...
GitHub

Releases: PrincetonUniversity/VST

VST version 3.1beta (VST on Iris), compatible with Coq 8.19-8.20, CompCert 3.15, and Iris 4.3.0. For ease of installation, the ora library has been separated out as a new coq-vst-ora opam package.
GitHub

mkVSU arg changes

build-matrix (coq-vsu-int_or_ptr-src.opam, tcarstens/coq-vst-certigraph:8.14.1-ocaml-4.12.0-flamb... build-matrix (coq-vsu-int_or_ptr-vst-32.opam, tcarstens/coq-vst ...