add Miri paper

[web.git] / personal / index.html

diff --git a/personal/index.html b/personal/index.html
index 1d868bdaa9441883ac31b7e3a3f31bf7874fa82a..12d90260ea9180429cbff3783f0f87b5df629623 100644 (file)
--- a/personal/index.html
+++ b/personal/index.html
@@ -18,8 +18,8 @@ On this machine I maintain several services which are part of modern life, and w
 <p>
 All software running on my server is of course <a href="https://en.wikipedia.org/wiki/Free_Software" target="_blank">free</a> (as in freedom, not just free beer).
 That way, I can expect it to not act against my interests.
 <p>
 All software running on my server is of course <a href="https://en.wikipedia.org/wiki/Free_Software" target="_blank">free</a> (as in freedom, not just free beer).
 That way, I can expect it to not act against my interests.

-Besides, all communication (if at all possible) is encrypted. This self-defense is seemingly necessary today to achieve basic civil rights (like privacy of telecommunications) in the digital world.<br>
-Speaking of which, my GPG key has the ID 0x0CB18E521B24F3FF. You can find it <a href="0x0CB18E521B24F3FF.asc">here</a> or on <a href="https://keys.openpgp.org/vks/v1/by-fingerprint/BD3F5AF6D95D77C48A85AF680CB18E521B24F3FF" target="_blank">keys.openpgp.org</a>.
+Besides, all communication (if at all possible) is encrypted. This self-defense is seemingly necessary today to achieve basic civil rights (like privacy of telecommunications) in the digital world.
+<!-- Speaking of which, my GPG key has the ID 0x0CB18E521B24F3FF. You can find it <a href="0x0CB18E521B24F3FF.asc">here</a> or on <a href="https://keys.openpgp.org/vks/v1/by-fingerprint/BD3F5AF6D95D77C48A85AF680CB18E521B24F3FF" target="_blank">keys.openpgp.org</a>. -->

 </p>
 <p>
 You may wonder why I spend so much time on this. Well, I already mentioned not wanting to depend on the usual internet giants.
 </p>
 <p>
 You may wonder why I spend so much time on this. Well, I already mentioned not wanting to depend on the usual internet giants.


@@ -50,8 +50,8 @@ Auf dieser Maschine laufen diverse Dienste, die zum modernen Alltag gehören, un
 <p>
 Alle Software, die auf meinem Server läuft, ist selbstverständlich <a href="https://de.wikipedia.org/wiki/Freie_Software" target="_blank">frei</a>.
 Nur so kann ich davon ausgehen, dass sie nicht gegen mich bzw. meine Interessen handelt.
 <p>
 Alle Software, die auf meinem Server läuft, ist selbstverständlich <a href="https://de.wikipedia.org/wiki/Freie_Software" target="_blank">frei</a>.
 Nur so kann ich davon ausgehen, dass sie nicht gegen mich bzw. meine Interessen handelt.

-Zudem läuft alle Kommunikation (soweit irgend möglich) verschlüsselt ab. Diese Art von Selbstverteidigung ist heutzutage offenbar nötig, um verbriefte Rechte (wie das Postgeheimnis) auch im Internet durchzusetzen.<br>
-Mein GPG-Schlüssel hat übrigens die ID 0x0CB18E521B24F3FF. Du kannst ihn <a href="0x0CB18E521B24F3FF.asc">hier</a> oder von <a href="https://keys.openpgp.org/vks/v1/by-fingerprint/BD3F5AF6D95D77C48A85AF680CB18E521B24F3FF" target="_blank">keys.openpgp.org</a> herunterladen.
+Zudem läuft alle Kommunikation (soweit irgend möglich) verschlüsselt ab. Diese Art von Selbstverteidigung ist heutzutage offenbar nötig, um verbriefte Rechte (wie das Postgeheimnis) auch im Internet durchzusetzen.
+<!-- Mein GPG-Schlüssel hat übrigens die ID 0x0CB18E521B24F3FF. Du kannst ihn <a href="0x0CB18E521B24F3FF.asc">hier</a> oder von <a href="https://keys.openpgp.org/vks/v1/by-fingerprint/BD3F5AF6D95D77C48A85AF680CB18E521B24F3FF" target="_blank">keys.openpgp.org</a> herunterladen. -->

 </p>
 <p>
 Warum ich mir diese Mühe mache? Nun, das Vermeiden einer Abhängigkeit von den üblichen Internetgiganten habe ich ja schon erwähnt.
 </p>
 <p>
 Warum ich mir diese Mühe mache? Nun, das Vermeiden einer Abhängigkeit von den üblichen Internetgiganten habe ich ja schon erwähnt.