diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/2023-02-log/index.html | 92 | ||||
| -rw-r--r-- | build/donate/index.html | 43 | ||||
| -rw-r--r-- | build/favicon.ico | bin | 0 -> 46927 bytes | |||
| -rw-r--r-- | build/index.html | 82 | ||||
| -rw-r--r-- | build/js/showhide.js | 27 | ||||
| -rw-r--r-- | build/main.css | 86 | ||||
| -rw-r--r-- | build/projects/index.html | 44 | ||||
| -rw-r--r-- | build/resume-da/index.html | 226 | ||||
| -rw-r--r-- | build/resume/index.html | 226 | ||||
| -rw-r--r-- | build/rss.xml | 70 | ||||
| -rw-r--r-- | build/services/index.html | 85 | ||||
| -rw-r--r-- | build/sitemap.xml | 15 | ||||
| -rw-r--r-- | build/uses/index.html | 166 |
13 files changed, 1162 insertions, 0 deletions
diff --git a/build/2023-02-log/index.html b/build/2023-02-log/index.html new file mode 100644 index 0000000..8f9d5c8 --- /dev/null +++ b/build/2023-02-log/index.html @@ -0,0 +1,92 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Status update, February 2023</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> + <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> +<h1 id="status-update-february-2023">Status update, February 2023</h1> + +<p>2023-03-04</p> + +<h2 id="hello-world">Hello world!</h2> + +<p>Hi, welcome to my website. </p> + +<p>This is probably your first time seeing it, but it just went through a +major makeover. I’ve archived <a href="https://web.archive.org/web/20221223055937/https://adast.xyz/">the old +design</a> if +you want to check it out.</p> + +<p>The new design is <em>blazingly fast</em>, light as a feather, and anyone can navigate +it.</p> + +<p>You’ll find my contact details and important links on the homepage. +There are links to more information about myself and this website, projects I’m +working on, and my RSS feed at the top. +I’ve included my PGP key if you wish to send me mail privately.</p> + +<p>This redesign was <strong>heavily</strong> inspired by <a href="https://bt.ht">bt.ht</a> and +<a href="https://drewdevault.com">drewdevault.com</a>.</p> + +<h2 id="game-dev-is-back-on-the-menu">Game dev is back on the menu!</h2> + +<p>The CompSci department at my uni hosts an annual LAN party with tournaments +in the usual titles (csgo, lol, trackmania, etc). It would be amazing to get <a href="https://arena.adast.dk">arena</a> to a playable, +fun state, and have a LAN tournament to really put it to the test.</p> + +<p>I want to start working on my game again, and I want to it to be playable in +time for the LAN party.</p> + +<p>I have about 5 weeks to make it happen.</p> + +<h2 id="what-to-expect">What to expect</h2> + +<p>I have a few technical blog posts planned, but I’ll also just be posting +about anything I that interests me.</p> + +<p>I think I’ll start doing monthly status updates (like this post), much like +the <a href="https://sourcehut.org/consultancy/#our-engineers">engineers at +sourcehut.org</a>. +I’d also like to start posting (weekly) development logs for arena. </p> + +<p>Finally, I have a lot more services I need to start hosting before I really +call this <em>my platform</em>. You can see the list of publicly available +services by clicking the link at the top of the page. For now, I’m +prioritising hosting the services that I use regularly.</p> + +<p>That’s all for now! </p> + +<h2 id="book-club">Book club</h2> + +<p><em>inspired by <a href="https://100r.co">100rabbits</a></em></p> + +<p>I’m reading <strong>A Voyage for Madmen</strong> by Peter Nichols.</p> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</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.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> diff --git a/build/donate/index.html b/build/donate/index.html new file mode 100644 index 0000000..16bfefe --- /dev/null +++ b/build/donate/index.html @@ -0,0 +1,43 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Donate</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> + <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> +<h1 id="donate">Donate</h1> + +<p>Help keep the server running.</p> + +<h2 id="hetzner-referral">Hetzner Referral</h2> + +<p>Use <a href="https://hetzner.cloud/?ref=bXrpw5w6RQon">my referral link</a>, and get 20 EUR +of Hetzner Cloud credits for free. </p> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</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.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> diff --git a/build/favicon.ico b/build/favicon.ico Binary files differnew file mode 100644 index 0000000..d537e87 --- /dev/null +++ b/build/favicon.ico diff --git a/build/index.html b/build/index.html new file mode 100644 index 0000000..a26195b --- /dev/null +++ b/build/index.html @@ -0,0 +1,82 @@ +<!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’s blog</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> + <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> +<h1 id="adam-stcks-blog">Adam Stück’s blog</h1> + +<p><span></span></p> + +<p>Passionate about open source software, usability, performance, privacy, and +minimal design. </p> + +<p>Interested in sustainability, game dev, technology, and living life.</p> + +<p>Student programmer @ <a href="https://e-komplet.dk/">E-Komplet</a>.</p> + +<h2 id="links">Links</h2> + +<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="external-links"> +<dt>sourcehut</dt> +<dd><a href="https://sr.ht/~adamski">~adamski</a></dd> +<dt>email</dt> +<dd><a href="mailto:adam@adast.dk">adam@adast.dk</a></dd> +<dt>pgp</dt> +<dd><a href="https://meta.sr.ht/~adamski.pgp">B5442B88D8E05672</a></dd> +</dl> + +<hr style="margin: 2rem 0"> + +<style> +span.created { + display: block; + margin: 0 0 10px; +} +</style> + +<p><span class='created'><small>2023-03-04</small><br><a href="2023-02-log">Status update, February 2023</a></span></p> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</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.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> diff --git a/build/js/showhide.js b/build/js/showhide.js new file mode 100644 index 0000000..afc9c06 --- /dev/null +++ b/build/js/showhide.js @@ -0,0 +1,27 @@ +/* +http://www.tutorialhelpdesk.com/tutorials/web-development/javascript/how-to-show-hide-a-dhtml-div-using-onclick()-event.html +*/ + +function ShowHide(elementId) +{ + var element = document.getElementById(elementId); + if(element.style.display != "block") + { + element.style.display = "block"; + } + else + { + element.style.display = "none"; + } +} +function UpdateText(element) +{ + if(element.innerHTML.indexOf("Hide") == -1) + { + element.innerHTML = "Hide Abstract"; + } + else + { + element.innerHTML = "Abstract"; + } +} diff --git a/build/main.css b/build/main.css new file mode 100644 index 0000000..3291e54 --- /dev/null +++ b/build/main.css @@ -0,0 +1,86 @@ +* { + box-sizing: border-box; +} +body { + font-family: sans-serif; + line-height: 1.45; + margin: 0 auto; + max-width: 45rem; + padding: 0 15px; +} +hr { + background-color: grey; + border: 0; + height: 1px; + margin: 2rem 0; +} +nav { + margin: 2rem 0 0; +} +main p { + margin: 1rem; +} +h1,h2,h3,h4 { + margin: 2rem 0 0; +} +h1 { + margin-bottom: 0.5rem; +} +h1 + p { + margin: 0 0 1rem; +} +img { + border: 1px solid lightgrey; + height: auto; + max-width: 100%; + width: auto; +} +blockquote { + background-color: linen; + border-left: 4px solid lightcoral; + margin: 2rem 0; + padding: 10px; +} +blockquote p { + margin: 0; +} +figure { + margin: 2rem 0; +} +figcaption { + color: slategrey; +} +code { + background: #eee; + padding: 0.3rem; + tab-size: 4; +} +pre { + background: #eee; +} +pre code { + background: none; + display: block; + overflow-x: auto; + padding: 0.3rem 0.6rem; +} +table { + border-collapse: collapse; + margin: 2rem 0; + text-align: left; + width: 100%; +} +tr { + border-bottom: 1px solid lightgrey; +} +tr:nth-of-type(odd) td { + background-color: #f8f8f8; +} +th,td { + padding: 6px; +} +footer { + border-top: 1px dashed grey; + margin: 2rem 0; + padding: 1rem 15px; +} diff --git a/build/projects/index.html b/build/projects/index.html new file mode 100644 index 0000000..ebfcb02 --- /dev/null +++ b/build/projects/index.html @@ -0,0 +1,44 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Projects</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> + <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> +<h1 id="projects">Projects</h1> + +<h2 id="active-projects">Active Projects</h2> + +<ul> +<li><a href="https://arena.adast.dk">arena</a>: Quake-like multiplayer FPS</li> +<li><a href="https://sr.ht/~adamski/dotfiles">dotfiles</a>: Configs for my different Linux machines</li> +<li><a href="https://sr.ht/~adamski/adast.xyz">adast.xyz</a>: Personal platform</li> +</ul> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</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.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> diff --git a/build/resume-da/index.html b/build/resume-da/index.html new file mode 100644 index 0000000..be9394b --- /dev/null +++ b/build/resume-da/index.html @@ -0,0 +1,226 @@ +<!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" 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> + <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-">[ <a href="/resume">English</a> / Dansk ]</h4> + +<h1 id="adam-stck">Adam Stück</h1> + +<p><strong>Studenterprogrammør / Fritids sysadmin</strong><br>Aalborg, Danmark<br>adam@adast.dk</p> + +<hr> + +<h2 id="erfaring">Erfaring</h2> + +<h3 id="linux-sysadmin-self-hosting-fritid">Linux, Sysadmin, Self-hosting (fritid)</h3> + +<p><strong>2021-nu</strong> </p> + +<ul> +<li>Jeg blev hooked på Linux i begyndelsen af 2021</li> +<li>Prøvede selv at hoste nogle <a href="/services">tjenester</a> på Raspberry Pi, senere VPS</li> +<li>Begyndte at bygge min personlige platform 😎</li> +<li>Linux, SSH, Unix Shell, Git, POSIX scripting</li> +<li>Docker, DNS, Certbot, Web Servers, Firewalls, VPNs</li> +<li>Utallige command line utilities</li> +</ul> + +<h3 id="studenterprogrammr-hos-e-komplet">Studenterprogrammør hos E-Komplet</h3> + +<p><strong>2020-nu</strong> / Aalborg, Danmark <small>On-site & remote</small></p> + +<ul> +<li>Full stack konsulent for E-Komplet klient</li> +<li>ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML</li> +</ul> + +<h3 id="softwareudvikler-hos-ok-snacks-as">Softwareudvikler hos OK Snacks A/S</h3> + +<p><strong>august 2019</strong> / Ikast-Brande, Danmark </p> + +<ul> +<li>Udvikling af et Excel-system til at holde styr på reservedele på lager til produktionsmaskiner</li> +<li>Microsoft Excel, VBA</li> +</ul> + +<h3 id="junior-business-analyst-hos-arise">Junior Business Analyst hos Arise</h3> + +<p><strong>juni 2017 - juli 2017</strong> / Limerick, Irland </p> + +<ul> +<li>Organisering af data i Excel</li> +<li>Automatisering af Excel-opgaver med VBA</li> +<li>Udvikling af web apps for at lette nogle callcenter-opgaver </li> +<li>Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML</li> +</ul> + +<h3 id="skolepraktik-hos-arise">Skolepraktik hos Arise</h3> + +<p><strong>2015</strong> / Limerick, Irland </p> + +<ul> +<li>To ugers skolepraktik i administrationsafdelingen</li> +<li>Excel-programmering som bl.a generering af arbejdstidsplaner</li> +<li>Jeg lærte, hvordan et call center fungerer</li> +<li>Generelle kontor opgaver</li> +<li>Microsoft Excel, VBA</li> +</ul> + +<h3 id="coding-web-dev-game-dev-fritid">Coding, Web Dev, Game Dev (fritid)</h3> + +<p><strong>2014-nu</strong> </p> + +<ul> +<li>Begyndte at lære programmering med JavaScript</li> +<li>Kom ind i webudvikling, byggede mange personlige hjemmesider for sjov</li> +<li>Begyndte at lære spiludvikling med GameMaker og senere Unity</li> +<li>Forbedret JavaScript og lært C# ved at bruge Unity</li> +<li>Begyndte at udvikle <a href="https://arena.adast.dk">arena</a>, mit multiplayer Quake-lignende FPS spil</li> +<li>JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git</li> +</ul> + +<h2 id="uddannelse">Uddannelse</h2> + +<h3 id="aalborg-universitet">Aalborg Universitet</h3> + +<p><strong>2019-2023</strong> / Aalborg, Danmark</p> + +<ul> +<li>Bachelor i Datalogi</li> +</ul> + +<h2 id="publikationer">Publikationer</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> +<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 +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> + +<h2 id="konkurrencer">Konkurrencer</h2> + +<ul> +<li>2022: Senior Qualifier i De Danske Cybermesterskaber</li> +<li>2020: Deltog i Create Jam</li> +</ul> + +<h2 id="sprog">Sprog</h2> + +<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>Engelsk</dt> +<dd>Flydende skriftligt og mundtligt</dd> +<dt>Dansk</dt> +<dd>Flydende skriftligt og mundtligt</dd> +<dt>Tysk</dt> +<dd>Begrænset arbejdskompetence</dd> +<dt>Irsk (Gælisk)</dt> +<dd>Begrænset arbejdskompetence</dd> +</dl> + +<h2 id="kompetencer">Kompetencer</h2> + +<p>Værktøjer og applikationer, jeg har eksperterfaring med:</p> + +<ul> +<li>Linux</li> +<li>Git, Unix Shell</li> +<li>C#, HTML, CSS, JavaScript</li> +<li>Unity</li> +</ul> + +<p>Jeg er dygtig til:</p> + +<ul> +<li>C, Rust, python, POSIX Shell (scripting), Java</li> +<li>Docker, SSH</li> +</ul> + +<p>Jeg har lidt erfaring med:</p> + +<ul> +<li>SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor</li> +<li>Blender</li> +</ul> + +<h2 id="interesser">Interesser</h2> + +<ul> +<li>Open source software</li> +<li>Linux-systemer</li> +<li>Performance og utilization</li> +<li>Softwaresikkerhed og privatliv</li> +<li>Minimalt brugergrænsefladedesign</li> +<li>Webtilgængelighed</li> +</ul> + +<p>Andet: spiludvikling, vandring/camping, boksning, guitar.</p> + +<h2 id="referencer">Referencer</h2> + +<p>Udleveres ved henvendelse.</p> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</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.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> diff --git a/build/resume/index.html b/build/resume/index.html new file mode 100644 index 0000000..508db6e --- /dev/null +++ b/build/resume/index.html @@ -0,0 +1,226 @@ +<!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" 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> + <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>Student programmer / Hobbyist sysadmin</strong><br>Aalborg, Denmark<br>adam@adast.dk</p> + +<hr> + +<h2 id="experience">Experience</h2> + +<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-Now</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> +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> +<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 +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> + +<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; + 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> + +<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> + +<ul> +<li>Open source software</li> +<li>Linux systems</li> +<li>Performance and utilization</li> +<li>Software security and privacy</li> +<li>Minimal user interface design</li> +<li>Web accessibility</li> +</ul> + +<p>Other: game dev, hiking/camping, boxing, guitar.</p> + +<h2 id="references">References</h2> + +<p>Available upon request.</p> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</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.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> diff --git a/build/rss.xml b/build/rss.xml new file mode 100644 index 0000000..928b896 --- /dev/null +++ b/build/rss.xml @@ -0,0 +1,70 @@ +<?xml version="1.0"?> +<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> + <channel> + <title>Adam Stück's blog</title> + <link>https://adast.dk/rss.xml</link> + <description>Recent content in Adam Stück's blog</description> + <language>en-us</language> + <atom:link href="https://adast.dk/rss.xml" rel="self" type="application/rss+xml" /> + + <!-- LB --> + +<item> +<title>Status update, February 2023</title> +<guid>https://adast.dk/2023-02-log</guid> +<link>https://adast.dk/2023-02-log</link> +<pubDate>Sat, 04 Mar 2023 19:56:12 +0100</pubDate> +<description><![CDATA[<p>Hi, welcome to my website. </p> + +<p>This is probably your first time seeing it, but it just went through a +major makeover. I’ve archived <a href="https://web.archive.org/web/20221223055937/https://adast.xyz/">the old +design</a> if +you want to check it out.</p> + +<p>The new design is <em>blazingly fast</em>, light as a feather, and anyone can navigate it.</p> + +<p>You’ll find my contact details and important links on the homepage. +There are links to more information about myself and this website, projects I’m +working on, and my RSS feed at the top. +I’ve included my PGP key if you wish to send me mail privately.</p> + +<p>This redesign was <strong>heavily</strong> inspired by <a href="https://bt.ht">bt.ht</a> and +<a href="https://drewdevault.com">drewdevault.com</a>.</p> + +<h2 id="game-dev-is-back-on-the-menu">Game dev is back on the menu!</h2> + +<p>The CompSci department at my uni hosts an annual LAN party with tournaments +in the usual titles (csgo, lol, trackmania, etc). It would be amazing to get <a href="https://arena.adast.dk">arena</a> to a playable, +fun state, and have a LAN tournament to really put it to the test.</p> + +<p>I want to start working on my game again, and I want to it to be playable in +time for the LAN party.</p> + +<p>I have about 5 weeks to make it happen.</p> + +<h2 id="what-to-expect">What to expect</h2> + +<p>I have a few technical blog posts planned, but I’ll also just be posting +about anything I that interests me.</p> + +<p>I think I’ll start doing monthly status updates (like this post), much like +the <a href="https://sourcehut.org/consultancy/#our-engineers">engineers at +sourcehut.org</a>. +I’d also like to start posting (weekly) development logs for arena. </p> + +<p>Finally, I have a lot more services I need to start hosting before I really +call this <em>my platform</em>. You can see the list of publicly available +services by clicking the link at the top of the page. For now, I’m +prioritising hosting the services that I use regularly.</p> + +<p>That’s all for now! </p> + +<h2 id="book-club">Book club</h2> + +<p><em>inspired by <a href="https://100r.co">100rabbits</a></em></p> + +<p>I’m reading <strong>A Voyage for Madmen</strong> by Peter Nichols.</p>]]></description> +</item> + + </channel> +</rss> diff --git a/build/services/index.html b/build/services/index.html new file mode 100644 index 0000000..757f848 --- /dev/null +++ b/build/services/index.html @@ -0,0 +1,85 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Services</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> + <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> +<h1 id="services">Services</h1> + +<p>All services are using their default configs and logging.<br> +Everything is currently hosted on my <a href="/uses#machines">Hetzner VPS</a> without any CDN.</p> + +<h2 id="public">Public</h2> + +<table> +<thead> +<tr> +<th>Service</th> +<th>Instance</th> +</tr> +</thead> + +<tbody> +<tr> +<td>SearXNG</td> +<td><a href="https://search.adast.dk">search.adast.dk</a></td> +</tr> +<tr> +<td>PeerTube</td> +<td><a href="https://tv.adast.dk">tv.adast.dk</a></td> +</tr> +</tbody> +</table> + +<h2 id="private">Private</h2> + +<table> +<thead> +<tr> +<th>Service</th> +<th>Instance</th> +</tr> +</thead> + +<tbody> +<tr> +<td>Nextcloud</td> +<td><a href="https://cloud.adast.dk">cloud.adast.dk</a></td> +</tr> +<tr> +<td>Snikket (XMPP)</td> +<td><a href="https://chat.adast.xyz">chat.adast.xyz</a></td> +</tr> +</tbody> +</table> + +<p>Other: Wireguard (pivpn), Mail (emailwiz)</p> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</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.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> diff --git a/build/sitemap.xml b/build/sitemap.xml new file mode 100644 index 0000000..ddb1b75 --- /dev/null +++ b/build/sitemap.xml @@ -0,0 +1,15 @@ +<?xml version="1.0" encoding="UTF-8"?> +<urlset +xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" +xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 +http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" +xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> +<url><loc>https://adast.dk/resume/</loc><lastmod>2023-05-22</lastmod><priority>1.0</priority></url> +<url><loc>https://adast.dk/resume-da/</loc><lastmod>2023-05-22</lastmod><priority>1.0</priority></url> +<url><loc>https://adast.dk/uses/</loc><lastmod>2023-05-22</lastmod><priority>1.0</priority></url> +<url><loc>https://adast.dk/donate/</loc><lastmod>2023-05-22</lastmod><priority>1.0</priority></url> +<url><loc>https://adast.dk/2023-02-log/</loc><lastmod>2023-05-22</lastmod><priority>1.0</priority></url> +<url><loc>https://adast.dk/projects/</loc><lastmod>2023-05-22</lastmod><priority>1.0</priority></url> +<url><loc>https://adast.dk/services/</loc><lastmod>2023-05-22</lastmod><priority>1.0</priority></url> +<url><loc>https://adast.dk/index.html</loc><lastmod>2023-05-22</lastmod><priority>1.0</priority></url> +</urlset> diff --git a/build/uses/index.html b/build/uses/index.html new file mode 100644 index 0000000..115f9d6 --- /dev/null +++ b/build/uses/index.html @@ -0,0 +1,166 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <title>Things I use</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> + <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> +<h1 id="things-i-use">Things I use</h1> + +<p>This page contains a somewhat up-to-date listing of hardware and software that I currently use. +Seeing similar pages on other people’s personal websites have proved quite valuable to me, so I figured I would do the same!</p> + +<h2 id="services">Services</h2> + +<p>I’m proud to support open source products and privacy-respecting communities. The list is limited right now, but the plan is to expand this over time. </p> + +<table> +<thead> +<tr> +<th>Service</th> +<th>Cost/month</th> +</tr> +</thead> + +<tbody> +<tr> +<td><a href="https://sourcehut.org">sourcehut</a> <br> Open source code hosting with minimalist design and function.</td> +<td>$2.00</td> +</tr> +</tbody> +</table> + +<h2 id="machines">Machines</h2> + +<table> +<thead> +<tr> +<th>Name</th> +<th>Description</th> +</tr> +</thead> + +<tbody> +<tr> +<td><a href="https://wikipedia.org/wiki/The_Ooz">ooz</a></td> +<td>Desktop</td> +</tr> +<tr> +<td>nova</td> +<td>Laptop</td> +</tr> +<tr> +<td>poco</td> +<td>Phone</td> +</tr> +<tr> +<td>adast.xyz</td> +<td>Hetzner VPS</td> +</tr> +</tbody> +</table> + +<ul> +<li><strong>nova</strong> + +<ul> +<li>Acer Swift 1 <small>SF114-32</small></li> +<li>CPU: Intel Pentium Silver <small>N5000</small></li> +<li>RAM: 8 GB</li> +<li>Storage: 250 GB SSD</li> +<li>OS: Arch Linux</li> +</ul></li> +<li><strong>ooz</strong> + +<ul> +<li>CPU: Ryzen 7 3700X</li> +<li>GPU: RTX 2080S</li> +<li>RAM: 16 GB 3200 Mhz CL-16</li> +<li>OS: Arch Linux</li> +</ul></li> +<li><strong>poco</strong> + +<ul> +<li>Pocofone F1</li> +<li>OS: LineageOS</li> +</ul></li> +<li><strong>adast.xyz</strong> + +<ul> +<li>CPX 21</li> +<li>Location: Nuremberg, Germany</li> +<li>Price/month: EUR 9.44</li> +<li>vCPU: 3 <small>AMD EPYC</small></li> +<li>RAM: 4 GB</li> +<li>Storage: 80 GB</li> +<li>OS: Debian</li> +</ul></li> +</ul> + +<h2 id="accessories">Accessories</h2> + +<table> +<thead> +<tr> +<th>Name</th> +<th>Description</th> +</tr> +</thead> + +<tbody> +<tr> +<td><a href="https://github.com/foostan/crkbd">crkbd</a></td> +<td>Split, columnar-staggered, ortholinear keyboard</td> +</tr> +<tr> +<td>BLON BL-03</td> +<td>Cheap and cheerful IEMs</td> +</tr> +<tr> +<td>Drop HD58X</td> +<td>Open-backed headphones</td> +</tr> +<tr> +<td>Dell U2520D</td> +<td>25”, 1440p, good colours, productivity</td> +</tr> +</tbody> +</table> + +<h2 id="software">Software</h2> + +<ul> +<li>qutebrowser, aerc</li> +<li>Firefox, Thunderbird</li> +<li>vim, keyd, pass, mpv, newsboat</li> +</ul> + +<p>For more, have a look at my <a href="https://git.sr.ht/~adamski/dotfiles/tree/laptop/item/.config">dotfiles</a>.</p> +<footer role="contentinfo"> + + <span><a href="#">↑ Back to Top</a></span><br><br> + <small> + Built with <a href="https://rgz.ee/ssg.html">ssg</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.xyz">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.xyz/tree/main/item/LICENSE">MIT</a>. + </small> +</footer> +</main> +</body> +</html> |