diff options
| author | Adam Stück <adam@adast.dk> | 2023-12-15 11:23:21 +0000 |
|---|---|---|
| committer | Adam Stück <adam@adast.dk> | 2023-12-15 12:00:01 +0000 |
| commit | 57abab7d0c27161e909d07498c86012c82db246e (patch) | |
| tree | d85b423672f55a3287cd1fc10fffa150e5500b94 /build/resume | |
| parent | f205d2e8787e58b73576245f03d44b7d791c471b (diff) | |
overhaul: switch from ssg to barf
- simplify and polish most pages
- add /colophon, /now, /contact
- drop /resume-da
- drop javascript
- patch barf to create symlinks for /rss.xml and /feed to /atom.xml
Diffstat (limited to 'build/resume')
| -rw-r--r-- | build/resume/index.html | 277 |
1 files changed, 150 insertions, 127 deletions
diff --git a/build/resume/index.html b/build/resume/index.html index d0751f4..97dd150 100644 --- a/build/resume/index.html +++ b/build/resume/index.html @@ -1,98 +1,129 @@ -<!DOCTYPE html> -<html lang="en"> - <head> - <meta charset="UTF-8"> - <meta name="viewport" content="width=device-width, initial-scale=1.0"> - <title>Adam Stück</title> - <link rel="icon" href="data:,"> - <link rel="alternate" type="application/rss+xml" title="" href='feed'> - <link rel="stylesheet" type="text/css" href="/main.css"> - </head> - <body> - <header> - <nav> - <a href="/">Home</a><span> | </span> - <a href="/projects">Projects</a><span> | </span> - <a href="/services">Services</a><span> | </span> - <a href="/resume">Resume</a><span> | </span> - <a href="/uses">Uses</a><span> | </span> - <a href="/donate">Donate</a><span> | </span> - <a href="/rss.xml">RSS</a> - </nav> - </header><main> -<script type="text/javascript" language="javascript" src="js/showhide.js"></script> -<h4 id="english-dansk-">[ English / <a href="/resume-da">Dansk</a> ]</h4> -<h1 id="adam-stck">Adam Stück</h1> -<p><strong>Junior Software Engineer & 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> / 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> -<li>Started building my personal platform 😎</li> -<li>Linux, SSH, Unix Shell, Git, POSIX scripting</li> -<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> / Aalborg, Denmark <small>On-site & 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/S</h3> -<p><strong>August 2019</strong> / 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> / 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> / Limerick, Ireland </p> -<ul> -<li>2-week school internship in the administration department</li> -<li>Some Excel automation, including generation of working schedules</li> -<li>Learned how a call center operates</li> -<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> -<li>Started learning game development with GameMaker, and later Unity</li> -<li>Improved at JavaScript and learned C# by using Unity</li> -<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> / 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> +<!doctype html> +<html lang="en" id="top"> +<head> + <meta charset="utf-8"> + <meta name="viewport" content="width=device-width, initial-scale=1"> + <link rel="icon" href="data:,"> + <title>Adam Stück</title> + <link href="https://adast.dk/atom.xml" type="application/atom+xml" rel="alternate" title="Atom feed for blog posts" /> + <style>*{box-sizing:border-box;}body{font-family:sans-serif;margin:0 auto;max-width:650px;padding:1rem;}img{max-width:100%;}pre{overflow:auto;}table{text-align:left;width:100%;}</style> +</head> + +<nav> + <a href="#menu">Menu ↓</a> +</nav> + +<main> +<h1>Adam Stück</h1> +<p><strong>Linux System Administrator & Software Engineer</strong><br> +adam@adast.dk<br> +:flag-dk: :flag-ie:</p> +<p>Passionate about open source software, usability, performance, privacy, and +minimal design. </p> +<h2>Skills & Languages</h2> +<p>Core tools are C#, HTML, CSS, JavaScript & 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: + +- Linux +- Git, Unix Shell +- C#, HTML, CSS, JavaScript +- Unity + +I'm proficient with: + +- C, Rust, python, POSIX Shell (scripting), Java +- Docker, SSH + +I have some experience with: + +- SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor +- Blender --> +<h2>Experience</h2> +<table> +<tr><th>Title</th><th>Company</th><th>Duration</th></tr> +<tr><td>Junior Software Engineer</td><td>Sky Labs Aalborg</td><td>2023-Now</td></tr> +<tr><td>Student Programmer</td><td>E-Komplet A/S</td><td>2020-2023</td></tr> +<tr><td>Software Developer</td><td>OK Snacks A/S</td><td>2019</td></tr> +<tr><td>Junior Business Analyst</td><td>ADEC Arise</td><td>2017</td></tr> +<tr><td>Work Placement</td><td>ADEC Arise</td><td>2015</td></tr> +</table> +<!-- ### Linux, Sysadmin, Self-hosting (spare time) + +**2021-Now** + +* Got hooked on Linux early 2021 +* Self-hosting some [services](/services) on Raspberry Pi, later VPS +* Started building my personal platform 😎 +* Linux, SSH, Unix Shell, Git, POSIX scripting +* Docker, DNS, Certbot, Web Servers, Firewalls, VPNs +* Countless command line utilities + +### Student Programmer at E-Komplet + +**2020-2023** / Aalborg, Denmark <small>On-site & remote</small> + +* Full stack consultant for E-Komplet client +* ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML + +### Software Developer at OK Snacks A/S + +**August 2019** / Ikast-Brande, Denmark + +* Development of an Excel system to track spare parts in stock for production machines +* Microsoft Excel, VBA + +### Junior Business Analyst at Arise + +**June 2017 - July 2017** / Limerick, Ireland + +* Organization of data in Excel +* Automation of Excel tasks using VBA +* Development of web apps to facilitate some call center tasks +* Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML + +### Work Placement at Arise + +**2015** / Limerick, Ireland + +* 2-week school internship in the administration department +* Some Excel automation, including generation of working schedules +* Learned how a call center operates +* General office duties +* Microsoft Excel, VBA + +### Coding, Web Dev, Game Dev (spare time) + +**2014-Now** + +* Started learning programming with JavaScript +* Got into web development, built many personal websites for fun +* Started learning game development with GameMaker, and later Unity +* Improved at JavaScript and learned C# by using Unity +* Started developing [arena](https://arena.adast.dk), my multiplayer Quake-like FPS game +* JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git --> +<h2>Education</h2> +<table> +<tr><th>Institution</th><th>Program</th><th>Completion</th></tr> +<tr><td>Aalborg University</td><td>Computer Science</td><td>2023</td></tr> +</table> +<!-- ### Aalborg University + +**2019-2023** / Aalborg, Denmark + +* Bachelors Degree in Computer Science --> +<h2>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’23), volume 13872 of LNCS, pages 180–187, Springer-Verlag, 2023.<br> +In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), volume 13872 of LNCS, pages 180--187, Springer-Verlag, 2023.<br> <a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a> -<small><a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a></small> -  <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> -  <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 +<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 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 @@ -104,13 +135,13 @@ 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> -<h2 id="competitions">Competitions</h2> +search strategies. </div></p> +<h2>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> +<!-- ## Languages + <style> dl { margin:1rem; @@ -135,47 +166,39 @@ dl dd:not(:last-child) { <dd>Rusty</dd> <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’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> +</dl> --> +<h2>Interests</h2> <ul> <li>Open source software</li> -<li>Linux systems</li> +<li>Web accessibility</li> <li>Performance and utilization</li> <li>Software security and privacy</li> <li>Minimal user interface design</li> -<li>Web accessibility</li> +<li>Linux systems</li> </ul> -<p>Other: game dev, hiking/camping, boxing, guitar.</p> -<h2 id="references">References</h2> +<p>Other: sailing, hiking/camping, permaculture, solarpunk, game dev, guitar.</p> +<h2>References</h2> <p>Available upon request.</p> <footer role="contentinfo"> - - <span><a href="#">↑ Back to Top</a></span><br><br> + <hr> + <h3 id="menu">Menu Navigation</h3> + <ul> + <li><a href="/">Home</a></li> + <li><a href="/projects">Projects</a></li> + <li><a href="/services">Services</a></li> + <li><a href="/uses">Uses</a></li> + <li><a href="/resume">Resume</a></li> + <li><a href="/colophon">Colophon</a></li> + <li><a href="/now">Now</a></li> + <li><a href="/contact">Contact</a></li> + <li><a href="/donate">Donate</a></li> + <li><a href="/atom.xml">RSS</a></li> + <li><a href="#top">↑ Top of the page</a></li> + </ul> <small> - Built with <a href="https://rgz.ee/ssg.html">ssg</a>.<br> + Built with <a href="https://git.sr.ht/~bt/barf">barf</a>. <br> Maintained with ♥ for the web. <br> The content for this site is <a href="https://creativecommons.org/licenses/by-sa/4.0/">CC-BY-SA</a>.<br> The <a href="https://git.sr.ht/~adamski/adast.dk">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.dk/tree/main/item/LICENSE">MIT</a>. </small> </footer> -</main> -</body> -</html> |