From 722e1f0a3b28c5f546e7110fd7e3b1429e0d9d46 Mon Sep 17 00:00:00 2001
From: Adam Stück <adam@adast.dk>
Date: Fri, 15 Dec 2023 16:31:03 +0100
Subject: resume: add country flags

tidy up commented info
---
 build/atom.xml          |  2 +-
 build/resume/index.html | 11 +++++------
 2 files changed, 6 insertions(+), 7 deletions(-)

(limited to 'build')

diff --git a/build/atom.xml b/build/atom.xml
index 253060a..de62b64 100644
--- a/build/atom.xml
+++ b/build/atom.xml
@@ -2,7 +2,7 @@
 <feed xmlns="http://www.w3.org/2005/Atom">
 	<title>Adam Stück's blog</title>
 	<link href="https://adast.dk/atom.xml" rel="self" />
-	<updated>2023-12-15T16:22:25Z</updated>
+	<updated>2023-12-15T16:30:52Z</updated>
 	<author>
 		<name>Adam Stück</name>
 	</author>
diff --git a/build/resume/index.html b/build/resume/index.html
index 97dd150..9907e02 100644
--- a/build/resume/index.html
+++ b/build/resume/index.html
@@ -17,16 +17,14 @@
 <h1>Adam Stück</h1>
 <p><strong>Linux System Administrator &amp; Software Engineer</strong><br> 
 adam@adast.dk<br>
-:flag-dk: :flag-ie:</p>
+🇩🇰 🇮🇪</p>
 <p>Passionate about open source software, usability, performance, privacy, and
 minimal design. </p>
 <h2>Skills &amp; Languages</h2>
 <p>Core tools are C#, HTML, CSS, JavaScript &amp; the command line. Currently improving my skills
 as a sysadmin and learning the Godot game engine. I also enjoy tinkering with
 basic shell scripts and Unix systems.</p>
-<!-- TODO: compress this section to a couple of sentences
-
-A selection of tools and applications I have expert experience using:
+<!-- A selection of tools and applications I have expert experience using:
 
 - Linux
 - Git, Unix Shell
@@ -123,7 +121,7 @@ In Proceedings of the 29th International SPIN Symposium on Model Checking of Sof
 <a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a>
 <a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a>
 <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> </p>
-<p><div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration
+<!-- <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
 in order to overcome the state-space explosion problem. We contribute with a
@@ -135,7 +133,8 @@ model checker TAPAAL and document its efficiency on a large benchmark of Petri
 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></p>
+search strategies. </div>
+ -->
 <h2>Competitions</h2>
 <ul>
 <li>2022: Senior Qualifier in the Danish Cyber Championships</li>
-- 
cgit v1.2.3-70-g09d2