whoops, forgot a dnl

[~bandali/bndl.org] / index.m4

diff --git a/index.m4 b/index.m4
index 04a3831..23c4639 100644 (file)
--- a/index.m4
+++ b/index.m4
@@ -6,48 +6,46 @@ include(header.html)dnl
 
 <section id="intro" class="justify">
 <p>Hi, I'm bandali.  I am
 
 <section id="intro" class="justify">
 <p>Hi, I'm bandali.  I am

-a <a href="//www.gnu.org/philosophy/free-sw.html">free software</a>
-activist and a computing scientist.  I graduated from the University
-of Waterloo with a <a href="/mmath">Master of Mathematics</a> degree
-in Computer Science, where I did research in formal logic, model
-checking, and verification supervised
-by <a href="//cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>, with the
-main goal of improving <strong>software and systems
+a <a href="https://www.gnu.org/philosophy/free-sw.html">free
+software</a> activist and a computing scientist.  I graduated from the
+University of Waterloo with a <a href="/mmath">Master of
+Mathematics</a> degree in Computer Science, where I did research in
+formal logic, model checking, and verification supervised
+by <a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>, with
+the main goal of improving <strong>software and systems

 reliability</strong> through application of
 reliability</strong> through application of

-<a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>.
-My research areas of interest include programming languages, proof
-assistants, and their type systems.</p>
+<a href="https://en.wikipedia.org/wiki/Formal_methods">formal
+methods</a>.  My research areas of interest include programming
+languages, proof assistants, and their type systems.</p>

 
 <p>I am currently employed
 
 <p>I am currently employed

-by <a href="//savoirfairelinux.com/en">Savoir-faire Linux</a> as a
-Free Software Consultant, where I get to hack on various parts
-of <a href="//jami.net">Jami</a>, work with the maintainers of Jami
-packages in various GNU/Linux distributions like Debian and Trisquel
-to help keep up-to-date the version of Jami available in the official
-repositories of those distributions, and generally serve as a
+by <a href="https://savoirfairelinux.com/en">Savoir-faire Linux</a> as
+a Free Software Consultant, where I get to hack on various parts
+of <a href="https://jami.net">Jami</a>, work with the maintainers of
+Jami packages in various GNU/Linux distributions like Debian and
+Trisquel to help keep up-to-date the version of Jami available in the
+official repositories of those distributions, and generally serve as a

 community liaison between the Jami core development team and the wider
 free software community around Jami.  To be sure, the views or
 opinions expressed on this site are solely my own, and do not
 necessarily represent those of my employer or anyone else.</p>
 
 community liaison between the Jami core development team and the wider
 free software community around Jami.  To be sure, the views or
 opinions expressed on this site are solely my own, and do not
 necessarily represent those of my employer or anyone else.</p>
 

-<p>On the side, I
-enjoy <a href="//stallman.org/articles/on-hacking.html">hacking</a>
-on <a href="//www.gnu.org/software/emacs/manual/elisp.html">elisp</a>
-and <a href="//www.gnu.org/software/guile/">guile</a>.  I'm a
-GNU <a href="//www.gnu.org/people/people.html#bandali">maintainer</a>,
-<a href="//www.gnu.org/people/webmeisters.html#bandali">webmaster</a>,
-and <a href="//savannah.gnu.org/maintenance/SavannahHacker/">Savannah
-hacker</a>; and an <a href="//www.fsf.org/associate/">associate
+<p>On the side, I enjoy
+<a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+<a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs
+Lisp</a>.  I'm a GNU
+<a href="https://www.gnu.org/people/people.html#bandali">maintainer</a>,
+<a href="https://www.gnu.org/people/webmeisters.html#bandali">webmaster</a>,
+and <a href="https://savannah.gnu.org/maintenance/SavannahHacker/">Savannah
+hacker</a>; and an <a href="https://www.fsf.org/associate/">associate

 member</a> of the Free Software Foundation (FSF).  I'm currently the
 member</a> of the Free Software Foundation (FSF).  I'm currently the

-chief organizer of the <a href="//emacsconf.org">EmacsConf</a>
-conference, and the co-host of
-the <a href="//emacsel.com">Emacs.el</a> podcast with
-<a href="//www.pygopar.com">Daniel Gopar</a>.  I am also a member of
+chief organizer of the <a href="https://emacsconf.org">EmacsConf</a>
+conference, and the co-host of the
+<a href="https://emacsel.com">Emacs.el</a> podcast with
+<a href="https://www.pygopar.com">Daniel Gopar</a>.  I am also a member of

 the Systems Committee of the
 the Systems Committee of the

-<a href="//csclub.uwaterloo.ca">Computer Science Club</a> of the
+<a href="https://csclub.uwaterloo.ca">Computer Science Club</a> of the

 University of Waterloo.</p>
 University of Waterloo.</p>

-
-<p>Starting in spring 2020, I am an intern with the FSF tech team.</p>

 </section>
 
 <section id="notes" class="justify">
 </section>
 
 <section id="notes" class="justify">


@@ -65,7 +63,7 @@ and
 <table class="post-list">
 <tbody>
 <tr>
 <table class="post-list">
 <tbody>
 <tr>

-<td><a href="fsf-internship/intro">Internship with the FSF tech team</a>
+<td><a href="fsf-internship-intro">Internship with the FSF tech team</a>

 (intro)</td>
 <td><small>May 29, 2020</small></td>
 </tr>
 (intro)</td>
 <td><small>May 29, 2020</small></td>
 </tr>