This is probably your first time seeing it, but it just went through a
+major makeover. I’ve archived the old
+design if
+you want to check it out.
+
+
The new design is blazingly fast, light as a feather, and anyone can navigate
+it.
+
+
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.
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 arena to a playable,
+fun state, and have a LAN tournament to really put it to the test.
+
+
I want to start working on my game again, and I want to it to be playable in
+time for the LAN party.
+
+
I have about 5 weeks to make it happen.
+
+
What to expect
+
+
I have a few technical blog posts planned, but I’ll also just be posting
+about anything I that interests me.
+
+
I think I’ll start doing monthly status updates (like this post), much like
+the engineers at
+sourcehut.org.
+I’d also like to start posting (weekly) development logs for arena.
+
+
Finally, I have a lot more services I need to start hosting before I really
+call this my platform. 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.
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.
+
+
Konkurrencer
+
+
+
2022: Senior Qualifier i De Danske Cybermesterskaber
+
2020: Deltog i Create Jam
+
+
+
Sprog
+
+
+
+
+
Engelsk
+
Flydende skriftligt og mundtligt
+
Dansk
+
Flydende skriftligt og mundtligt
+
Tysk
+
Begrænset arbejdskompetence
+
Irsk (Gælisk)
+
Begrænset arbejdskompetence
+
+
+
Kompetencer
+
+
Værktøjer og applikationer, jeg har eksperterfaring med:
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.
+
+
Competitions
+
+
+
2022: Senior Qualifier in the Danish Cyber Championships
+
2020: Participated in Create Jam
+
+
+
Languages
+
+
+
+
+
English
+
Native writing and speaking
+
Danish
+
Fluent writing and speaking
+
German
+
Rusty
+
Irish
+
Rusty
+
+
+
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.
+
+
+
+
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 @@
+
+
+
+ Adam Stück's blog
+ https://adast.dk/rss.xml
+ Recent content in Adam Stück's blog
+ en-us
+
+
+
+
+
+Status update, February 2023
+https://adast.dk/2023-02-log
+https://adast.dk/2023-02-log
+Sat, 04 Mar 2023 19:56:12 +0100
+Hi, welcome to my website.
+
+
This is probably your first time seeing it, but it just went through a
+major makeover. I’ve archived the old
+design if
+you want to check it out.
+
+
The new design is blazingly fast, light as a feather, and anyone can navigate it.
+
+
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.
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 arena to a playable,
+fun state, and have a LAN tournament to really put it to the test.
+
+
I want to start working on my game again, and I want to it to be playable in
+time for the LAN party.
+
+
I have about 5 weeks to make it happen.
+
+
What to expect
+
+
I have a few technical blog posts planned, but I’ll also just be posting
+about anything I that interests me.
+
+
I think I’ll start doing monthly status updates (like this post), much like
+the engineers at
+sourcehut.org.
+I’d also like to start posting (weekly) development logs for arena.
+
+
Finally, I have a lot more services I need to start hosting before I really
+call this my platform. 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.
+
+
+
+
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 @@
+
+
+https://adast.dk/resume/2023-05-221.0
+https://adast.dk/resume-da/2023-05-221.0
+https://adast.dk/uses/2023-05-221.0
+https://adast.dk/donate/2023-05-221.0
+https://adast.dk/2023-02-log/2023-05-221.0
+https://adast.dk/projects/2023-05-221.0
+https://adast.dk/services/2023-05-221.0
+https://adast.dk/index.html2023-05-221.0
+
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 @@
+
+
+
+
+
+ Things I use
+
+
+
+
+
+
+
+
+
Things I use
+
+
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!
+
+
Services
+
+
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.
+
+
+
+
+
Service
+
Cost/month
+
+
+
+
+
+
sourcehut Open source code hosting with minimalist design and function.