Our #rstats lenses package is now up on CRAN!!! 🎉 You can now get powerful bidirectional data manipulation with `install.packages("lenses")` straight from your nearest R session. Learn more at cfhammill.github.io/lenses
A friend of mine is hiring a postdoc to look at the genetics of pediatric kidney disease. cusm.njoyn.com/cl3/xweb/Xweb.…, if you're looking for a cool bioinformatics job helping improve children's health, check it out!
LGTM
Engineering — looks good to me
Sales — let’s get that money
Data — let’s generate those metrics
Growth — let’s go to market
Finance — looks green to me
Operations — let’s get this moving
Security — let’s guard that machine
People — let’s go team members
@EscardoMartin I just finished reading your fantastic UF notes (cs.bham.ac.uk/~mhe/HoTT-UF-i…; up to univalence). In practice are there any reasons not to use cubical agda to have univalence by default?