links to POPL'18 talk

[web.git] / personal / index.html

diff --git a/personal/index.html b/personal/index.html
index 2723a69e53bdc2dc7bd1cc2b2ea15d4dba2e68c0..391d6d7b012eb057bcb5e386df9e5aa00abea86f 100644 (file)
--- a/personal/index.html
+++ b/personal/index.html
@@ -1,5 +1,5 @@
 ---
 ---

-title: Ralf Jung
+title: ralfj.de

 ---
 
 <h2>Welcome</h2>
 ---
 
 <h2>Welcome</h2>


@@ -10,7 +10,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>
 <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>
     <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,7 +25,7 @@ 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.
 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!
+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>
 </p>
 
 <p>


@@ -40,7 +40,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>
 <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>
     <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,7 +55,7 @@ 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.
 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>!
+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>
 </p>
 
 <p>