From dcbfb97fd6f3841f93520be71eea63a253cf1706 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Fri, 19 Jul 2019 01:32:15 -0400 Subject: [PATCH 01/16] back to using bandali@ instead of mab@ as my primary gnu address at least for the time being, until i figure a few things out first --- bandali-pubkey.txt | 132 ++++++++++++++++++++++----------------------- contact.html | 4 +- gpg.html | 2 +- index.html | 2 +- 4 files changed, 70 insertions(+), 70 deletions(-) diff --git a/bandali-pubkey.txt b/bandali-pubkey.txt index 6bdf4a4..bcb0c08 100644 --- a/bandali-pubkey.txt +++ b/bandali-pubkey.txt @@ -11,71 +11,71 @@ xOajMR2KgxOfJ0JzNV8NFw7Sx9Hn61/y0nxoeMLhuCAW4n4i9/KFbms9iRDk4o6r d7eisHNbOxmgyHnDDUmCc+CLqSJNpQz6ROFL0OBHTZdOpwwiFNzhd7r8DqYLw8/C CY4yAHD8/h7YRpZ3HySNmanQM9Hmf212V5C2kHwNO2PHdzxx+wz0vW4B7K9KMz8E URBwbqXda+1k5mYxCnaRNiuUOHAL2RjDeop/cNPlUCvi7RPIwie9eK7JiQARAQAB -tB5BbWluIEJhbmRhbGkgPGJhbmRhbGlAZ251Lm9yZz6JAlQEEwEIAD4CGwEFCQPC -ZwAFCwkIBwIGFQoJCAsCBBYCAwECHgECF4AWIQS+YnNzjmFtbRs6COiiGgICSIFh -AwUCXRl7ygAKCRCiGgICSIFhA2toD/9y6+lAzwJuhvdgGR6aBW40nkqd8faUXx2p -3apK4ojNK+u7caFMtYURlWhwmPBx/SvQE8EfYpNy464XKzrCK0ZLURBqWFCwSRNI -HN1+Hnn7PrVyS9z9DbicUDDZbq57lVp+hGDhSZ5K+15MP5mdCyJj088QfkN6rPPK -ClZiuCm3tfjfQhnmp1fypM3Yi8Z80wxhbWeYrJCsLYc+caLes1Q4gyvAbijvpEtk -5wGxL6D3uaIydcxdI9dq1wzHtpt7xBmiFPh0ZbgKLnxJpUp6B0guFrQx89ecn7df -BMXYpyZHD6uQyA1hlNsqT65W1ueJxBWtPo4ZvDURyTORHp5SdvwcEiV1F8kjSjrz -YnrMXz+QgXWNeuha2BaINv2JLtVMOe2Yt/62bNtLS7Anji8p0t8t72P6RyMRs1re -ft0RPR/gi+4Dl6Ssjzxq3uFGzDv5U4qOvnhAYzjsRJEM+GZtSqFwXAjmFKGhBT// -Lw/+b3aVYmhdxYm5fPVRVo0V3HkUHsGA0RTCHE4VZXLn1ni2x/OQN+dbUFaPrRiD -ulWXeA2aLBiUsISBQVhDzuV98fi//5a18hc54TWgP3/CcfNIveCkAAwy+odzVidO -hFr6rGzrEJqiXmNwE/+UzUS/F+ZJrGGwZdbCtwvEpenNJxZlZ0ms4tzM4yaUFHvY -hMrSOtf86okCMwQQAQgAHRYhBM3edfkDU45xgTzaJ9H7o2Yn1lh2BQJbxsoKAAoJ -ENH7o2Yn1lh205IP/Ax8eb3ywqO5N9QMQBvnysDq/fbJYG/HQF92yo3vzw/vvSkZ -mtDu5Zl3KxoxFB9Q7InzzcPLop1yhiwc/LQOXQ6JQeb0aV53kTgrwyWXkD2fsj0A -MMlQiI9ypJNcaadF+PlUKQAoi922QsfwIokrfoiS6ouEF2Vluwn4dLmqf3AagIeR -yRpca+8NW7mufB/l6/KAh7R4Zc8MgcFz+q6f7GPSNgOnkwkotc/o3o7T2lnvvjIu -GONpNGGsFAh//bwJM75GpBqMblxNre0Ws7rr4T2gooAy36vY9zDvBA9zZdD7XOfB -pa5hnrDFcZrX1lsivJpHG5CH8tbjhNRfk02BOX/l9ZnWMQlPiHAbY6qZUEHz9dmF -tAaJBtZIesJzOz3PpsIQK8QO8Quj/t5EDNHrUrY8OC3aTdODBX11/8HWhdhNwntE -OGSx3X17rXZ56j8wr16BxOMlW9K9kwr1W1YJBqcg1fZHqXh4qFOPl7CxAoaHWX8i -m37Cx5biYQCUBsKLemr5MpawaoocqjqjbN3zdqvjsEMzN9Bg/ggBVzj7BmFRjdas -n3P1br0v9tRtL5YMS/3bKcVIpYq3Be8hCrXpXfsDuZG3rlME1yu5LhdascFkCCO6 -Snqm1/ovYR14D4I+q/Czgx4zloIhUZfVlGFgFWfFfEq3Nu4QEu6PpkD2Jn2DtCBB -bWluIEJhbmRhbGkgPGFtaW5Ac2hlbXNoYWsub3JnPokCVQQTAQgAPwIbAQUJA8Jn -AAYLCQgHAwIGFQgCCQoLBBYCAwECHgECF4AWIQS+YnNzjmFtbRs6COiiGgICSIFh -AwUCXRl7wwAKCRCiGgICSIFhA9CzEACIyp19eF4aYZG4pXgT8cdFE40WFTU6iEFl -6l+m67YK5sJYolvcrVYxbMSWPsZFnqIiLowJMm3kTXSD4RfXddJlcbefmS+qsOpg -WcU1u8zIUaZblkMArzx20aJV3SX74E4+DzLSZgFOmN/XRreNE+1IqDHO7ZBMbZd4 -BPA3Vs942CUnadgPXf4aN5M9CtvaukE/rsePhaaVZBuzNoMqW9z/WzxvIbjK9BT9 -eQN6zfoCNSwmgjrlXBcRdVMUhTMeRzcAyXt5HaaRSP4vTd9DhocWQIdZndegQ1u2 -qHeMx7WD36cD2MHySm59xusZ9aAZu1grgHz1H7j/gCCqGP5Zkrtw9Eaou+2PxYxe -o6KjXiXRjLu5vBEZ04Kh1wTgzuGmRG9cNdizp54rXt/SMaooCqqJsiEmBu3SdZMV -PCRwKvr7d1flNiLUUBH6z0oMMGT/ph1yFMD3Y+K2J8IGxOsKoKpP4KctlJmT1KBe -LasdxU6L45tjAVKGvAUK6/aYv8IPdjW6yN93uA23A36LyPK16kbfUMPisdcvAkYE -zyvZrVbBP0Jot1vkeE0bXY1qOuOO/9UocNj6oQ9onotEJ0nduxM0pPGFxHyWAT02 -mUIMr1fP/c8dG5aYFJbE3uKsIKJb3P+4mXi21L4+IAPrLhBVoK6+QWe37e7cmRks -ML6UV3perrQkQW1pbiBCYW5kYWxpIDxhYmFuZGFsaUB1d2F0ZXJsb28uY2E+iQJV -BBMBCAA/AhsBBQkDwmcABgsJCAcDAgYVCAIJCgsEFgIDAQIeAQIXgBYhBL5ic3OO -YW1tGzoI6KIaAgJIgWEDBQJdGXu4AAoJEKIaAgJIgWEDr7AQAIG7jHe4DID5mp7C -GZydv2wKLP3S0mhS6bGK+cytTItvQ8ypaA99TBBzDs/yBHe6BYOyv1pORrgEyO7d -eh6Q9JMplKoSZS9ZCKO7FEZ6JZR5HtfFa/QxTojhdTRYU+3TK2KCK8SElw/vVxoc -osSI+98hgh7PKJkNT4x4o8gFpOHrkCR9uKyBmqkh8irmloa4B5/Tk3pJ49x/fzKy -ml3EWfui1/+wdLO3YFyQ8zOTCWSFczSuZuWRu7kFCzzLarK7op/yBszXmRo8l+Ka -bZJo5aBgdJImob7cHpYxIh+PGlQe0nFnnZ3EDkwdOqHAYJ/6VNwSRz0Lv9P/tRD4 -OjTZvkl/siMjWtmmOcIaAsLcU5grNwxbHzmBv1fDDg1YcuyQiF6WK8XEYvfK0M9/ -BUSF3Fy8rF8MPnfAdowW9YngOdBUxD5ko+Ah64Ef1Q5dQq1YkivgO7nWxM7z4J5Y -q2i7UQ/1d+DFB1rAN/Icr6i0XmX1/mrC8sDnD27ZbTJ6O8DtaHFDtsxBK7vpGRwF -tkGpBFredD4udXbT5U2ZWDsyTaOg67FLojpn3Z9lwd/w0UMQJfYBDHLpEJXTLh6F -EVmqz7NCkpnaE4+ichiCK7YoX5K5OoTNiqpX9mSHzpEz5eUy6wESYUXw3XgEVoRX -PB74ljSnmz4B/tbl44foi72eQ3NktBpBbWluIEJhbmRhbGkgPG1hYkBnbnUub3Jn -PokCWAQTAQgAQgIbAQUJA8JnAAYLCQgHAwIGFQgCCQoLBBYCAwECHgECF4AWIQS+ -YnNzjmFtbRs6COiiGgICSIFhAwUCXRl7ygIZAQAKCRCiGgICSIFhA0UtD/0eyPw7 -rC4/+AqS3cBSRN7POSf5AlY9J4ammBLvc6hgjnNbOPOjPtcb8Jzm0c9bqzsYnf5H -02TbbRBwVGdUD+L6HVWk76zokxMFWVy1yx1H8Q0YWR/7klnBB8e78JyFSQ7qXMLM -PxIZa4hTg7X6qPlDzdT9Es1lt5gt9fn5FTcbfncOKvuTk7q7Lnoeq7sU8fl2mK7b -BX8wi7n79ypZcXEUK6IwH3GqyWQ36z/xl43l24NTopa+UyOEXN1miTgdFFbl+y+s -AzjDOkM5bfLxsoxPEaGm0lG/dHINV9T7rWv0KuOf3RPkMuzVvU8D793T7R5lEreh -f6rB+J15LvvHguvaTmQmqPem7lpYQYpx2G0ooQvBquMuQaxiHEBISqDCPWSWuUct -mLM40ZD5OT9KVY94jFWZUGLQuL+npSBh5aib73l2V9m7rGI+G1ISVa3Me+V5nwDA -Y2RHIls9/1U8jZmfRXkB2dprsg69bSLA2cdZbhakFoXtS3RMK0GXdw6GLeJiEbJu -lfTgPFfhzuBSDS9HxCJWUJqU5vNuMDrBsaukcP94k5SPdwvWPDpiOlLZMnB2eAz7 -DkvUnANxZmGiBdfHWUncvIXf6mEU31D0s5N2nXKsIqWhzv2vCfyviGQt3iZdShs0 -PUlPEArtMo1lbkHW/q3x988pkpGvKAYCVxsTz7QrQW1pbiBCYW5kYWxpIDxhYmFu +tBpBbWluIEJhbmRhbGkgPG1hYkBnbnUub3JnPokCVQQTAQgAPwIbAQUJA8JnAAYL +CQgHAwIGFQgCCQoLBBYCAwECHgECF4AWIQS+YnNzjmFtbRs6COiiGgICSIFhAwUC +XTFTsgAKCRCiGgICSIFhAzN2D/99SZIveKk6zEyWThrXy/DtF8plkJ0Y1D5y4DMw +lvkPH+PWoe94cbr4aiipyYmb5sC6tc5VCUFDfGYaOYk72DzdZrDACU0PwMtBGFYC +ubgeCluuK/k47XQ7O0b5el5qv8G5Z/oPgEJMWXEUTdK0xPJm+yXc9ZQOWOTOpk13 +S2Td4MpUlNnT88MOjl+bdf8AsHwRiMEgtJnM481+nA2Rz9a3wDh2ITjgDyrYrLiL +hj4Eoo1TWiwYzGRMbt5L38Y9ov2+yZc1KRjyKWVDGC8XMIZn6VEHBTTIK62tkg/R +sSAef6jqamLn/+pBFbl4KG9BKaKMfwXOpFpaCZpeuZMlzchGkK7XevvZ4/8jCaxa +kIX0sALq8WlsGYdbRXw5SpFTzBi/iB0cJsEBy0YYChkhFySQDmMZeyiAovq0ylvn +7a/SRLc6HGlLGyOz2Fpr4JDEoCg8Kqy9JdPqEynLavOxS2MYmKem4IGbMQ91gsjN +wMpTalDsnfTAn0AnOf5YxF+yHc2DM6pfGMFRHdiK31cNWow/m5UFuWc5kFZxH5R0 +/JpC9ABQJKdj++6Vn9q6fUdIiDrUopnAAjLs8cLgFg+5CAXmQWqzt5PVS517YwvF +QOl779fea4NKMAcbLlKYpcT5VPLpidnYRoia5csHbb/fAwuZpbmvuoQemvsgWwHt +MHr5HrQeQW1pbiBCYW5kYWxpIDxiYW5kYWxpQGdudS5vcmc+iQJXBBMBCABBAhsB +BQkDwmcABQsJCAcCBhUKCQgLAgQWAgMBAh4BAheAFiEEvmJzc45hbW0bOgjoohoC +AkiBYQMFAl0xU7ICGQEACgkQohoCAkiBYQNp6w/+Nyvl0QLamibJlD2QSbH5QidG +FLs4PLeeclkaRz9xfddH6EbqN6J7JCwrSQL4+AN3ym/rcJUMur/oOMelLkP652Q0 +D5Yx41Z8bEbUA2QnNzfhaXlaCsm1Ae1LREx66HYKCocMLn/VycES5KNQS10GUUmI +c0hB+FrQsgfAwuMLGzF6bQbopTM5BQdMIMPDbuCga8g1mW9xCkuNDbOms+qAksHt +WsIkeiBHIEWynDyyu5JCYErxUsw4E7HFtLLCPNFNa4pEQnOY4Xi6cxZ8izuOwJnq +6HFwEGsrqE+I6cAqtBo0aCcrX9Y1yBQDwqlG5D12BRBNx7lJdzC4P5IXarua16wC +XNRhPbd/6JOvzmtQvKBZ3YzhUlozqkpuXgUoH88XkUSZU5bnn7hIzv2bfMwgyi32 +ueXycYc25nO5YiUGpFd1h4aye8vUEQgri1/IDpWAHGFXZqBg3GrH0J9k/UK1Zbuk +4YLQ/2FzpBYYRW9+Z4UgqZ9HgA0u1MVxcj65L10h77Wz0m/jyptodwgXxFN4nL9Z +hNwlkMRmhxyS0kwWyko25IFQriZOyljZ3Jvu35Hdf/OjhjQhmTziw26qD08Ue2Of +7BufEd8JilQIVyJVgji6Lrs9ppZHX7n34+n7FtzuaI54EvPwoT8BP4ubzniPj+Oa +WOG9G4OmlCkhJDam/M+JAjMEEAEIAB0WIQTN3nX5A1OOcYE82ifR+6NmJ9ZYdgUC +W8bKCgAKCRDR+6NmJ9ZYdtOSD/wMfHm98sKjuTfUDEAb58rA6v32yWBvx0BfdsqN +788P770pGZrQ7uWZdysaMRQfUOyJ883Dy6KdcoYsHPy0Dl0OiUHm9Gled5E4K8Ml +l5A9n7I9ADDJUIiPcqSTXGmnRfj5VCkAKIvdtkLH8CKJK36IkuqLhBdlZbsJ+HS5 +qn9wGoCHkckaXGvvDVu5rnwf5evygIe0eGXPDIHBc/qun+xj0jYDp5MJKLXP6N6O +09pZ774yLhjjaTRhrBQIf/28CTO+RqQajG5cTa3tFrO66+E9oKKAMt+r2Pcw7wQP +c2XQ+1znwaWuYZ6wxXGa19ZbIryaRxuQh/LW44TUX5NNgTl/5fWZ1jEJT4hwG2Oq +mVBB8/XZhbQGiQbWSHrCczs9z6bCECvEDvELo/7eRAzR61K2PDgt2k3TgwV9df/B +1oXYTcJ7RDhksd19e612eeo/MK9egcTjJVvSvZMK9VtWCQanINX2R6l4eKhTj5ew +sQKGh1l/Ipt+wseW4mEAlAbCi3pq+TKWsGqKHKo6o2zd83ar47BDMzfQYP4IAVc4 ++wZhUY3WrJ9z9W69L/bUbS+WDEv92ynFSKWKtwXvIQq16V37A7mRt65TBNcruS4X +WrHBZAgjukp6ptf6L2EdeA+CPqvws4MeM5aCIVGX1ZRhYBVnxXxKtzbuEBLuj6ZA +9iZ9g7QgQW1pbiBCYW5kYWxpIDxhbWluQHNoZW1zaGFrLm9yZz6JAlUEEwEIAD8C +GwEFCQPCZwAGCwkIBwMCBhUIAgkKCwQWAgMBAh4BAheAFiEEvmJzc45hbW0bOgjo +ohoCAkiBYQMFAl0Ze8MACgkQohoCAkiBYQPQsxAAiMqdfXheGmGRuKV4E/HHRRON +FhU1OohBZepfpuu2CubCWKJb3K1WMWzElj7GRZ6iIi6MCTJt5E10g+EX13XSZXG3 +n5kvqrDqYFnFNbvMyFGmW5ZDAK88dtGiVd0l++BOPg8y0mYBTpjf10a3jRPtSKgx +zu2QTG2XeATwN1bPeNglJ2nYD13+GjeTPQrb2rpBP67Hj4WmlWQbszaDKlvc/1s8 +byG4yvQU/XkDes36AjUsJoI65VwXEXVTFIUzHkc3AMl7eR2mkUj+L03fQ4aHFkCH +WZ3XoENbtqh3jMe1g9+nA9jB8kpufcbrGfWgGbtYK4B89R+4/4Agqhj+WZK7cPRG +qLvtj8WMXqOio14l0Yy7ubwRGdOCodcE4M7hpkRvXDXYs6eeK17f0jGqKAqqibIh +Jgbt0nWTFTwkcCr6+3dX5TYi1FAR+s9KDDBk/6YdchTA92PitifCBsTrCqCqT+Cn +LZSZk9SgXi2rHcVOi+ObYwFShrwFCuv2mL/CD3Y1usjfd7gNtwN+i8jytepG31DD +4rHXLwJGBM8r2a1WwT9CaLdb5HhNG12Najrjjv/VKHDY+qEPaJ6LRCdJ3bsTNKTx +hcR8lgE9NplCDK9Xz/3PHRuWmBSWxN7irCCiW9z/uJl4ttS+PiAD6y4QVaCuvkFn +t+3u3JkZLDC+lFd6Xq60JEFtaW4gQmFuZGFsaSA8YWJhbmRhbGlAdXdhdGVybG9v +LmNhPokCVQQTAQgAPwIbAQUJA8JnAAYLCQgHAwIGFQgCCQoLBBYCAwECHgECF4AW +IQS+YnNzjmFtbRs6COiiGgICSIFhAwUCXRl7uAAKCRCiGgICSIFhA6+wEACBu4x3 +uAyA+Zqewhmcnb9sCiz90tJoUumxivnMrUyLb0PMqWgPfUwQcw7P8gR3ugWDsr9a +Tka4BMju3XoekPSTKZSqEmUvWQijuxRGeiWUeR7XxWv0MU6I4XU0WFPt0ytigivE +hJcP71caHKLEiPvfIYIezyiZDU+MeKPIBaTh65AkfbisgZqpIfIq5paGuAef05N6 +SePcf38ysppdxFn7otf/sHSzt2BckPMzkwlkhXM0rmblkbu5BQs8y2qyu6Kf8gbM +15kaPJfimm2SaOWgYHSSJqG+3B6WMSIfjxpUHtJxZ52dxA5MHTqhwGCf+lTcEkc9 +C7/T/7UQ+Do02b5Jf7IjI1rZpjnCGgLC3FOYKzcMWx85gb9Xww4NWHLskIhelivF +xGL3ytDPfwVEhdxcvKxfDD53wHaMFvWJ4DnQVMQ+ZKPgIeuBH9UOXUKtWJIr4Du5 +1sTO8+CeWKtou1EP9XfgxQdawDfyHK+otF5l9f5qwvLA5w9u2W0yejvA7WhxQ7bM +QSu76RkcBbZBqQRa3nQ+LnV20+VNmVg7Mk2joOuxS6I6Z92fZcHf8NFDECX2AQxy +6RCV0y4ehRFZqs+zQpKZ2hOPonIYgiu2KF+SuTqEzYqqV/Zkh86RM+XlMusBEmFF +8N14BFaEVzwe+JY0p5s+Af7W5eOH6Iu9nkNzZLQrQW1pbiBCYW5kYWxpIDxhYmFu ZGFsaUBjc2NsdWIudXdhdGVybG9vLmNhPokCPgQTAQIAKAUCXRlhYQIbAQUJA8Jn AAYLCQgHAwIGFQgCCQoLBBYCAwECHgECF4AACgkQohoCAkiBYQPfKA/+LC6UP28G SL42r8WA3XMKdOxFOtYu9hQPkpM27kAG28sSe8b8oetQ16bz+lJKIOz3++cr7nzG @@ -170,5 +170,5 @@ EsLPI3BH+xItHd2V+fva+WxZp7c9DijS3IWQeAsbkNomdlRGu3/xlzu2SzSfMTyT pAGBeHKzOO0n7zumBmS7GyXN8lNZdEMe/UIN6BjtTV86cAS4enPUR3UyomEXqeRQ fcMMSRHd+pWpUEVVMyzrHjW2yNF1uLc8nOLqv8QVcJJLlMfkAYRlay65P9XTO4So G15cCGeB8QmyC/QBxg== -=FPUh +=+Y0z -----END PGP PUBLIC KEY BLOCK----- diff --git a/contact.html b/contact.html index 1c199ce..826efa5 100644 --- a/contact.html +++ b/contact.html @@ -39,8 +39,8 @@ fediverse - - aminb@pleroma.site + + @bandali@pleroma.site diff --git a/gpg.html b/gpg.html index 6ea46c1..6494771 100644 --- a/gpg.html +++ b/gpg.html @@ -16,8 +16,8 @@ 
 pub   rsa4096 2018-10-17 [C] [expires: 2020-10-16]
       BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103
-uid           [ultimate] Amin Bandali <mab@gnu.org>
 uid           [ultimate] Amin Bandali <bandali@gnu.org>
+uid           [ultimate] Amin Bandali <mab@gnu.org>
 uid           [ultimate] Amin Bandali <amin@shemshak.org>
 uid           [ultimate] Amin Bandali <abandali@uwaterloo.ca>
 uid           [ultimate] Amin Bandali <abandali@csclub.uwaterloo.ca>
diff --git a/index.html b/index.html
index d6c0d3b..5914a65 100644
--- a/index.html
+++ b/index.html
@@ -33,7 +33,7 @@
         
         
           gnu
-          mab@gnu.org
+          bandali@gnu.org
           sv.gnu.org/u/bandali
         
       
-- 
2.20.1


From 75f48cba64ee470ae5a537c88f2e1d76a7ec27ba Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Fri, 19 Jul 2019 10:36:19 -0400
Subject: [PATCH 02/16] update accounts

---
 contact.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contact.html b/contact.html
index 826efa5..5891826 100644
--- a/contact.html
+++ b/contact.html
@@ -58,11 +58,11 @@
       
  • bandali on Lobsters
    • 
       
  • bandali on Hackage
    • 
       
  • bandali on GitLab
    • 
-      
  • bandali on Keybase
    • 
       
  • bandali on HN
    • 
+      
  • bandali on Keybase
    • 
       
  • bandali on reddit
    • 
       
  • aminb on reddit
    • 
-      
  • mabgnu on GitHub
    • 
+      
  • aminbandali on GitHub
    • 
       
  • mabgnu on Twitter
    • 
     
   
-- 
2.20.1


From c91b7e59c88c7f9dfb54057cc700ff6381b4ff05 Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Sat, 20 Jul 2019 09:41:45 -0400
Subject: [PATCH 03/16] update twttr handle

---
 contact.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contact.html b/contact.html
index 5891826..b80b4a9 100644
--- a/contact.html
+++ b/contact.html
@@ -63,7 +63,7 @@
       
  • bandali on reddit
    • 
       
  • aminb on reddit
    • 
       
  • aminbandali on GitHub
    • 
-      
  • mabgnu on Twitter
    • 
+      
  • bandaliamin on Twitter
    • 
     
   
 
-- 
2.20.1


From ef72be3ee52390f8929973262b4c1a114c828b04 Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Tue, 30 Jul 2019 20:55:42 -0400
Subject: [PATCH 04/16] start next iteration of the site, now available at
 bandalis.org

---
 contact.html | 147 ++++++++++++++++++++++-------------------
 deploy       |   2 +-
 gpg.html     |  39 -----------
 index.html   | 183 +++++++++++++--------------------------------------
 style.css    | 114 ++++++++++++++++++++++----------
 5 files changed, 205 insertions(+), 280 deletions(-)
 delete mode 100644 gpg.html

diff --git a/contact.html b/contact.html
index b80b4a9..3c5bbf5 100644
--- a/contact.html
+++ b/contact.html
@@ -1,70 +1,81 @@
-
-
-Contact - Amin Bandali
-
-
-
    
-  
    
-    
    Contact
    
-    
    
-      Email is my preferred method of communication.  Feel free to
-      write to me at any of the addresses listed on either of my
-      home or gpg
-      pages.  Besides email, you could also try reaching me via
-    
    
+
+
+  
+    
+    
+    bandali's contact info
+    
+    
+  
+  
+    
    
+      
    bandali's
    
+      
    contact info
    
+    
    
+    
    
+      
    
+        
    
+          email is by far my preferred method of communication.  i may
+          be contacted at bandali at gnu dot org.
+          if you want to send me gpg-encrypted mail, you can use my
+          public key with the
+          fingerprint BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103.
+        
    
 
-    
-      
-        
-          
-          
-        
-        
-          
-          
-        
-        
-          
-          
-        
-        
-          
-          
-        
-      
-    
    irc
-            bandali on
-            freenode and
-            moznet
-          
    xmpp
-            bandali@member.fsf.org
-          
    matrix
-            @bandali:matrix.org
-          
    fediverse
-            @bandali@pleroma.site
-          
    
+        
+          
+            
+              
+              
+            
+            
+              
+              
+            
+            
+              
+              
+            
+            
+              
+              
+            
+          
+        
    irc
+                bandali on
+                freenode and
+                moznet
+              
    xmpp
+                bandali@member.fsf.org
+              
    matrix
+                @bandali:matrix.org
+              
    fediverse
+                @bandali@pleroma.site
+              
    
 
-    
    
-      You can also find me at a few other places online.  Stricken
-      through accounts are those I don’t use anymore, unless
-      absolutely necessary.
-    
    
-    
-  
    
-
    
-
+        
    elsewhere
    
+        
    
+          you may also find me at a few other places online.  stricken
+          through accounts are those i don’t use anymore, unless
+          absolutely necessary.
+        
    
+        
+      
+    
+  
+
diff --git a/deploy b/deploy
index d158857..1aba274 100755
--- a/deploy
+++ b/deploy
@@ -5,4 +5,4 @@ deploy=amin@shemshak.org
 rsync --exclude-from='.rsync-exclude' \
       --delete \
       -avzP \
-      ./ ${deploy}:~/www/
+      ./ ${deploy}:/var/www/bandalis.org/
diff --git a/gpg.html b/gpg.html
deleted file mode 100644
index 6494771..0000000
--- a/gpg.html
+++ /dev/null
@@ -1,39 +0,0 @@
-
-
-GPG Key - Amin Bandali
-
-
-
    
-  
    
-    
    GPG Key
    
-    
    
-      If you want to send me GPG-encrypted mail, you can use my
-      current key:
-    
    
-    
    -pub   rsa4096 2018-10-17 [C] [expires: 2020-10-16]
-      BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103
-uid           [ultimate] Amin Bandali <bandali@gnu.org>
-uid           [ultimate] Amin Bandali <mab@gnu.org>
-uid           [ultimate] Amin Bandali <amin@shemshak.org>
-uid           [ultimate] Amin Bandali <abandali@uwaterloo.ca>
-uid           [ultimate] Amin Bandali <abandali@csclub.uwaterloo.ca>
-sub   rsa4096 2018-10-17 [S] [expires: 2020-10-16]
-      39B3 3C8D 9448 0D2D DCC2  A498 8B44 A0CD C7B9 56F2
-sub   rsa4096 2018-10-17 [E] [expires: 2020-10-16]
-      43ED 5F7C F5EC CBDF 2552  FE98 1D52 D14E BCF3 BE08
-sub   rsa4096 2018-10-17 [A] [expires: 2020-10-16]
-      70FB 9AAD 5240 2841 2B14  8685 4040 DFEC 6EC1 3F3A
-    
    
-
-    
    
-      You may find other keys with my name on keyservers or around
-      the internet, but they are either old keys of mine that I no
-      longer have access to, or not mine at all.
-    
    
-  
    
-
    
-
diff --git a/index.html b/index.html
index 5914a65..3df0293 100644
--- a/index.html
+++ b/index.html
@@ -1,139 +1,44 @@
-
-
-Amin Bandali
-
-
-
    
-  
    
-    
    Contact
    
-    
-      
-        
-          
-          
-          
-        
-        
-          
-          
-          
-        
-        
-          
-          
-          
-        
-        
-          
-          
-        
-      
-    
    emailprojects
    academicabandali@uwaterloo.cagit.uwaterloo.ca/abandali
    personalamin@shemshak.org
-            shemshak
-            |
-            sourcehut
-          
    gnubandali@gnu.org
-          sv.gnu.org/u/bandali
    
-    
    
-      See my contact and
-      gpg pages for more details.
-    
    
-  
    
-
-  
    
-    
    Research interests
    
-    
    
-      The main goal of my research is improving
-      software reliability
-      through application of formal methods.
-    
    
-
-    
    
-      My current research at WatForm
-      focuses on formal logic, model checking, and verification.
-      Specifically, I am working on various optimizations aiming to
-      improve the analysis performance of the Alloy Analyzer on
-      models.
-    
    
-
-    
    
-      I am also interested in programming languages, type systems, and
-      interactive theorem proving.
-    
    
-
-    
    
-      You may wish to view my academic curriculum vitae.
-    
    
-  
    
-
-  
    
-    
    Publications
    
-    
    
-      
    
-        A Comparison of the Declarative Modelling
-          Languages B, Dash, and TLA+
-        (pdf,
-        bib,
-        doi,
-        models)
-      
    
-      
    
-        Ali Abbassi, Amin Bandali, Nancy A. Day,
-        and Jose Serna
-      
    
-      
    
-        2018 IEEE 8th International Model-Driven Requirements
-          Engineering Workshop (MoDRE)
-      
    
-    
    
-    
-  
    
-
-  
    
-    
    Presentations
    
-    
    
-      
    
-        The Magic of Specifications and Type Systems
-      
    
-      
    
-        Amin Bandali, Simon Hudon, Jonathan Ostroff
-      
    
-      
    Slides
-        presented at
-        CUCSC 2017,
-        University of Toronto, Canada, June 15-17, 2017.
-      
    
-      
    
-        Poster presented at
-        Lassonde USSR Conference,
-        York University, Toronto, Canada, August 15, 2017.
-      
    
-    
    
-  
    
-
-  
    
-    
    Writings
    
-    
    
-      
    Will be added soon.
    
-      
-    
    
-  
    
-
-  
    
-    
    Other interests
    
-    
    
-      On the side, I dabble in Lean
-      and enjoy hacking on
-      Emacs Lisp.
-      I’m also a free software
-      and copyleft
-      activist, a volunteer webmaster
-      for the GNU project, and a co-host of the Emacs.el podcast.
-    
    
-  
    
-
    
-
+
+
+  
+    
+    
+    Amin Bandali's Personal Site
+    
+    
+  
+  
+    
    
+      
    bandali's
    
+      
    corner on the interwebs
    
+    
    
+    
    
+      
    academia
    
+      
    
+        
+      
    
+    
    
+    
    
+      
    personal
    
+      
    
+        
+      
    
+    
    
+  
+
diff --git a/style.css b/style.css
index 511fd6f..e5d2862 100644
--- a/style.css
+++ b/style.css
@@ -1,41 +1,89 @@
+/* for old browsers */
+article, aside, footer, header, nav, section {
+  display: block;
+}
+
 body {
-  padding: 1rem 5%;
-  line-height: 1.45;
+  font-family: FreeSans, sans-serif;
+  padding: 1em;
+}
+
+body > header {
+  margin-bottom: 2em !important;
+}
+#title {
+  font-size: 2.1em;
+  font-weight: normal;
+  margin-bottom: 0;
+}
+#title:after {
+  content: ".org";
+  color: #dadada;
 }
-header {text-align: center}
-header, section {margin-bottom: 1.7rem}
-#sub {
+#subtitle {
+  display: inline;
+  font-weight: normal;
+  font-size: 1.2em;
   color: #444;
-  font-size: 0.9rem;
-  position: relative;
-  top: -0.75rem;
-}
-main {
-  min-width: 30rem;
-  max-width: 50rem;
-  padding-bottom: 1rem;
-}
-td {padding: 0 0.25rem}
-dl {margin-left: 2.5rem}
-#contact {margin-bottom: 0}
-code {font-size: 14px}
-a:link {
-  color: #004caa;
-  text-decoration: none;
-  border-bottom: 1px solid #ddd;
 }
-a:hover {
-  background-color: #004caa;
-  color: #ffffff;
+
+a {
+  text-decoration: none;
+  outline: 0;
 }
-.btable th {
+
+article h3 {
+  font-weight: normal;
   color: #777;
-  text-align: center;
-  font-size: 0.9em;
+}
+
+code {
+  font-size: 1.15em;
+}
+
+table td {
+  padding: 0 0.3em;
+}
+table td:first-child {
+  padding-left: 0;
+}
+table td:last-child {
+  padding-right: 0
+}
+
+nav ul {
+  list-style-type: none;
+  padding: 0;
+}
+nav li {
+  display: inline;
+}
+nav li:after {
+  content: "\00a0\00b7";
+}
+nav li:last-child:after {
+  content: "";
+}
+
+section {
+  position: relative;
+}
+section > h3 {
+  position: absolute;
+  right: 75%;
+  width: 25%;
+  margin: 0;
+  padding: 0 1em 0 0; /* 1.75 */
   font-weight: normal;
+  font-size: 1em;
+  text-align: right;
+  white-space: nowrap;
+}
+section > .section, article > .section, body > header {
+  position: relative;
+  left: 25%;
+  width: 50%;
+  margin: 0;
+  padding: 0;
+  max-width: 38em;
 }
-.btable td {padding: 0 0.3rem}
-.btable td:first-child {padding-left: 0}
-.btable td:last-child {padding-right: 0}
-#theses {padding-left: 1rem}
-h1, h2, h3, h4, h5 {line-height: 1.15}
-- 
2.20.1


From 9998ccd03444e45e42238fa7e01099da1d5a6247 Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Tue, 30 Jul 2019 23:42:55 -0400
Subject: [PATCH 05/16] simplify and use css grids

many thanks to ddevault for the help :)
---
 contact.html | 20 +++++++++++---------
 index.html   | 22 ++++++++++------------
 style.css    | 45 ++++++++++++++++++++++++++-------------------
 3 files changed, 47 insertions(+), 40 deletions(-)

diff --git a/contact.html b/contact.html
index 3c5bbf5..6741c69 100644
--- a/contact.html
+++ b/contact.html
@@ -10,12 +10,12 @@
     
   
   
-    
    
-      
    bandali's
    
-      
    contact info
    
-    
    
-    
    
-      
    
+    
    
+      
    
+        
    bandali's
    
+        
    contact info
    
+      
    
+      
    
         
    
           email is by far my preferred method of communication.  i may
           be contacted at bandali at gnu dot org.
@@ -54,8 +54,10 @@
             
           
         
+      
    
 
-        
    elsewhere
    
+      
    elsewhere
    
+      
    
         
    
           you may also find me at a few other places online.  stricken
           through accounts are those i don’t use anymore, unless
@@ -75,7 +77,7 @@
           
  • notbandali on github
    • 
           
  • notbandali on twitter
    • 
         
-      
    
-    
    
+      
+    
   
 
diff --git a/index.html b/index.html
index 3df0293..e0efc13 100644
--- a/index.html
+++ b/index.html
@@ -11,13 +11,13 @@
     
   
   
-    
    
-      
    bandali's
    
-      
    corner on the interwebs
    
-    
    
-    
    
+    
    
+      
    
+        
    bandali's
    
+        
    corner on the interwebs
    
+      
    
       
    academia
    
-      
    
+      
    
         
-      
    
-    
    
-    
    
+      
    
       
    personal
    
-      
    
+      
    
         
-      
    
-    
+      
+    
   
 
diff --git a/style.css b/style.css
index e5d2862..9d3f78e 100644
--- a/style.css
+++ b/style.css
@@ -8,6 +8,11 @@ body {
   padding: 1em;
 }
 
+main {
+  margin: auto;
+  max-width: 38em;
+}
+
 body > header {
   margin-bottom: 2em !important;
 }
@@ -65,25 +70,27 @@ nav li:last-child:after {
   content: "";
 }
 
-section {
-  position: relative;
-}
-section > h3 {
-  position: absolute;
-  right: 75%;
-  width: 25%;
-  margin: 0;
-  padding: 0 1em 0 0; /* 1.75 */
-  font-weight: normal;
-  font-size: 1em;
+main {
+  display: grid;
+  grid-template-columns: auto 38em auto;
+  grid-gap: 1em;
+}
+
+main > h3 {
+  grid-column: 1;
   text-align: right;
-  white-space: nowrap;
+  font-size: 1em;
+  font-weight: normal;
 }
-section > .section, article > .section, body > header {
-  position: relative;
-  left: 25%;
-  width: 50%;
-  margin: 0;
-  padding: 0;
-  max-width: 38em;
+
+main > header, main > section {
+  grid-column: 2;
+}
+
+main > h3:first-of-type, section:first-of-type > p, section:first-of-type ul {
+  margin-bottom: 0;
+}
+
+main > h3:last-of-type, section:last-of-type > p, section:last-of-type ul {
+  margin-top: 0;
 }
-- 
2.20.1


From d32c4bec50aa194beba44eb1123f2141a58b58cf Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Wed, 31 Jul 2019 00:00:52 -0400
Subject: [PATCH 06/16] fix some spacing issues

---
 style.css | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/style.css b/style.css
index 9d3f78e..c6d59fc 100644
--- a/style.css
+++ b/style.css
@@ -13,9 +13,10 @@ main {
   max-width: 38em;
 }
 
-body > header {
-  margin-bottom: 2em !important;
+main > header {
+  margin-bottom: 1em;
 }
+
 #title {
   font-size: 2.1em;
   font-weight: normal;
@@ -73,7 +74,8 @@ nav li:last-child:after {
 main {
   display: grid;
   grid-template-columns: auto 38em auto;
-  grid-gap: 1em;
+  grid-column-gap: 1.5em;
+  grid-row-gap: 1em;
 }
 
 main > h3 {
@@ -87,10 +89,10 @@ main > header, main > section {
   grid-column: 2;
 }
 
-main > h3:first-of-type, section:first-of-type > p, section:first-of-type ul {
+main > h3, ul:first-child {
+  margin-top: 0;
   margin-bottom: 0;
 }
-
-main > h3:last-of-type, section:last-of-type > p, section:last-of-type ul {
+p:first-child {
   margin-top: 0;
 }
-- 
2.20.1


From f1fac75843e5b818f2d6f9aeda772a155cce0d8a Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Wed, 31 Jul 2019 00:23:47 -0400
Subject: [PATCH 07/16] add custom 404 page

---
 404.html | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 404.html

diff --git a/404.html b/404.html
new file mode 100644
index 0000000..2f885fc
--- /dev/null
+++ b/404.html
@@ -0,0 +1,22 @@
+
+
+  
+    
+    
+    404 not found
+    
+  
+  
+    
    
+      
    
+        
    bandali's
    
+        
    gone fishing
    
+      
    
+      
    
+        
    
+          you should probably go home.
+        
    
+      
    
+    
    
+  
+
-- 
2.20.1


From 737aed007b35c70cd3d1b6c3271f99ce91555b48 Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Wed, 31 Jul 2019 00:41:32 -0400
Subject: [PATCH 08/16] adjust line-height

---
 style.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/style.css b/style.css
index c6d59fc..86cf7ea 100644
--- a/style.css
+++ b/style.css
@@ -5,6 +5,7 @@ article, aside, footer, header, nav, section {
 
 body {
   font-family: FreeSans, sans-serif;
+  line-height: 1.4;
   padding: 1em;
 }
 
-- 
2.20.1


From 4ad3138c4814ad02d9101676e95d436adb00818d Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Wed, 31 Jul 2019 09:40:17 -0400
Subject: [PATCH 09/16] add blurb about me to front page

---
 index.html | 24 ++++++++++++++++++++++++
 style.css  |  3 +++
 2 files changed, 27 insertions(+)

diff --git a/index.html b/index.html
index e0efc13..2bdb4b8 100644
--- a/index.html
+++ b/index.html
@@ -16,6 +16,14 @@
         
    bandali's
    
         
    corner on the interwebs
    
       
+      
    
+        
    
+          hi, i'm
+          amin bandali,
+          often just bandali around the web.
+        
    
+      
    
       
    academia
    
       
    
         
+        
    
+          i'm a graduate student at watform
+          at university of waterloo, supervised by
+          dr. nancy day.
+          my research at watform focuses on formal logic, model
+          checking, and verification.  see my research interests link
+          above for more details.
+        
    
       
    
       
    personal
    
       
    
@@ -36,6 +52,14 @@
             
  • contact
    • 
           
         
+        
    
+          i’m a free software
+          and copyleft activist,
+          an fsf associate member,
+          and a gnu webmaster
+          and volunteer.  i co-host the emacs.el podcast,
+          and i'm organizing emacsconf 2019 this fall.
+        
    
       
    
     
   
diff --git a/style.css b/style.css
index 86cf7ea..af0562d 100644
--- a/style.css
+++ b/style.css
@@ -97,3 +97,6 @@ main > h3, ul:first-child {
 p:first-child {
   margin-top: 0;
 }
+p:last-child {
+  margin-bottom: 0;
+}
-- 
2.20.1


From 127617a6b45979c4634530c801346cd6f4e19051 Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Wed, 31 Jul 2019 11:03:11 -0400
Subject: [PATCH 10/16] =?utf8?q?write=20in=20=E2=80=9Cnormal=E2=80=9D=20ca?=
 =?utf8?q?pitalization,=20but=20apply=20lowercase=20text-transform?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

after some thoughts, i think this is the best way to go about it.  as
much as i enjoy writing lowercase, others reading my site may not.
this way, they’ll have the option to disable the lowercase transform
using an addon like Stylish.

there’s also the accessibility concern with screen readers.
---
 contact.html | 42 +++++++++++++++++++++---------------------
 index.html   | 46 +++++++++++++++++++++++-----------------------
 style.css    |  2 ++
 3 files changed, 46 insertions(+), 44 deletions(-)

diff --git a/contact.html b/contact.html
index 6741c69..0de1de1 100644
--- a/contact.html
+++ b/contact.html
@@ -13,13 +13,13 @@
     
    
       
    
         
    bandali's
    
-        
    contact info
    
+        
    Contact info
    
       
    
       
    
         
    
-          email is by far my preferred method of communication.  i may
+          Email is by far my preferred method of communication.  I may
           be contacted at bandali at gnu dot org.
-          if you want to send me gpg-encrypted mail, you can use my
+          If you want to send me GPG-encrypted mail, you can use my
           public key with the
           fingerprint BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103.
         
    
@@ -27,7 +27,7 @@
         
-              
+              
-              
+              
-              
+              
-              
+              
@@ -56,26 +56,26 @@
         
    
           
             
    ircIRC
               
                 bandali on
                 freenode and
@@ -35,19 +35,19 @@
               
             
    
             
    xmppXMPP
               
                 bandali@member.fsf.org
               
             
    
             
    matrixMatrix
               
                 @bandali:matrix.org
               
             
    
             
    fediverseFediverse
               
                 @bandali@pleroma.site
               
    
       
    
 
-      
    elsewhere
    
+      
    Elsewhere
    
       
    
         
    
-          you may also find me at a few other places online.  stricken
-          through accounts are those i don’t use anymore, unless
+          You may also find me at a few other places online.  Stricken
+          through accounts are those I don't use anymore, unless
           absolutely necessary.
         
    
         
       
    
     
    
diff --git a/index.html b/index.html
index 2bdb4b8..c04a655 100644
--- a/index.html
+++ b/index.html
@@ -14,51 +14,51 @@
     
    
       
    
         
    bandali's
    
-        
    corner on the interwebs
    
+        
    Corner on the interwebs
    
       
    
       
    
         
    
-          hi, i'm
+          Hi, I'm
           amin bandali,
+             title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali,
           often just bandali around the web.
         
    
       
    
-      
    academia
    
+      
    Academia
    
       
    
         
         
    
-          i'm a graduate student at watform
-          at university of waterloo, supervised by
-          dr. nancy day.
-          my research at watform focuses on formal logic, model
-          checking, and verification.  see my research interests link
+          I'm a graduate student at WatForm
+          at University of Waterloo, supervised by
+          Dr. Nancy Day.
+          My research at WatForm focuses on formal logic, model
+          checking, and verification.  See my research interests link
           above for more details.
         
    
       
    
-      
    personal
    
+      
    Personal
    
       
    
         
         
    
-          i’m a free software
-          and copyleft activist,
-          an fsf associate member,
-          and a gnu webmaster
-          and volunteer.  i co-host the emacs.el podcast,
-          and i'm organizing emacsconf 2019 this fall.
+          I’m a Free Software
+          and Copyleft activist,
+          an FSF associate member,
+          and a GNU webmaster
+          and volunteer.  I co-host the Emacs.el podcast,
+          and I'm organizing EmacsConf 2019 this fall.
         
    
       
    
     
    
diff --git a/style.css b/style.css
index af0562d..baeed6b 100644
--- a/style.css
+++ b/style.css
@@ -5,6 +5,7 @@ article, aside, footer, header, nav, section {
 
 body {
   font-family: FreeSans, sans-serif;
+  text-transform: lowercase;
   line-height: 1.4;
   padding: 1em;
 }
@@ -46,6 +47,7 @@ article h3 {
 
 code {
   font-size: 1.15em;
+  text-transform: none;
 }
 
 table td {
-- 
2.20.1


From 1c986cd7696871d5691aec94d1c18896297aae8d Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Wed, 31 Jul 2019 16:45:42 -0400
Subject: [PATCH 11/16] be more or less consistant with curly quotes

---
 contact.html | 6 +++---
 index.html   | 8 ++++----
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/contact.html b/contact.html
index 0de1de1..ca3f68e 100644
--- a/contact.html
+++ b/contact.html
@@ -6,13 +6,13 @@
     bandali's contact info
     
+      content="Amin Bandali's contact information" />
     
   
   
     
    
       
    
-        
    bandali's
    
+        
    bandali’s
    
         
    Contact info
    
       
    
       
    
@@ -60,7 +60,7 @@
       
    
         
    
           You may also find me at a few other places online.  Stricken
-          through accounts are those I don't use anymore, unless
+          through accounts are those I don’t use anymore, unless
           absolutely necessary.
         
    
         
      
diff --git a/index.html b/index.html
index c04a655..ce6d533 100644
--- a/index.html
+++ b/index.html
@@ -13,12 +13,12 @@
   
     
      
       
      
-        
      bandali's
      
+        
      bandali’s
      
         
      Corner on the interwebs
      
       
      
       
      
         
      
-          Hi, I'm
+          Hi, I’m
           Amin Bandali,
           often just bandali around the web.
@@ -34,7 +34,7 @@
           
    
         
         
    
-          I'm a graduate student at WatForm
+          I’m a graduate student at WatForm
           at University of Waterloo, supervised by
           Dr. Nancy Day.
           My research at WatForm focuses on formal logic, model
@@ -58,7 +58,7 @@
           an FSF associate member,
           and a GNU webmaster
           and volunteer.  I co-host the Emacs.el podcast,
-          and I'm organizing EmacsConf 2019 this fall.
+          and I’m organizing EmacsConf 2019 this fall.
         
    
       
    
     
    
-- 
2.20.1


From afae466b8a0e3bdbc7792f6931026e9883ac592c Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Mon, 5 Aug 2019 00:04:11 -0400
Subject: [PATCH 12/16] make main narrower

---
 contact.html | 4 +++-
 style.css    | 3 +--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/contact.html b/contact.html
index ca3f68e..694c6b1 100644
--- a/contact.html
+++ b/contact.html
@@ -21,7 +21,9 @@
           be contacted at bandali at gnu dot org.
           If you want to send me GPG-encrypted mail, you can use my
           public key with the
-          fingerprint BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103.
+          fingerprint
    
+          
+            BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103.
         
    
 
         
diff --git a/style.css b/style.css
index baeed6b..c4c2594 100644
--- a/style.css
+++ b/style.css
@@ -12,7 +12,6 @@ body {
 
 main {
   margin: auto;
-  max-width: 38em;
 }
 
 main > header {
@@ -76,7 +75,7 @@ nav li:last-child:after {
 
 main {
   display: grid;
-  grid-template-columns: auto 38em auto;
+  grid-template-columns: auto 32em auto;
   grid-column-gap: 1.5em;
   grid-row-gap: 1em;
 }
-- 
2.20.1


From cc996fd29fdce36be099c1c832b4d005ca12efcd Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Mon, 5 Aug 2019 00:04:41 -0400
Subject: [PATCH 13/16] add wip cv and research interests pages

---
 cv.html       | 69 +++++++++++++++++++++++++++++++++++++++++++++++++++
 index.html    |  2 +-
 research.html | 40 +++++++++++++++++++++++++++++
 3 files changed, 110 insertions(+), 1 deletion(-)
 create mode 100644 cv.html
 create mode 100644 research.html

diff --git a/cv.html b/cv.html
new file mode 100644
index 0000000..9320a1d
--- /dev/null
+++ b/cv.html
@@ -0,0 +1,69 @@
+
+
+  
+    
+    
+    bandali's curriculum vitae
+    
+    
+  
+  
+    
    
+      
    
+        
    bandali’s
    
+        
    Curriculum Vitae (PDF)
    
+      
    
+      
    
+        
+        
    
+          
+            
+              
+              
+            
+            
+              
+              
+            
+            
+              
+              
+            
+          
+        
    Sitebandalis.org
    Emailabandali at uwaterloo dot ca
    Phoneavailable upon request via email
    
+      
+
+      
    
+        
    Education
    
+        
    Master of Mathematics (Computer Science) | 2018-present
    
+        
    University of Waterloo, Canada
    
+        
    
+          Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019
+        
    
+        
    
+          Research focusing on formal logic, model checking, and verification.
+        
    
+
+        
    B.Sc. Honours Computer Science | 2013-2017
    
+        
    York University, Toronto, Canada
    
+        
    GPA: 7.84/9.0
    
+        
    
+           Relevant courses: System Specification & Refinement, Software Requirements Eng., Software
+           Design, Operating Systems, Computational Complexity, Design & Analysis of Algorithms.
+        
    
+        
    
+          Finished first year (2013-14) at Carleton University with a GPA of 11.0/12.0, then
+          transferred to York University in fall 2014.
+        
    
+      
    
+      
    
+        
    Publications
    
+        
    See my publications page.
+      
    
+    
+  
+
diff --git a/index.html b/index.html
index ce6d533..46b9dc3 100644
--- a/index.html
+++ b/index.html
@@ -30,7 +30,7 @@
           
         
         
    
diff --git a/research.html b/research.html
new file mode 100644
index 0000000..c3e1a05
--- /dev/null
+++ b/research.html
@@ -0,0 +1,40 @@
+
+
+  
+    
+    
+    bandali's research interests
+    
+    
+  
+  
+    
    
+      
    
+        
    bandali’s
    
+        
    Research interests
    
+      
    
+      
    
+        
    
+          The main goal of my research is improving
+          software reliability
+          through application of formal methods.
+        
    
+
+        
    
+          My current research
+          at WatForm
+          focuses on formal logic, model checking, and verification.
+          I am also interested in programming languages, type systems,
+          and interactive theorem proving.
+        
    
+
+        
    
+          You may wish to view my
+          academic curriculum vitae.
+        
    
+      
    
+    
    
+  
+
-- 
2.20.1


From ea846b4148e862d082b96219ec8e7b129808e2f6 Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Wed, 14 Aug 2019 00:52:25 -0400
Subject: [PATCH 14/16] use bandali.eu.org

---
 404.html      | 4 ++--
 contact.html  | 2 +-
 cv.html       | 4 ++--
 deploy        | 2 +-
 index.html    | 4 ++--
 research.html | 2 +-
 style.css     | 2 +-
 7 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/404.html b/404.html
index 2f885fc..62bcb5a 100644
--- a/404.html
+++ b/404.html
@@ -9,8 +9,8 @@
   
     
    
       
    
-        
    bandali's
    
-        
    gone fishing
    
+        
    bandali
    
+        
    404 gone fishing
    
       
    
       
    
         
    
diff --git a/contact.html b/contact.html
index 694c6b1..1777348 100644
--- a/contact.html
+++ b/contact.html
@@ -12,7 +12,7 @@
   
     
    
       
    
-        
    bandali’s
    
+        
    bandali
    
         
    Contact info
    
       
    
       
    
diff --git a/cv.html b/cv.html
index 9320a1d..a8cce69 100644
--- a/cv.html
+++ b/cv.html
@@ -12,7 +12,7 @@
   
     
    
       
    
-        
    bandali’s
    
+        
    bandali
    
         
    Curriculum Vitae (PDF)
    
       
    
       
    
@@ -23,7 +23,7 @@
           
             
               Site
-              bandalis.org
+              bandali.eu.org
             
             
               Email
diff --git a/deploy b/deploy
index 1aba274..2ae899e 100755
--- a/deploy
+++ b/deploy
@@ -5,4 +5,4 @@ deploy=amin@shemshak.org
 rsync --exclude-from='.rsync-exclude' \
       --delete \
       -avzP \
-      ./ ${deploy}:/var/www/bandalis.org/
+      ./ ${deploy}:/var/www/bandali.eu.org/
diff --git a/index.html b/index.html
index 46b9dc3..978578c 100644
--- a/index.html
+++ b/index.html
@@ -13,8 +13,8 @@
   
     
    
       
    
-        
    bandali’s
    
-        
    Corner on the interwebs
    
+        
    bandali
    
+        
    my corner of the interwebs
    
       
    
       
    
         
    
diff --git a/research.html b/research.html
index c3e1a05..06e3969 100644
--- a/research.html
+++ b/research.html
@@ -12,7 +12,7 @@
   
     
    
       
    
-        
    bandali’s
    
+        
    bandali
    
         
    Research interests
    
       
    
       
    
diff --git a/style.css b/style.css
index c4c2594..9c09240 100644
--- a/style.css
+++ b/style.css
@@ -24,7 +24,7 @@ main > header {
   margin-bottom: 0;
 }
 #title:after {
-  content: ".org";
+  content: ".eu.org";
   color: #dadada;
 }
 #subtitle {
-- 
2.20.1


From 60d1cae9374d09398e12f0b6239092e4d0b3eb76 Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Sat, 17 Aug 2019 17:00:45 -0400
Subject: [PATCH 15/16] add publications page

---
 publications.html | 71 +++++++++++++++++++++++++++++++++++++++++++++++
 style.css         | 19 +++++++++++++
 2 files changed, 90 insertions(+)
 create mode 100644 publications.html

diff --git a/publications.html b/publications.html
new file mode 100644
index 0000000..0970fa9
--- /dev/null
+++ b/publications.html
@@ -0,0 +1,71 @@
+
+
+  
+    
+    
+    bandali's publications
+    
+    
+  
+  
+    
    
+      
    
+        
    bandali
    
+        
    Publications
    
+      
    
+      
    
+        
    
+          conference
+          |
+          talks
+        
    
+      
    
+
+      
    Conference
    
+      
    
+        
    
+          
    
+            A Comparison of the Declarative Modelling Languages B,
+            Dash, and TLA+
+            (pdf,
+            bib,
+            doi,
+            models)
+          
    
+          
    
+            Ali Abbassi,
+            Amin Bandali,
+            Nancy A. Day,
+            and Jose Serna
+          
    
+          
    
+            2018 IEEE 8th International Model-Driven Requirements
+              Engineering Workshop (MoDRE)
+          
    
+        
    
+      
    
+
+      
    Talks
    
+      
    
+        
    
+          
    
+            The Magic of Specifications and Type Systems
+            (slides,
+            poster)
+          
    
+          
    
+            Amin Bandali,
+            Simon Hudon,
+            Jonathan Ostroff
+          
    
+        
    
+      
    
+    
    
+  
+
diff --git a/style.css b/style.css
index 9c09240..163c9cf 100644
--- a/style.css
+++ b/style.css
@@ -101,3 +101,22 @@ p:first-child {
 p:last-child {
   margin-bottom: 0;
 }
+
+#publications section {
+  text-transform: none;
+}
+dl {
+  margin: 0;
+}
+/*
+ol {
+  margin: 0;
+  padding: 0;
+}
+ol li {
+  margin-top: 0.5em;
+}
+ol li:first-child {
+  margin-top: 0;
+}
+*/
-- 
2.20.1


From da14228658fc24331843063c2cbcc01b3deeb0e2 Mon Sep 17 00:00:00 2001
From: Amin Bandali 
Date: Sat, 17 Aug 2019 17:14:45 -0400
Subject: [PATCH 16/16] title-case s

---
 contact.html      | 2 +-
 cv.html           | 2 +-
 publications.html | 2 +-
 research.html     | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/contact.html b/contact.html
index 1777348..343a8ef 100644
--- a/contact.html
+++ b/contact.html
@@ -3,7 +3,7 @@
   <head>
     <meta charset="utf-8" />
     <meta name=viewport content="width=device-width, initial-scale=1" />
-    <title>bandali's contact info
+    Amin Bandali's Contact Information
     
diff --git a/cv.html b/cv.html
index a8cce69..880cff6 100644
--- a/cv.html
+++ b/cv.html
@@ -3,7 +3,7 @@
   
     
     
-    bandali's curriculum vitae
+    Amin Bandali's Curriculum Vitae
     
diff --git a/publications.html b/publications.html
index 0970fa9..d842230 100644
--- a/publications.html
+++ b/publications.html
@@ -3,7 +3,7 @@
   
     
     
-    bandali's publications
+    Amin Bandali's Publications
     
diff --git a/research.html b/research.html
index 06e3969..d0e052b 100644
--- a/research.html
+++ b/research.html
@@ -3,7 +3,7 @@
   
     
     
-    bandali's research interests
+    Amin Bandali's Research Interests
     
-- 
2.20.1