update homepage

_site/index.html

@@ -31,10 +31,10 @@
     <img src="/static/dbp.jpg" alt="Daniel Patterson">
    </div>
    <p>
-    I’m currently a graduate student at <a href="http://prl.ccs.neu.edu/">Northeastern University</a> studying programming languages with <a href="http://www.ccs.neu.edu/home/amal/">Amal Ahmed</a>.
+    I’m currently a graduate student at <a href="http://prl.ccs.neu.edu/">Northeastern University</a> studying programming languages with <a href="http://www.ccs.neu.edu/home/amal/">Amal Ahmed</a>. The topic of my dissertation is the <strong>semantics of language interoperability</strong>.
    </p>
    <p>
-    The topic of my dissertation is the <strong>semantics of language interoperability</strong>.
+    Starting in Fall’22, I’ll be an Assistant Teaching Professor at <a href="https://www.khoury.northeastern.edu/">Northeastern University</a>.
    </p>
    <p>
     Previously, I helped start and run a worker-owned software contracting company, <a href="http://positiondev.com">Position Development</a>. I studied math and computer science undergrad at <a href="http://cs.brown.edu">Brown University</a> where I worked with <a href="https://cs.brown.edu/~sk">Shriram Krishnamurthi</a>, helping to design the <a href="https://www.pyret.org">Pyret</a> programming language.
@@ -49,9 +49,9 @@ <h3 id="publications">
     Publications
    </h3>
    <div class="pubs">
-    <strong>Semantic Soundness for Language Interoperability.</strong>
+    <a href="/pubs/2022/semint.pdf"><strong>Semantic Soundness for Language Interoperability.</strong></a>
     <div class="desc">
-     Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed. <br> <em>PLDI 2022</em>. Pre-print at <a href="https://arxiv.org/abs/2202.13158">arXiv</a>.
+     Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed. <br> <em>PLDI 2022</em>. <a href="/pubs/2022/semint.pdf">PDF</a>, <a href="/pubs/2022/semint-tr.pdf">appendix</a>, and <a href="https://arxiv.org/abs/2202.13158">arXiv</a>.
     </div>
     <a href="/pubs/2020/soundffi-wgt.pdf"><strong>Foreign Function Typing: Semantic Type Soundness for FFIs.</strong></a>
     <div class="desc">
@@ -139,18 +139,6 @@ <h3 id="blog">
     <li>
      <a href="/essays/2018-01-16-how-to-prove-a-compiler-correct.html">How to prove a compiler correct</a> - January 16, 2018
     </li>
-    <li>
-     <a href="/essays/2018-01-01-home-backups.html">(Cheap) home backups</a> - January 1, 2018
-    </li>
-    <li>
-     <a href="/essays/2014-10-05-why-test-in-haskell.html">Why test in Haskell?</a> - October 5, 2014
-    </li>
-    <li>
-     <a href="/essays/2013-06-29-hackers-replacement-for-gmail.html">A Hacker’s Replacement for GMail</a> - June 29, 2013
-    </li>
-    <li>
-     <a href="/essays/2012-10-24-programming-literature.html">Programming as Literature</a> - October 24, 2012
-    </li>
    </ul>
    <h3 id="cv">
     CV
@@ -162,10 +150,7 @@ <h3 id="links">
     Links
    </h3>
    <p>
-    I’m at <a href="https://github.com/dbp">github.com/dbp</a> (code), <a href="https://twitter.com/dbp__">twitter.com/dbp__</a> (politics), and <a href="https://www.instagram.com/dbp____/">instagram.com/dbp____</a> (food &amp; art).
-   </p>
-   <p>
-    My public key is <a href="/static/dbp.gpg">A98D4AF0</a>. Old keys are <a href="/static/dbp-old-2.gpg">9A0C792F</a>, <a href="/static/dbp-old-1.gpg">B5FF6961</a>. I’m at <a href="https://keybase.io/dbp">keybase.io/dbp</a>, if that’s easier. My ssh public key is <a href="/static/ssh_key.pub">here</a>.
+    I’m at <a href="https://github.com/dbp">github.com/dbp</a> (code), <a href="https://twitter.com/dbp__">twitter.com/dbp__</a> (research &amp; politics), and <a href="https://www.instagram.com/dbp____/">instagram.com/dbp____</a> (food &amp; art).
    </p>
   </main>
  </body>

src/index.md

@@ -1,7 +1,10 @@
-<div class="imgr"><img src="/static/dbp.jpg" alt="Daniel Patterson"/></div>
-I'm currently a graduate student at [Northeastern University](http://prl.ccs.neu.edu/) studying programming languages with [Amal Ahmed](http://www.ccs.neu.edu/home/amal/).
+<div class="imgr"><img src="/static/dbp.jpg" alt="Daniel Patterson"/></div> I'm
+currently a graduate student at [Northeastern
+University](http://prl.ccs.neu.edu/) studying programming languages with [Amal
+Ahmed](http://www.ccs.neu.edu/home/amal/). The topic of my dissertation is the
+**semantics of language interoperability**.
 
-The topic of my dissertation is the **semantics of language interoperability**. 
+Starting in Fall'22, I'll be an Assistant Teaching Professor at [Northeastern University](https://www.khoury.northeastern.edu/).
 
 Previously, I helped start and run a worker-owned software contracting company, [Position Development](http://positiondev.com). I studied math and computer science undergrad at <a href="http://cs.brown.edu">Brown University</a> where I worked with [Shriram Krishnamurthi](https://cs.brown.edu/~sk), helping to design the [Pyret](https://www.pyret.org) programming language.
 
@@ -77,17 +80,12 @@ The easiest way to get in touch is via email: <a href="mailto:dbp@dbpmail.net">d
 
 - [How to prove a compiler fully abstract](/essays/2018-04-19-how-to-prove-a-compiler-fully-abstract.html) - April 19, 2018
 - [How to prove a compiler correct](/essays/2018-01-16-how-to-prove-a-compiler-correct.html) - January 16, 2018
-- [(Cheap) home backups](/essays/2018-01-01-home-backups.html) - January 1, 2018
-- [Why test in Haskell?](/essays/2014-10-05-why-test-in-haskell.html) - October 5, 2014
-- [A Hacker's Replacement for GMail](/essays/2013-06-29-hackers-replacement-for-gmail.html) - June 29, 2013
-- [Programming as Literature](/essays/2012-10-24-programming-literature.html) - October 24, 2012
 
 ### CV
 
 A current CV is available in [PDF form](/static/cv.pdf).
 
 ### Links
 
-I'm at [github.com/dbp](https://github.com/dbp) (code), [twitter.com/dbp__](https://twitter.com/dbp__) (politics), and [instagram.com/dbp____](https://www.instagram.com/dbp____/) (food & art).
+I'm at [github.com/dbp](https://github.com/dbp) (code), [twitter.com/dbp__](https://twitter.com/dbp__) (research & politics), and [instagram.com/dbp____](https://www.instagram.com/dbp____/) (food & art).
 
-My public key is [A98D4AF0](/static/dbp.gpg). Old keys are [9A0C792F](/static/dbp-old-2.gpg), [B5FF6961](/static/dbp-old-1.gpg). I'm at [keybase.io/dbp](https://keybase.io/dbp), if that's easier. My ssh public key is [here](/static/ssh_key.pub).