add my POPL20 papers

[web.git] / personal / index.html

diff --git a/personal/index.html b/personal/index.html
index e9738c7e113f3d78e70d95d507212d1d17d68be3..32683c850cfceae67fb82c7c55c90870c9631277 100644 (file)
--- a/personal/index.html
+++ b/personal/index.html
@@ -2,6 +2,7 @@
 title: ralfj.de
 ---
 
+<div>
 <h2>Welcome</h2>
 <p>
 Welcome at ralfj.de, my server for experiments and digital independence.
@@ -10,7 +11,7 @@ On this machine I maintain several services which are part of modern life, and w
 <ul>
     <li><a href="mailto:post-AT-ralfj-DOT-de">E-Mail</a>,</li>
     <li>Jabber: My Jabber-ID is <a href="xmpp:ralf-AT-jabber-DOT-ralfj-DOT-de">ralf-AT-jabber-DOT-ralfj-DOT-de</a> (also see <a href="https://en.wikipedia.org/wiki/Extensible_Messaging_and_Presence_Protocol" target="_blank">the Wikipedia article about Jabber</a>),</li>
-    <li><a href="/git">Git repositories</a>,</li>
+    <li><a href="https://git.ralfj.de/">Git repositories</a>,</li>
     <li><a href="https://lists.ralfj.de/">Mailing lists</a>,</li>
     <li>a DNS server (incl. DynDNS and DNSSEC),</li>
     <li>and more.</li>
@@ -25,13 +26,16 @@ Speaking of which, my GPG key has the ID 0x1B24F3FF. You can find it <a href="0x
 You may wonder why I spend so much time on this. Well, I already mentioned independence of the usual internet giants.
 Besides, it's lots of fun to have a closer look at the tools and service we all use daily, and understand how they function.
 Last not least, I learned a lot while setting up this server.
-If you have questions about this (or anything else on this server), please don't hesitate to <a href="mailto:post-AT-ralfj-DOT-de">mail</a> me!
+Some of the configuration is publicly available in my <a href="https://git.ralfj.de/ansible.git">Ansible playbooks</a>, which you can use as a basis for your own experiments.
+If you have questions about this (or anything else on this server), please don't hesitate to <a href="mailto:post-AT-ralfj-DOT-de">mail me at post-AT-ralfj-DOT-de</a>!
 </p>
 
 <p>
 Use the menu at the left to browse this site for information about me and my projects. Maybe some of them are also of interest to you?
 </p>
+</div>
 
+<div lang="de">
 <h2>Willkommen</h2>
 <p>
 Willkommen auf ralfj.de, meinem Server für Experimente und digitale Unabhängigkeit.
@@ -40,7 +44,7 @@ Auf dieser Maschine laufen diverse Dienste, die zum modernen Alltag gehören, un
 <ul>
     <li><a href="mailto:post-ÄT-ralfj-PUNKT-de">E-Mail</a>,</li>
     <li>Jabber: Meine Jabber-ID lautet <a href="xmpp:ralf-ÄT-jabber-PUNKT-ralfj-PUNKT-de">ralf-ÄT-jabber-PUNKT-ralfj-PUNKT-de</a> (siehe auch <a href="https://de.wikipedia.org/wiki/Extensible_Messaging_and_Presence_Protocol" target="_blank">den Wikipedia-Artikel zu Jabber</a>),</li>
-    <li><a href="/git">Git-Repositories</a>,</li>
+    <li><a href="https://git.ralfj.de/">Git-Repositories</a>,</li>
     <li><a href="https://lists.ralfj.de/">Mailing-Listen</a>,</li>
     <li>ein DNS-Server (inkl. DynDNS und DNSSEC),</li>
     <li>und einiges mehr.</li>
@@ -55,10 +59,12 @@ Mein GPG-Schlüssel hat übrigens die ID 0x1B24F3FF. Du kannst ihn <a href="0x1B
 Warum ich mir diese Mühe mache? Nun, die Unabhängigkeit von den üblichen Internetgiganten habe ich ja schon erwähnt.
 Zudem macht es mir eine Menge Spaß, mir diese Technik mal genauer anzuschauen und zu verstehen, wie sie funktioniert.
 Nicht zuletzt habe ich beim Einrichten dieses Servers eine Menge gelernt.
-Falls du Fragen hierzu (oder zu sonst irgendwas auf diesem Server) hast, zögere bitte nicht, mich <a href="mailto:post-ÄT-ralfj-PUNKT-de">anzuschreiben</a>!
+Teile der Konfiguration sind öffentlich einsehbar in meinen <a href="https://git.ralfj.de/ansible.git">Ansible playbooks</a>, die du als Grundlage für eigene Experimente verwenden kannst.
+Falls du Fragen hierzu (oder zu sonst irgendwas auf diesem Server) hast, zögere bitte nicht, mich <a href="mailto:post-ÄT-ralfj-PUNKT-de">unter post-ÄT-ralfj-PUNKT-de anzuschreiben</a>!
 </p>
 
 <p>
 Im Menü links findest du Informationen über mich bzw. was ich so tue.
 Vielleicht ist manches davon ja auch für dich interessant.
 </p>
+</div>