██╗ ██╗███████╗██████╗ ███╗ ██╗██╗ ██╗██████╗ █████╗ ███████╗████████╗
██║ ██╔╝██╔════╝██╔══██╗████╗ ██║██║ ██╔╝██╔══██╗██╔══██╗██╔════╝╚══██╔══╝
█████╔╝ █████╗ ██████╔╝██╔██╗ ██║█████╔╝ ██████╔╝███████║█████╗ ██║
██╔═██╗ ██╔══╝ ██╔══██╗██║╚██╗██║██╔═██╗ ██╔══██╗██╔══██║██╔══╝ ██║
██║ ██╗███████╗██║ ██║██║ ╚████║██║ ██╗██║ ██║██║ ██║██║ ██║
╚═╝ ╚═╝╚══════╝╚═╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝╚═╝ ╚═╝╚═╝ ╚═╝╚═╝ ╚═╝
Kernkraftwerk@GitHub
-----------------
Name: Kernkraft
OS:Gentoo
Languages: ["Rust", "C", "C++", "Haskell",
"AGDA", "COQ", "Bash", "Java", "R"]
Interests: ["Refactoring", "Linux", "Windows Manager",
"i3wm", "Formal methods", "Category theory"
"cryptography", "P2P Networking" ]
Uptime: 20 YearsStats
PGP
-----BEGIN PGP PUBLIC KEY BLOCK-----
mQINBGjZFBMBEACqZUb2gZRJ9ihnHG9nppXrloGHoubjDA2InRCc6Pm08RPi8fHf
ih15f1HvxN6v7y8MZiMkkhB3Txa0hc4F4z4Cm/lj/iVX+nZmM7zymwceUAkBYUz6
V6WB3rjUfCaIqdTjAUiGTJOlQ+jgRK3qwvcY6g4vg0ewZZjq+js66e4ZaglzTjNp
ugT7RDHGJHkbNaeJl+oeYzr35WDcz5E/axzMaeB0X2Of0Lgzb5+/B9ca+7xiYNuZ
P4JcIImyfolS6ioqcATv4fNOr/xc6+0jLhxvyMQ70NZC0FXUtdD5R7k5MduEp2nK
s4I9j5tmc2U8/hanU4GJY1gpMfplLL6d/4bQhmcD1Xfzz22IDsF3nE5IQ2MLtc2B
D2THs5NdfnwialempuHZCc4P1L8yqWdc2f1hrn3Mn27du9Y5+KTkhYsdm4jZrQ87
TjMuXf7CwzYdglg9jU4aiwLclZp+Gv0rsnYFYM+u5PCr+uG7id8vMvnQvioUfRHk
Guq5DkSlW7i0GUMuc8p+XRezBfkTllQGRh8WcQFiPDwVigA1WfdAPrl8usFGRQn4
cK+Zx8WXBpR/4VJWcne6TcRa6BBRDxJIxk3mgSToNW2Zr6bv49iZcekBwgrAHVjh
s9iPFGOwvXECrf1wtjAwa2MzhkaofsPGW8Wab24lTEb+ivCXlXoQHsTBbwARAQAB
tC1rZXJua3JhZnR3ZXJrQHdpZW4uYXQgPGtlcm5rcmFmdHdlcmtAd2llbi5hdD6J
AlcEEwEIAEEWIQT/JhjK1qJCNNICxWE93CoRuDAWNwUCaNkUEwIbAwUJEswDAAUL
CQgHAgIiAgYVCgkICwIEFgIDAQIeBwIXgAAKCRA93CoRuDAWN8twD/0cZOeSXfqi
rBYDowHKBlUczMscWL9+pqnibtlYO4hZeUjconQjl2blfp5CXye1vMxAhmrVpkNJ
p9XXF+tPEMDiWVzo9m5RZo+XMXOxIRKUSlpnGlD9YWWOF4IBSiHKYeHGb5S4SJLH
U8S9Gm4SiB2FtUkhHnDBio3LA7v6njCNAuF6dA8Nt3px3XpC8WCHGgW3u0nwPXlp
wHDzxD5kTuwENKaM8dERxEqGjF0TZjR2+hLD2mmPkFdC6JVT2/SYsg3ZchZAwxem
/SeKz9TvcNfKXlE642z/EHGsrBcLhOFoQu1VavDkdKoPAVA0auCk2NQOgViazMM/
9wUAhxIUPhNGMhYnTm8gnTOeQq+Zn2zC4BAW5bhcgGdInlA82ziaX+eC2854xvR0
sq0ZL6/O+uJZEqV8j+3fRIeg9eN4PLTYKQPAh0WbWdiKlnE0vbCq16QSJqkwqzGr
6SY8CX6GMAf4k1zskucaLtbfE1SjyyqMppK1TjgwAzbjMWGVvDv6t5tp6yjhhWJj
eS8UC6DZVvJLf514PQoieMBNesfRDwgs33UFtS1xYArMuj1gc7by2UV2qjY+FD6a
7R1MGfdoKJntRNsp6KTeA9ZqZv0+2VHDduqLahMsd8aMK6kCCjU1oGOK2XAdqN0/
bqyWG6rJeOSmvgVSZwJe/JsgepnoyD9xmbkCDQRo2RQTARAA1kmK0qRaCIuCu5BE
SR+TmkxYwLnwFWYrPbypfWmQLvwIuvc97bjlbGp0gQjtdwZO+0NSNKcQSrh/S6uO
WWh8uXr//Ey8C8bpmL/yUueOjQDEHu3vs5QG8T8nU6HEcyp3hn7M9o7FyzNrz3kO
5WF/iZcG3EviwFh9wiQhwoD9qYV8OD5wzXJS9iaVyn1xD7xOS5FkEJrV/ZnnzB9D
Qpj13zkLpQvuADQWQEm4nWB5bGUGpJdKAWYcBvTWVxJ8O6Z5u4HeZND35ImgJhIR
qU5+D2yrfiSNfOkJUxmdmuIYH0Y+D1W8htdQ59DyM1W/DSqfi7XtMIwe/JdS3MSy
nq6aJ0et+xcmeXpVqQPzpEf1xxPFgYiQD4rwxLG7U/+hBozzQLWxgE0bgW3kRg3q
5HGodV1Qum2yKYQjCkMPVKtodYWoACHJ0qjmDBfOzG6RZLAqdFVe6nhj504ziIfC
9rqfvA8pv2j4g2z25TUxAhuPPbn6AtMYJSb7pVOS4k2wh7nDFUlyWIfry4xMRYh1
3B9xKQaTSBkxHKn3oRkx7FLhssIzokUNmYNAonxH3t9LwbBOxcbogtF0GjO1jY+O
8XWVzd6AvD9rpgFGRI0p03qiHOoTKc01XgZRzI2Vrp9SRW/RO11VSg3zbjaAXNTo
44FiesTe8X6hcRzs/zIJHyGHgy0AEQEAAYkCPAQYAQgAJhYhBP8mGMrWokI00gLF
YT3cKhG4MBY3BQJo2RQTAhsMBQkSzAMAAAoJED3cKhG4MBY33uwQAKIWAadUEyll
jqGwjsC7rsBQUcL52wH+77EwDJtlY/1zeL9ytQEBUphZMyoY4EXTersj0F3p5QAQ
aewRYUYRQaHaDTZbiRiIKL/kpRZFGKpTOmITkrtQa4o2DcAnRGNBWxj6JqmycJEX
zdoGBSG2dhuULtdhUkLV22PukRZ+hw1cPbubr5Yy0C1GTRafZAWJ9Euj268wu1Cb
8iRsRSJJDyba5DW4yd9vSkRh+G+wOoLjIoNzqrf8GWgPO/1EBkycFyqh/ngtqm5b
OZq4fXehhxyb+r4QbYqYP3MPFDtpXIWChg0XE0FqfVp4+ZXD5uENKaZ7NJtyK5tp
d8c1mONXLj/gVxY64LcGzXDXiSWjHg/EiZMZCYnXyAoAaJoc+2AibNbLlIDQk0ty
M3NZKekyo7d5YC/XDote9dt4nIZXaRQHZ/Z/Aq5sQEfjTkAeZi4f7EmQHe3M+RSz
RMYMym9IZ4fSOocd/T6TQaGrgnq8n6T3jC1+dZCHuc4zob0NP1xF8ZhSFBF9PF+R
jRxcQeKV9bRzk4kujAVbPK8DzGynp9Pv4UONmBCn9WvbzDLZZp+bslPsUXkpf7Oj
axNFAAm5iBcRCWa/qtqFJ12DD05VpXq4AxHrxrdXtCpzpS2xgQZgNe7KBx6BuzSs
YvN+/FoKAcJnnqofXe+bqQZ/yMESNrnk
=4z3Y
-----END PGP PUBLIC KEY BLOCK-----