Locally provide fonts and try add more breathing room to resume

This commit is contained in:
2023-02-19 22:08:31 -08:00
parent 984256a0fa
commit 17ab717ae1
4 changed files with 22 additions and 13 deletions

View File

@@ -73,7 +73,8 @@
<h2>maypop</h2>
<i data-feather="link" class="project-link-icon"></i>
</a> &mdash;
Instructional implementation of a dependently typed functional programming language capable of formal proofs.
<!-- Instructional implementation of a dependently typed functional programming language capable of formal proofs. -->
Dependently typed functional programming language capable of formal proofs.
</div>
<!--
<div class="project-container">
@@ -187,6 +188,7 @@
</ul>
</div>
<!--
<div class="position">
<h2>Lead Programmer</h2>
<div class="position-location">Northwest Advanced Programming Workshop, Portland, OR | Summer 2017</div>
@@ -195,9 +197,10 @@
<li>Designed and implemented a <em class="bold">desktop calculator</em> application with a focus on usability and feature-completeness.</li>
<li>Worked on a variety of components, including parsing input through a custom regular expression engine, evaluating expressions through Taylor Series, and UI design.</li>
<li>Profiled and debugged application using <em class="bold">VisualVM</em> in order to find inefficiencies, reducing computation time by 60%.</li>
<!-- <li>Exercised public speaking and communication skills by reporting progress to supervisor and presenting to other teams.</li> -->
<li>Exercised public speaking and communication skills by reporting progress to supervisor and presenting to other teams.</li>
</ul>
</div>
-->
<!--
<div class="position">