Our research group's work on the soundness and precision of parts of the Linux kernel's static analysis of BPF programs has been accepted at CGO 2022. Congrats to the lead author Harishankar Vishwanathan.

Absolutely beautiful video created using still images taken by the Cassini spacecraft during its flyby of Jupiter and while at Saturn. Shown is Io and Europa over Jupiter's Great Red Spot and then Titan as it passes over Saturn and it's edge-on rings. Credit NASA/JPL/Kevin M.Gill

- Who is the best player Luis? -Not me... (via @Serginog)

Hello, World!