summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
4ad3138)
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.
<main>
<header>
<h1 id="title">bandali's</h1>
<main>
<header>
<h1 id="title">bandali's</h1>
- <h2 id="subtitle">contact info</h2>
+ <h2 id="subtitle">Contact info</h2>
- 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.
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
<a href="bandali-pubkey.txt">public key</a> with the
fingerprint <code>BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103</code>.
</p>
<a href="bandali-pubkey.txt">public key</a> with the
fingerprint <code>BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103</code>.
</p>
<td>
<code>bandali</code> on
<a href="https://freenode.net">freenode</a> and
<td>
<code>bandali</code> on
<a href="https://freenode.net">freenode</a> and
<td><a href="xmpp:bandali@member.fsf.org">
<code>bandali@member.fsf.org</code></a>
</td>
</tr>
<tr>
<td><a href="xmpp:bandali@member.fsf.org">
<code>bandali@member.fsf.org</code></a>
</td>
</tr>
<tr>
<td><a href="https://matrix.to/#/@bandali:matrix.org">
<code>@bandali:matrix.org</code></a>
</td>
</tr>
<tr>
<td><a href="https://matrix.to/#/@bandali:matrix.org">
<code>@bandali:matrix.org</code></a>
</td>
</tr>
<tr>
<td><a href="https://pleroma.site/bandali">
<code>@bandali@pleroma.site</code></a>
</td>
<td><a href="https://pleroma.site/bandali">
<code>@bandali@pleroma.site</code></a>
</td>
- 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.
</p>
<ul>
absolutely necessary.
</p>
<ul>
- <li><a href="https://libreplanet.org/wiki/User:Bandali">bandali</a> on libreplanet</li>
- <li><a href="https://emacsconf.org/bandali">bandali</a> on emacsconf</li>
- <li><a href="https://savannah.gnu.org/users/bandali">bandali</a> on savannah</li>
- <li><a href="https://git.sr.ht/~bandali">bandali</a> on sourcehut</li>
- <li><a href="https://lobste.rs/u/bandali">bandali</a> on lobsters</li>
- <li><a href="https://hackage.haskell.org/user/bandali">bandali</a> on hackage</li>
- <li><a href="https://gitlab.com/bandali">bandali</a> on gitlab</li>
- <li><a href="https://news.ycombinator.com/user?id=bandali">bandali</a> on hn</li>
+ <li><a href="https://libreplanet.org/wiki/User:Bandali">Bandali</a> on LibrePlanet</li>
+ <li><a href="https://emacsconf.org/bandali">bandali</a> on EmacsConf</li>
+ <li><a href="https://savannah.gnu.org/users/bandali">bandali</a> on Savannah</li>
+ <li><a href="https://git.sr.ht/~bandali">bandali</a> on SourceHut</li>
+ <li><a href="https://lobste.rs/u/bandali">bandali</a> on Lobsters</li>
+ <li><a href="https://hackage.haskell.org/user/bandali">bandali</a> on Hackage</li>
+ <li><a href="https://gitlab.com/bandali">bandali</a> on GitLab</li>
+ <li><a href="https://news.ycombinator.com/user?id=bandali">bandali</a> on HN</li>
<li><a href="https://www.reddit.com/u/bandali">bandali</a> on reddit</li>
<li><a href="https://www.reddit.com/u/bandali">bandali</a> on reddit</li>
- <li><strike><a href="https://www.reddit.com/u/aminb">aminb</a> on reddit</strike></li>
- <li><strike><a href="https://github.com/notbandali">notbandali</a> on github</strike></li>
- <li><strike><a href="https://twitter.com/notbandali">notbandali</a> on twitter</strike></li>
+ <li><del><a href="https://www.reddit.com/u/aminb">aminb</a> on reddit</del></li>
+ <li><del><a href="https://github.com/notbandali">notbandali</a> on GitHub</del></li>
+ <li><del><a href="https://twitter.com/notbandali">notbandali</a> on Twitter</del></li>
<main>
<header>
<h1 id="title">bandali's</h1>
<main>
<header>
<h1 id="title">bandali's</h1>
- <h2 id="subtitle">corner on the interwebs</h2>
+ <h2 id="subtitle">Corner on the interwebs</h2>
<a href="images/bandali-with-rms.jpg"
<a href="images/bandali-with-rms.jpg"
- title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">amin bandali</a>,
+ title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
often just <code>bandali</code> around the web.
</p>
</section>
often just <code>bandali</code> around the web.
</p>
</section>
<section>
<nav>
<ul id="academia">
<section>
<nav>
<ul id="academia">
- <li><a href="cv">cv</a></li>
- <li><a href="publications">publications</a></li>
- <li><a href="research-interests">research interests</a></li>
+ <li><a href="cv">CV</a></li>
+ <li><a href="publications">Publications</a></li>
+ <li><a href="research-interests">Research interests</a></li>
- i'm a graduate student at <a href="https://watform.uwaterloo.ca">watform</a>
- at university of waterloo, supervised by
- <a href="https://cs.uwaterloo.ca/~nday/">dr. nancy day</a>.
- my research at watform focuses on formal logic, model
- checking, and verification. see my research interests link
+ I'm a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
+ at University of Waterloo, supervised by
+ <a href="https://cs.uwaterloo.ca/~nday/">Dr. Nancy Day</a>.
+ My research at WatForm focuses on formal logic, model
+ checking, and verification. See my research interests link
above for more details.
</p>
</section>
above for more details.
</p>
</section>
<section>
<nav>
<ul id="personal">
<section>
<nav>
<ul id="personal">
- <li><a href="blog">blog</a></li>
- <li><a href="now">now</a></li>
- <li><a href="computing">computing</a></li>
- <li><a href="contact">contact</a></li>
+ <li><a href="blog">Blog</a></li>
+ <li><a href="now">Now</a></li>
+ <li><a href="computing">Computing</a></li>
+ <li><a href="contact">Contact</a></li>
- i’m a <a href="https://www.gnu.org/philosophy/free-sw.html">free software</a>
- and <a href="https://www.gnu.org/licenses/copyleft.html">copyleft</a> activist,
- an <a href="https://www.fsf.org/associate/">fsf associate member</a>,
- and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">gnu webmaster</a>
- and volunteer. i co-host the <a href="https://emacsel.com">emacs.el</a> podcast,
- and i'm organizing <a href="https://emacsconf.org/2019/">emacsconf 2019</a> this fall.
+ I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a>
+ and <a href="https://www.gnu.org/licenses/copyleft.html">Copyleft</a> activist,
+ an <a href="https://www.fsf.org/associate/">FSF associate member</a>,
+ and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>
+ and volunteer. I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast,
+ and I'm organizing <a href="https://emacsconf.org/2019/">EmacsConf 2019</a> this fall.
body {
font-family: FreeSans, sans-serif;
body {
font-family: FreeSans, sans-serif;
+ text-transform: lowercase;
line-height: 1.4;
padding: 1em;
}
line-height: 1.4;
padding: 1em;
}
code {
font-size: 1.15em;
code {
font-size: 1.15em;