https://sampollard.github.io/ https://sampollard.github.io/blog/ https://sampollard.github.io/blog/double-as-fixed/ 2020-09-29 https://sampollard.github.io/blog/git-commands-i-always-forget/ 2020-06-15 https://sampollard.github.io/blog/ltac-adventures/ 2020-06-10 https://sampollard.github.io/calendar/ https://sampollard.github.io/personal/comment-ranking/ 2020-07-30 https://sampollard.github.io/personal/elementary-math-problem/ 2020-06-26 https://sampollard.github.io/research/