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

1 files changed, 0 insertions, 171 deletions

diff --git a/src/resume/index.md b/src/resume/index.md
deleted file mode 100644
index ac2831b..0000000
--- a/src/resume/index.md
+++ /dev/null
@@ -1,171 +0,0 @@
-<script type="text/javascript" language="javascript" src="js/showhide.js"></script>
-
-#### [ English / [Dansk](/resume-da) ]
-
-# Adam Stück
-
-**Junior Software Engineer & Hobbyist Sysadmin**<br>Aalborg, Denmark<br>adam@adast.dk
-
-<hr>
-
-## Experience
-
-### Junior Software Engineer at Sky Labs Aalborg
-
-**2023-Now** / Aalborg, Denmark
-
-### 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
-
-## Education
-
-### Aalborg University
-
-**2019-2023** / Aalborg, Denmark
-
-* Bachelors Degree in Computer Science
-
-## Publications
-
-[1] **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**<br>
-by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, 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>
-[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf)
-<small>[©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs)</small>
-&nbsp; [EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10)
-&nbsp; [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) 
-&nbsp; <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a>
-
-<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
-novel approach based on a random search strategy, where actions are assigned
-dynamically (on-the-fly) updated potencies, changing according to the
-variations of a heuristic distance to the goal configuration as encountered
-during the state-space search. We implement our general idea into a Petri net
-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>
-
-## Competitions
-
-* 2022: Senior Qualifier in the Danish Cyber Championships
-* 2020: Participated in Create Jam
-
-## Languages
-
-<style>
-dl {
-    margin:1rem;
-    display:grid;
-    grid-template-columns:auto 1fr;
-    grid-gap:.2rem 1rem;
-}
-dl dt {
-    font-size: .9rem;
-    font-weight: 700;
-}
-dl dd:not(:last-child) {
-    margin-bottom: .3rem;
-}
-</style>
-<dl class="languages">
-<dt>English</dt>
-<dd>Native writing and speaking</dd>
-<dt>Danish</dt>
-<dd>Fluent writing and speaking</dd>
-<dt>German</dt>
-<dd>Rusty</dd>
-<dt>Irish</dt>
-<dd>Rusty</dd>
-</dl>
-
-
-## Tools
-
-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
-
-## Interests
-
-- Open source software
-- Linux systems
-- Performance and utilization
-- Software security and privacy
-- Minimal user interface design
-- Web accessibility
-
-Other: game dev, hiking/camping, boxing, guitar.
-
-## References
-
-Available upon request.