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
---
 pages/resume.md | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'pages')

diff --git a/pages/resume.md b/pages/resume.md
index 817a9a1..18e3c29 100644
--- a/pages/resume.md
+++ b/pages/resume.md
@@ -2,7 +2,7 @@
 
 **Linux System Administrator & Software Engineer**<br> 
 adam@adast.dk<br>
-:flag-dk: :flag-ie:
+🇩🇰 🇮🇪
 
 Passionate about open source software, usability, performance, privacy, and
 minimal design. 
@@ -13,9 +13,7 @@ Core tools are C#, HTML, CSS, JavaScript & the command line. Currently improving
 as a sysadmin and learning the Godot game engine. I also enjoy tinkering with
 basic shell scripts and Unix systems.
 
-<!-- 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
@@ -119,7 +117,7 @@ In Proceedings of the 29th International SPIN Symposium on Model Checking of Sof
 [EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10)
 [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) 
 
-<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
@@ -132,6 +130,7 @@ 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>
+ -->
 
 ## Competitions
 
-- 
cgit v1.2.3-70-g09d2