Scientific computing software landscape

Stephen talked about the scientific computing landscape (Python, Cython, JAX, Julia) and comparing these from a user perspective.

This will be the last talk before spring break (we won’t be meeting next week).

Previous: Moser-Tardos algorithm for k-SAT

Brian presented on the Moser-Tardos algorithm, a surprisingly simple and fast constructive algorithm for the k-SAT problem.