Uploaded a screenshot of what my Emacs setup looks like.
Added a link to my recent SMT solvers talk.