Follow this instruction:
https://www.digitalocean.com/community/tutorials/how-to-set-up-r-on-ubuntu-14-04
but first you need to add the key to the Ubuntu keyserver:
sudo gpg --keyserver-options http-proxy=http://YOURPROXYSERVER --keyserver keyserver.ubuntu.com --recv-key E084DAB9
where YOURPROXYSERVER is the address of your proxy server.
Further reading
Read more in the tech topic.
Let's talk!
I'm Carlo Nicolini — I am interested on the reliability of AI reasoning systems (interpretability, inference-time methods, probabilistic language programming) and on quantitative portfolio optimization (I am a maintainer of skfolio). If you're working on something in these areas and think we might collaborate, chat, discuss, I'm happy to talk about it!
The best way to reach me is on via DM on LinkedIn.