drop favicon

1 files changed, 0 insertions, 50 deletions

diff --git a/build/resume/index.html b/build/resume/index.html
index 1ab3250..b36b9a5 100644
--- a/build/resume/index.html
+++ b/build/resume/index.html
@@ -4,7 +4,6 @@
         <meta charset="UTF-8">
         <meta name="viewport" content="width=device-width, initial-scale=1.0">
         <title>Adam Stück</title>
-        <link rel="icon" type="image/x-icon" href="/favicon.ico">
         <link rel="alternate" type="application/rss+xml" title="" href='feed'>
         <link rel="stylesheet" type="text/css" href="/main.css">
     </head>
@@ -21,25 +20,15 @@
             </nav>
         </header><main>
 <script type="text/javascript" language="javascript" src="js/showhide.js"></script>
-
 <h4 id="english-dansk-">[ English &#47; <a href="/resume-da">Dansk</a> ]</h4>
-
 <h1 id="adam-stck">Adam Stück</h1>
-
 <p><strong>Junior Software Engineer &#38; Hobbyist Sysadmin</strong><br>Aalborg, Denmark<br>adam@adast.dk</p>
-
 <hr>
-
 <h2 id="experience">Experience</h2>
-
 <h3 id="junior-software-engineer-at-sky-labs-aalborg">Junior Software Engineer at Sky Labs Aalborg</h3>
-
 <p><strong>2023-Now</strong> &#47; Aalborg, Denmark</p>
-
 <h3 id="linux-sysadmin-self-hosting-spare-time">Linux, Sysadmin, Self-hosting (spare time)</h3>
-
 <p><strong>2021-Now</strong> </p>
-
 <ul>
 <li>Got hooked on Linux early 2021</li>
 <li>Self-hosting some <a href="/services">services</a> on Raspberry Pi, later VPS</li>
@@ -48,40 +37,28 @@
 <li>Docker, DNS, Certbot, Web Servers, Firewalls, VPNs</li>
 <li>Countless command line utilities</li>
 </ul>
-
 <h3 id="student-programmer-at-e-komplet">Student Programmer at E-Komplet</h3>
-
 <p><strong>2020-2023</strong> &#47; Aalborg, Denmark <small>On-site &#38; remote</small></p>
-
 <ul>
 <li>Full stack consultant for E-Komplet client</li>
 <li>ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML</li>
 </ul>
-
 <h3 id="software-developer-at-ok-snacks-as">Software Developer at OK Snacks A&#47;S</h3>
-
 <p><strong>August 2019</strong> &#47; Ikast-Brande, Denmark </p>
-
 <ul>
 <li>Development of an Excel system to track spare parts in stock for production machines</li>
 <li>Microsoft Excel, VBA</li>
 </ul>
-
 <h3 id="junior-business-analyst-at-arise">Junior Business Analyst at Arise</h3>
-
 <p><strong>June 2017 - July 2017</strong> &#47; Limerick, Ireland </p>
-
 <ul>
 <li>Organization of data in Excel</li>
 <li>Automation of Excel tasks using VBA</li>
 <li>Development of web apps to facilitate some call center tasks </li>
 <li>Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML</li>
 </ul>
-
 <h3 id="work-placement-at-arise">Work Placement at Arise</h3>
-
 <p><strong>2015</strong> &#47; Limerick, Ireland </p>
-
 <ul>
 <li>2-week school internship in the administration department</li>
 <li>Some Excel automation, including generation of working schedules</li>
@@ -89,11 +66,8 @@
 <li>General office duties</li>
 <li>Microsoft Excel, VBA</li>
 </ul>
-
 <h3 id="coding-web-dev-game-dev-spare-time">Coding, Web Dev, Game Dev (spare time)</h3>
-
 <p><strong>2014-Now</strong> </p>
-
 <ul>
 <li>Started learning programming with JavaScript</li>
 <li>Got into web development, built many personal websites for fun</li>
@@ -102,19 +76,13 @@
 <li>Started developing <a href="https://arena.adast.dk">arena</a>, my multiplayer Quake-like FPS game</li>
 <li>JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git</li>
 </ul>
-
 <h2 id="education">Education</h2>
-
 <h3 id="aalborg-university">Aalborg University</h3>
-
 <p><strong>2019-2023</strong> &#47; Aalborg, Denmark</p>
-
 <ul>
 <li>Bachelors Degree in Computer Science</li>
 </ul>
-
 <h2 id="publications">Publications</h2>
-
 <p>[1] <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br>
 by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, <strong>A.M. Stück</strong>, S. Sørensen<br>
 In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN&#8217;23), volume 13872 of LNCS, pages 180&#8211;187, Springer-Verlag, 2023.<br>
@@ -123,7 +91,6 @@ In Proceedings of the 29th International SPIN Symposium on Model Checking of Sof
 &#160; <a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a>
 &#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> 
 &#160; <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a></p>
-
 <div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration
 has a significant impact on reachability analysis in explicit model checking
 and existing tools use several variants of search heuristics and random walks
@@ -137,16 +104,12 @@ net models from the annual Model Checking Contest. The experiments show that
 our heuristic search outperforms the standard search approaches in multiple
 metrics and that it constitutes a worthy addition to the portfolio of classical
 search strategies. </div>
-
 <h2 id="competitions">Competitions</h2>
-
 <ul>
 <li>2022: Senior Qualifier in the Danish Cyber Championships</li>
 <li>2020: Participated in Create Jam</li>
 </ul>
-
 <h2 id="languages">Languages</h2>
-
 <style>
 dl {
     margin:1rem;
@@ -162,7 +125,6 @@ dl dd:not(:last-child) {
     margin-bottom: .3rem;
 }
 </style>
-
 <dl class="languages">
 <dt>English</dt>
 <dd>Native writing and speaking</dd>
@@ -173,34 +135,25 @@ dl dd:not(:last-child) {
 <dt>Irish</dt>
 <dd>Rusty</dd>
 </dl>
-
 <h2 id="tools">Tools</h2>
-
 <p>A selection of tools and applications I have expert experience using:</p>
-
 <ul>
 <li>Linux</li>
 <li>Git, Unix Shell</li>
 <li>C#, HTML, CSS, JavaScript</li>
 <li>Unity</li>
 </ul>
-
 <p>I&#8217;m proficient with:</p>
-
 <ul>
 <li>C, Rust, python, POSIX Shell (scripting), Java</li>
 <li>Docker, SSH</li>
 </ul>
-
 <p>I have some experience with:</p>
-
 <ul>
 <li>SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor</li>
 <li>Blender</li>
 </ul>
-
 <h2 id="interests">Interests</h2>
-
 <ul>
 <li>Open source software</li>
 <li>Linux systems</li>
@@ -209,11 +162,8 @@ dl dd:not(:last-child) {
 <li>Minimal user interface design</li>
 <li>Web accessibility</li>
 </ul>
-
 <p>Other: game dev, hiking&#47;camping, boxing, guitar.</p>
-
 <h2 id="references">References</h2>
-
 <p>Available upon request.</p>
 <footer role="contentinfo">