Add code repos + Koka contribution

index.html

@@ -15,6 +15,14 @@
     or <a href='https://www.linkedin.com/in/gregshuflin/'>LinkedIn</a>.
 
     <p>Download a copy of <a href="./resume/Greg Shuflin resume.pdf">my resume</a>.
+
+    <p>See open-source code I've written:
+    <ul>
+        <li> <a href="https://github.com/gshuflin">@gshuflin</a> (professional),
+        <li> <a href="https://github.com/neunenak">@neunenak</a> (personal), and
+        <li> <a href="https://gitea.everydayimshuflin.com/greg">gitea.everydayimshuflin.com</a> (self-hosted <a href="https://gitea.com/">Gitea</a> instance).
+    </ul>
+
     </div>
 
     <div id='selfPhoto'>
@@ -46,15 +54,21 @@
    on this project has involved porting the codebase from a legacy Python execution engine
    to a modern and more performant Rust execution engine.
 
+   <p>I recently contributed a basic <a href="https://github.com/koka-lang/koka/pull/193/commits/ab290a41a4249450d9934a4c23d2b8ed7e98b448">Vim plugin</a>
+   for the <a href="https://koka-lang.github.io/koka/doc/book.html">Koka</a> language, an research programming language experimenting with the very
+   neat idea of algebraic effect systems.
+
    <p>I wrote a simple Rust command line program for <a href="https://github.com/neunenak/hilite">
     for highlighting stderr console output</a>, inspired by Mike Schiraldi's hilite utility, which
     I used at Meraki for making the actual errors more obvious in lengthy C++ compiler output.  It
     is published on <a href="https://crates.io/crates/hilite">crates.io</a>.
 
+
    <p>My professional Github profile is <a href="https://github.com/gshuflin">@gshuflin</a>. I have
-   used <a href="https://github.com/neunenak">@neunenak</a> as a personal Github profile in the past,
-   and am in the process of moving my personal code to a <a href="https://gitea.everydayimshuflin.com/greg">self-hosted Gitea
-   instance</a>.
+   used <a href="https://github.com/neunenak">@neunenak</a> as a personal Github profile in the past, and still use it
+   for contributing to projects that use Github as their main git repository host. I've moved most of my personal code
+   to a self-hosted <a href="https://gitea.com">Gitea</a> instance at <a href="https://gitea.everydayimshuflin.com/greg">gitea.everydayimshuflin.com</a>, to
+   reduce my dependency on cloud services I have no control over.
 
    <h2>Some personal projects</h2>
    <p>A few side projects I've worked on
@@ -76,7 +90,7 @@
      <a href='https://github.com/AlexNisnevich'>Alex Nisnevich</a> and several
      other occasional contributors.
      <ul>
-       <li><a href="http://alex.nisnevich.com/untrusted/">Untrusted</a>
+       <li><a href="http://alexnisnevich.github.io/untrusted/">Untrusted</a>
        <a href="https://github.com/AlexNisnevich/untrusted" class='codeLink'>(code)</a>
        - a Javascript roguelike. Every level is deliberately unbeatable, and
        the player must edit the source code of the level in order to progress.

justfile

@@ -1,4 +1,5 @@
+server := "realname-server.everydayimshuflin.com"
 
 deploy:
-   scp index.html style.css self.jpg greg@realname.everydayimshuflin.com:"/srv/greg.everydayimshuflin.com/"
-   scp -r resume greg@realname.everydayimshuflin.com:"/srv/greg.everydayimshuflin.com/"
+   scp index.html style.css self.jpg greg@{{server}}:"/srv/greg.everydayimshuflin.com/"
+   scp -r resume greg@{{server}}:"/srv/greg.everydayimshuflin.com/"