add Project Help section

1 files changed, 12 insertions, 1 deletions

diff --git a/index.html b/index.html
index 7a5bd12..ea24bc5 100644
--- a/index.html
+++ b/index.html
@@ -10,15 +10,24 @@
 			<ul>
 				<li><a href="https://www.andrewyu.org">Home</a></li>
 				<li><a href="https://blog.andrewyu.org">Blog</a></li>
-				<li><a href="https://project.andrewyu.org">Projects</a></li>
+				<li><a href="https://project.andrewyu.org"><span class="alert">Projects</span></a></li>
 				<li><a href="https://git.andrewyu.org">Git</a></li>
 				<li><a href="https://pub.andrewyu.org">Users</a></li>
 				<li><a href="https://lib.andrewyu.org">Files</a></li>
 			</ul>
 		</div>
 		<div class="multicol">
+			<div id="project-help">
+				<h2><span class="alert">Project Help</span></h2>
+				Hello guys.  I currently need help with some of my projects.  If you can, please look in their repositories.  Any ideas would work.
+				<ul>
+					<li><a href="https://project.andrewyu.org/libresociety">The Libre Society Project</a> is a campaign to spread the ideas of <a href="https://fsf.org">free software</a> to places other than software, such as the political system, economics, and society in general.</li>
+					<li><a href="https://project.andrewyu.org/librebiology">The Libre Biololgy Project</a> is a repository of ideas for the development of medicine and the treatment of patients, especially related to medical equity.  I haven't started on this one yet, but it is upcoming.</li>
+				</ul>
+			</div>
 			<div id="ponder">
 				<h2>Help me ponder upon these questions</h2>
+				These are questions that interest me.  If I have more ideas on them, I might turn them into projects.
 				<h3>Help me choose licenses</h3>
 				<p>I am currently unable to decide what license should I choose for my programs and other works.  I used to use the GNU General Public License.  Then I realized that (1) the GPL causes compatibility problems with those who wish to use another [free] license (who do exist) and (2) the GPL restricts on what a user can do with a work.  I'm thinking of what freedom actually means&mdash;there are freedoms to do things and freedoms from being the object of some other person doing something.  Does software which you can't distribute in any form you wish count as free software?  I think so.  However, as <a href="https://unixsheikh.com/articles/the-problems-with-the-gpl.html">https://unixsheikh.com/articles/the-problems-with-the-gpl.html</a> explains, the GPL is based on coercing people into sharing, but coercion not effective in any field to make people actually share.  This is understandable.  I might start using the GPL again for my programs (might even be the AGPL).  However, you might wanna convince me (if you have good arguments on this) to use a license for my documents and books&mdash;I put them into the public domain, and I think that's okay.  Please mail me if you have any thoughts on this.  But sad examples:  Minix was permissively licensed, got abused by Intel.  The BSD stuff was permissively licensed, got abused by Apple.</p>
 				<h3>What about a pure functional Lisp dialect, with monads and similar (Haskell) ideas?</h3>
@@ -26,6 +35,8 @@
 				<h3>What about a mathematical political system?</h3>
 				<p>A government too strong causes authoritarianism which may lead to non-democracies, while a government too weak causes the inability of the government to do anything with the slightest controversy (look at COVID handling).  Is there a mathematical way (say a function; this sounds like group theory, but I'm not sure) to compute, based all known information known about the bill/order/whatever being considered, if the government (I'm especially talking about the executive here) has the right to order that? I feel like this could be proved impossible due to incompleteness and unpredictability, but this needs further investigation.</p>
 			</div>
+		</div>
+		<div class="multicol">
 			<div id="me">
 				<h2>About me</h2>
 				<p>I am Andrew Yu, a secondary school student in Shanghai, China.  My main fields of interest are philosophy (especially moral philosophy, and especially especially moral philosophy in technology), metamathematics, programming fundamentals and molecular biology. (To be extended)</p>