diff options
| author | Runxi Yu <me@runxiyu.org> | 2024-05-14 11:11:26 +0800 |
|---|---|---|
| committer | Runxi Yu <me@runxiyu.org> | 2024-05-14 11:11:26 +0800 |
| commit | 182a48ca8d70b7292d311365f308866ecd7f5c0b (patch) | |
| tree | 2763b0f9795926fcecdac4d9e3852f0840571ec6 | |
| parent | a1dcdcae637c50d22e4a803759ccc2504f9f38cb (diff) | |
| download | www-182a48ca8d70b7292d311365f308866ecd7f5c0b.tar.gz | |
Update all HTML templates
| -rw-r--r-- | 404.html | 51 | ||||
| -rw-r--r-- | abortion.html | 48 | ||||
| -rw-r--r-- | ask.html | 49 | ||||
| -rw-r--r-- | chinese-pronouns.html | 47 | ||||
| -rw-r--r-- | comms.html | 75 | ||||
| -rw-r--r-- | contracts-and-validity.html | 1 | ||||
| -rw-r--r-- | copyright.html | 70 | ||||
| -rw-r--r-- | democracy-fundamentals.html | 96 | ||||
| -rw-r--r-- | democracy-us.html | 125 | ||||
| -rw-r--r-- | forge-workflows.html | 89 | ||||
| -rw-r--r-- | free-hardware.html | 49 | ||||
| -rw-r--r-- | free-software-education-in-china-and-covid-19.html | 193 | ||||
| -rw-r--r-- | index.html | 59 | ||||
| -rw-r--r-- | journey-overcoming-rationalism.html | 121 | ||||
| -rw-r--r-- | math-science-and-philosophy.html | 45 | ||||
| -rw-r--r-- | on-racist-jokes.html | 77 | ||||
| -rw-r--r-- | on-suicide-jokes.html | 22 | ||||
| -rw-r--r-- | pragmatic-use-of-nonfree-software.html | 269 | ||||
| -rw-r--r-- | pubdom.html | 43 | ||||
| -rw-r--r-- | really.html | 46 | ||||
| -rw-r--r-- | sway-keysym.html | 47 | ||||
| -rw-r--r-- | template.html | 48 | ||||
| -rw-r--r-- | texmacs-maxima-integral.html | 80 | ||||
| -rw-r--r-- | the-old-web-was-better.html | 46 | ||||
| -rw-r--r-- | unicorn.html | 47 | ||||
| -rw-r--r-- | wechat.html | 100 |
26 files changed, 1048 insertions, 895 deletions
diff --git a/404.html b/404.html index e3048b4..d080bdd 100644 --- a/404.html +++ b/404.html @@ -1,22 +1,33 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Not Found</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - </head> - <body> - <h1>Not Found</h1> - <div id="main"> - <p>The requested file does not exist on this web server.</p> - <p>Many links have changed over time, thus links to here may break. <a href="/">The homepage</a> might get you there.</p> - <p>This Website's history is logged in <a href="https://git.runxiyu.org/runxiyu/current/www.git/">a Git repository</a>. The file you're looking for may be in there somewhere.</p> - </div> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>404 Not Found</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> - </div> - </body> +</head> +<body> +<header> + <h1>404 Not Found</h1> +</header> + +<article> + <p>The requested file does not exist on this web server.</p> + <p>Many links have changed over time, thus links to here may break. <a href="/">The homepage</a> might get you there.</p> + <p>This Website's history is logged in <a href="https://git.runxiyu.org/runxiyu/current/www.git/">a Git repository</a>. The file you're looking for may be in there somewhere.</p> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/abortion.html b/abortion.html index 87a187c..4075616 100644 --- a/abortion.html +++ b/abortion.html @@ -1,14 +1,25 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Abortion</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - </head> - <body class="indent"> - <h1>Abortion</h1> - +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Abortion</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Abortion</h1> +</header> + +<article> +<p> +This was written quite a while ago and I should update it sometime... +</p> <p> <a href="https://www.law.cornell.edu/supremecourt/text/410/113">In 1973 the Supreme Court of the United States of America ruled seven-to-two in favor of Roe's rights to abortion against a healthcare official of the state of Texas. Roe argued for abortion with "privacy", derived from the Fourth and Fourteenth Amendment of the US Constitution.</a> As the U.S. has a precedential judiciary system, this effectively legalizes abortion across the country. @@ -57,11 +68,14 @@ A scientific definition of life which includes bacteria, fungi, parasites, plant <p> Abortion is just okay before the cerebrum (the part of the brain responsible for thinking) develops, which is usually at the end of the second trimester. Abortion after meaningful cerebrum activity is detected should be considered with care because at that time the fetus's life would be considered valuable. </p> +</article> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/ask.html b/ask.html index a9bd0be..0ab870a 100644 --- a/ask.html +++ b/ask.html @@ -1,19 +1,32 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Don't ask to ask, just ask!</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - </head> - <body> - <h1>Don't ask to ask, just ask!</h1> - <p>Please don't send random emails and IRC messages saying "Are you there? I have a thing to ask you about...". Just ask the question. If I'm online I might answer right away, if I'm not I'll answer you when I have time. An "Are you there?" or "Can I ask a question?" question is just a waste of time and effort.</p> - <p>See also: <a href="https://dontasktoask.com/">An entire website dedicated to "Don't ask to ask, just ask''</a></p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Don't ask to ask, just ask!</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Don't ask to ask, just ask!</h1> +</header> + +<article> + <p>Please don't send random emails and IRC messages saying "Are you there? I have a thing to ask you about...". Just ask the question. If I'm online I might answer right away, if I'm not I'll answer you when I have time. An "Are you there?" or "Can I ask a question?" question is just a waste of time and effort.</p> + <p>See also: <a href="https://dontasktoask.com/">An entire website dedicated to "Don't ask to ask, just ask''</a></p> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/chinese-pronouns.html b/chinese-pronouns.html index 37b62be..612f968 100644 --- a/chinese-pronouns.html +++ b/chinese-pronouns.html @@ -1,15 +1,22 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Reclaiming "他" as a gender-inclusive pronoun</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1>Reclaiming "他" as a gender-inclusive pronoun</h1> - +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Reclaiming "他" as a gender-inclusive pronoun</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Reclaiming "他" as a gender-inclusive pronoun</h1> +</header> + +<article> <p> <a href="#en">English</a> <a href="#zh">中文</a> </p> @@ -125,10 +132,14 @@ Please share your thoughts. This Chinese translation was translated from the <a href="#en">English original</a> by <a href="https://peaksol.org/">Peaksol</a>. Thanks! </p> </section> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/comms.html b/comms.html index 5116fab..a6cd65e 100644 --- a/comms.html +++ b/comms.html @@ -1,32 +1,45 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Tips for Communications</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body class="indent"> - <h1>Tips for Communications</h1> - <p>See also: <a href="/#contact">contact information</a></p> - <p> - These are some general recommendations that I believe make communicating with me, at least, easier and/or more effective, including communication conventions that make my life easier. Please note that what I prefer may not be what others prefer and shall not be treated as a general guideline for communications, although many of these are common in the free software community. - </p> - <ol> - <li>Write a descriptive subject for emails. Do not send emails with an empty subject or no subject header. The subject should be give the receiver a brief idea of what the email is about.</li> - <li>Send complete information. When telling me something or requesting something, please provide complete background information, knowledge required, and other relevant context. This prevents back-and-forth communication along the lines of "and now I need to know ... but you didn't tell me that so can you please give that to me". Providing context defragments conversations which increases efficiency.</li> - <li>When using instant messaging such as IRC, do not split one sentence into multiple messages (unless, of course, if your message exceeds the character limit). Fragmentation reduces readability.</li> - <li>Do not use excessive emojis.</li> - <li>Be direct rather than polite. As the sender, do not use polite expressions like "you did quite well in that presentation" when in reality, the sender believes that the presentation is not "quite well". Direct critique and suggestions are very welcome here. Politeness is acceptable if it does not interfere with honest conveying of information.</li> - <li><a href="./ask.html">Don't ask to ask.</a></li> - <li>Use plain text email. Both hard-wrapped and non-hard-wrapped emails are acceptable. If you do hard-wrap, please wrap at 72 characters for English. Chinese, if hard-wrapped, should be at approximately 36 characters. Non hard-wrapped emails should <a href="https://www.ietf.org/rfc/rfc3676.txt">specify format=flowed according to RFC3676</a>.</li> - <li>Interweave the original message with the response when replying to an email and remove irrelevant parts (i.e. greetings, closings, signatures, etc.) of the quoted original email.</li> - </ol> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Tips for Communication</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1><++></h1> +</header> + +<article> + <h1>Tips for Communications</h1> + <p>See also: <a href="/#contact">contact information</a></p> + <p> + These are some general recommendations that I believe make communicating with me, at least, easier and/or more effective, including communication conventions that make my life easier. Please note that what I prefer may not be what others prefer and shall not be treated as a general guideline for communications, although many of these are common in the free software community. + </p> + <ol> + <li>Write a descriptive subject for emails. Do not send emails with an empty subject or no subject header. The subject should be give the receiver a brief idea of what the email is about.</li> + <li>Send complete information. When telling me something or requesting something, please provide complete background information, knowledge required, and other relevant context. This prevents back-and-forth communication along the lines of "and now I need to know ... but you didn't tell me that so can you please give that to me". Providing context defragments conversations which increases efficiency.</li> + <li>When using instant messaging such as IRC, do not split one sentence into multiple messages (unless, of course, if your message exceeds the character limit). Fragmentation reduces readability.</li> + <li>Do not use excessive emojis.</li> + <li>Be direct rather than polite. As the sender, do not use polite expressions like "you did quite well in that presentation" when in reality, the sender believes that the presentation is not "quite well". Direct critique and suggestions are very welcome here. Politeness is acceptable if it does not interfere with honest conveying of information.</li> + <li><a href="./ask.html">Don't ask to ask.</a></li> + <li>Use plain text email. Both hard-wrapped and non-hard-wrapped emails are acceptable. If you do hard-wrap, please wrap at 72 characters for English. Chinese, if hard-wrapped, should be at approximately 36 characters. Non hard-wrapped emails should <a href="https://www.ietf.org/rfc/rfc3676.txt">specify format=flowed according to RFC3676</a>.</li> + <li>Interweave the original message with the response when replying to an email and remove irrelevant parts (i.e. greetings, closings, signatures, etc.) of the quoted original email.</li> + </ol> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/contracts-and-validity.html b/contracts-and-validity.html index d05f527..c11644c 100644 --- a/contracts-and-validity.html +++ b/contracts-and-validity.html @@ -1,3 +1,4 @@ +<!--TODO--> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" lang="en"> <head> diff --git a/copyright.html b/copyright.html index 8532168..efdc8a5 100644 --- a/copyright.html +++ b/copyright.html @@ -1,35 +1,45 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Copyright: It's okay</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body class="indent"> - <h1>Copyright: It's okay</h1> - - <p> - Copyright law isn't as broken as some think. - </p> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Copyright: It's okay</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> - <p> - Modern copyright law allows for things like nonfree software that don't respect privacy and other freedoms. But as long as it conforms to the license agreement that users thereof agree to, it's the users' responsibility to read the license agreement carefully and to agree to or decline it based on what they've read. We Free Software developers <em><strong>grant</strong> the users the four freedoms</em>, others can choose to do otherwise. - </p> +</head> +<body> +<header> + <h1>Copyright: It's okay</h1> +</header> - <p> - Information unlike physical items can be copied with minimal cost, especially in the case of digital information, and thus the traditional private property argument of "this is theft and the author loses stuff" doesn't really apply. However, information/data that an author creates shall be under the control of the author, it's ultimately what they create and is their private information. The authors, not anyone else, should control how their information goes. (Transferring this control to another entity is ultimately using their control to share or give away the same control, so that's no different.) - </p> +<article> + <p> + Copyright law isn't as broken as some think. + </p> - <p> - There are some jurisdictions that don't allow publishing works into the public domain. I believe that this needs improvement, as I don't see a reason to force an author to control the distribution of their work when the author themselves don't want to. For instance, this Website is, when possible, in the public domain, but in jurisdictions like Germany where that's not possible, an alternative permissive license is used. - </p> + <p> + Modern copyright law allows for things like nonfree software that don't respect privacy and other freedoms. But as long as it conforms to the license agreement that users thereof agree to, it's the users' responsibility to read the license agreement carefully and to agree to or decline it based on what they've read. We Free Software developers <em><strong>grant</strong> the users the four freedoms</em>, others can choose to do otherwise. + </p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> + <p> + Information unlike physical items can be copied with minimal cost, especially in the case of digital information, and thus the traditional private property argument of "this is theft and the author loses stuff" doesn't really apply. However, information/data that an author creates shall be under the control of the author, it's ultimately what they create and is their private information. The authors, not anyone else, should control how their information goes. (Transferring this control to another entity is ultimately using their control to share or give away the same control, so that's no different.) + </p> + + <p> + There are some jurisdictions that don't allow publishing works into the public domain. I believe that this needs improvement, as I don't see a reason to force an author to control the distribution of their work when the author themselves don't want to. For instance, this Website is, when possible, in the public domain, but in jurisdictions like Germany where that's not possible, an alternative permissive license is used. + </p> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/democracy-fundamentals.html b/democracy-fundamentals.html index 49e4a1c..e1afe06 100644 --- a/democracy-fundamentals.html +++ b/democracy-fundamentals.html @@ -1,44 +1,56 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Democracy: Fundamentals (Unfinished)</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body class="indent"> - <h1>Democracy: Fundamentals (Unfinished)</h1> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Democracy: Fundamentals</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Democracy: Fundamentals (Unfinished)</h1> +</header> + +<article> - <p><i>Unless otherwise specified, "democracy" in this article refers to representative democracy. "Country" can additionally refer to other regions that have people and its own policies, such as a state, provinces in some countries, etc.</i></p> - <p> - We usually think of "democracy" as people influencing the policies of the country by electing trustworthy experts that serve their interest to make actual decisions about running the country. This type of democracy, representative democracy, has evolved from direct democracy aging back two thousand years ago as created by Athens in Greece. Representative democracy is more scalable than direct democracy and also avoids some forms of populism and uninformed decisions as its the experts in the field that are making the actual policies. - </p> - <p> - The Chinese term for democracy is "民主". The first character, "民", means "people"; the second, "主", ascin "主人" means "owner". You could understand it as saying "the people of the country own the country (and thus get to decide on its affairs)". But at the same time, "主" as in "自主" means "do things themselves", i.e. the right not to be interfered by others while doing their own business. - </p> - <p> - This is, of course, not the proper definition for democracy; democracy is just saying that the general public ultimately runs the country. But we could take the time to appreciate how with democracy we usually end up with liberty and how we take personal liberty for granted. - </p> - <p> - In any case, both democracy and liberty are important in a long-lasting prosperous system of society. Note my wording in the first paragraph, that the decisions of elected experts are for "running the country"—I specifically mean issues that deal with either the general public (such as public health and the environment) and things that would be otherwise hard to solve personally (such as enforcement of contracts and crimes). The "will of the people", represented by the government, have no business doing things like banning freedom of thought or mandating people not to smoke in their private property. Only when things affect others such as smoking in public should the government, or the will of the general public, have any say. And of course, people should take responsibility for their own private deeds. It is argued that a lung cancer patient who got lung cancer by smoking excessively doesn't deserve medical insurance from taxpayers; but for cases where an illness isn't caused by a identifiable private decision factor, medical insurance and support should be given. (In practice the distinction is subtle; this is also a very controversial topic.) - </p> - <p> - People overemphasize the importance of democracy. In fact, democracy is in my opinion less important than liberty—though in practice indeed liberty wouldn't survive for long without democracy. - </p> - <p> - Note that abortion and similar subjects may fall into the scope of government. Some opponents of abortion believe that fetus is human life and thus abortion is murder and shall be outlawed. The "privacy" and "personal liberty" arguments don't stand up well against this as it's no longer a personal matter when another human life is supposedly on the line. <a href="abortion.html">I oppose the abortion bans that Republicans in the US are placing in many states for a different reason.</a> - </p> - <p> - Modern populism (which is a poorly-defined term but does have the following general scope) gives the power of deciding everything that happens in the country to the people. This is bad in two ways. (1) The general public often make uninformed and un-thought-through decisions and are easily influenced. (2) The government, in this case directly the collective decision of the people, is stepping its feet into the personal lives of people. While it is democratic, it doesn't give people liberty, creating a tyranny of the majority, and at the same time making uninformed decisions which are better made by experts which people elect. - </p> - <p> - In future articles, I will discuss more practical issues in democracy and society, especially on corruption of representatives, issues with the modern voting system, etc. - </p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> + <p><i>Unless otherwise specified, "democracy" in this article refers to representative democracy. "Country" can additionally refer to other regions that have people and its own policies, such as a state, provinces in some countries, etc.</i></p> + <p> + We usually think of "democracy" as people influencing the policies of the country by electing trustworthy experts that serve their interest to make actual decisions about running the country. This type of democracy, representative democracy, has evolved from direct democracy aging back two thousand years ago as created by Athens in Greece. Representative democracy is more scalable than direct democracy and also avoids some forms of populism and uninformed decisions as its the experts in the field that are making the actual policies. + </p> + <p> + The Chinese term for democracy is "民主". The first character, "民", means "people"; the second, "主", ascin "主人" means "owner". You could understand it as saying "the people of the country own the country (and thus get to decide on its affairs)". But at the same time, "主" as in "自主" means "do things themselves", i.e. the right not to be interfered by others while doing their own business. + </p> + <p> + This is, of course, not the proper definition for democracy; democracy is just saying that the general public ultimately runs the country. But we could take the time to appreciate how with democracy we usually end up with liberty and how we take personal liberty for granted. + </p> + <p> + In any case, both democracy and liberty are important in a long-lasting prosperous system of society. Note my wording in the first paragraph, that the decisions of elected experts are for "running the country"—I specifically mean issues that deal with either the general public (such as public health and the environment) and things that would be otherwise hard to solve personally (such as enforcement of contracts and crimes). The "will of the people", represented by the government, have no business doing things like banning freedom of thought or mandating people not to smoke in their private property. Only when things affect others such as smoking in public should the government, or the will of the general public, have any say. And of course, people should take responsibility for their own private deeds. It is argued that a lung cancer patient who got lung cancer by smoking excessively doesn't deserve medical insurance from taxpayers; but for cases where an illness isn't caused by a identifiable private decision factor, medical insurance and support should be given. (In practice the distinction is subtle; this is also a very controversial topic.) + </p> + <p> + People overemphasize the importance of democracy. In fact, democracy is in my opinion less important than liberty—though in practice indeed liberty wouldn't survive for long without democracy. + </p> + <p> + Note that abortion and similar subjects may fall into the scope of government. Some opponents of abortion believe that fetus is human life and thus abortion is murder and shall be outlawed. The "privacy" and "personal liberty" arguments don't stand up well against this as it's no longer a personal matter when another human life is supposedly on the line. <a href="abortion.html">I oppose the abortion bans that Republicans in the US are placing in many states for a different reason.</a> + </p> + <p> + Modern populism (which is a poorly-defined term but does have the following general scope) gives the power of deciding everything that happens in the country to the people. This is bad in two ways. (1) The general public often make uninformed and un-thought-through decisions and are easily influenced. (2) The government, in this case directly the collective decision of the people, is stepping its feet into the personal lives of people. While it is democratic, it doesn't give people liberty, creating a tyranny of the majority, and at the same time making uninformed decisions which are better made by experts which people elect. + </p> + <p> + In future articles, I will discuss more practical issues in democracy and society, especially on corruption of representatives, issues with the modern voting system, etc. + </p> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/democracy-us.html b/democracy-us.html index ee4b16e..71dc60e 100644 --- a/democracy-us.html +++ b/democracy-us.html @@ -1,67 +1,78 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Democracy: The United States (Unfinished)</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body class="indent"> - <h1>Democracy: The United States (Unfinished)</h1> - - <p> - When people talk about democracies, it's common to think of the US Constitution as the "defining point of democracy". While the US is the first modern democracy, its laws is far from perfect. In fact, it may be one of the worst of modern time! I will briefly go through the following. - </p> - - <ul> - <li><a href="#corruption">Corruption</a></li> - <li><a href="#electoral-college">The electoral college</a></li> - <li><a href="#senate">The senate</a></li> - </ul> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Democracy: The United States</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> - <h2 id="#corruption">Corruption</h2> +</head> +<body> +<header> + <h1>Democracy: The United States (Unfinished)</h1> +</header> - <p><a href="https://www.cambridge.org/core/services/aop-cambridge-core/content/view/62327F513959D0A304D4893B382B992B/S1537592714001595a.pdf/testing-theories-of-american-politics-elites-interest-groups-and-average-citizens.pdf">A study shows that "Multivariate analysis indicates that economic elites and organized groups representing business interests have substantial independent impacts on U.S. government policy, while average citizens and mass-based interest groups have little or no independent influence."</a></p> - - <p> - A near-ideal democracy would have a roughly linear positive correlation between the fraction of voters who support a policy and the possibility of the policy being passed in the legislature. But in the US, the line is flat at about 30%. A representative democracy wouldn't have a perfect correlation, because the general public is unable to be informed on all topics; fluctuations are normal. But <em>a flat line</em> means that the opinions of the people don't matter at all. This does not make sense in any type of democracy. - </p> +<article> + + <p> + When people talk about democracies, it's common to think of the US Constitution as the "defining point of democracy". While the US is the first modern democracy, its laws is far from perfect. In fact, it may be one of the worst of modern time! I will briefly go through the following. + </p> + + <ul> + <li><a href="#corruption">Corruption</a></li> + <li><a href="#electoral-college">The electoral college</a></li> + <li><a href="#senate">The senate</a></li> + </ul> - <p> - According to the study, the influence of economic elites and business interest groups on politics is rather high with a rough positive correlation as opposed to the flatline for the general public, making the US an oligarchy rather than a democracy. Mass-based interest groups have discernible impact on policies, but are still trivial compared with economic elites and businesses. About three billion dollars are spent yearly by large "politically active" businesses to bribe politicians to pass policies for their interest. While businesses should have a say in legislation, it is unacceptable that they have superior dominance over public opinion. - </p> + <h2 id="#corruption">Corruption</h2> - <h2 id="senate">The Senate</h2> + <p><a href="https://www.cambridge.org/core/services/aop-cambridge-core/content/view/62327F513959D0A304D4893B382B992B/S1537592714001595a.pdf/testing-theories-of-american-politics-elites-interest-groups-and-average-citizens.pdf">A study shows that "Multivariate analysis indicates that economic elites and organized groups representing business interests have substantial independent impacts on U.S. government policy, while average citizens and mass-based interest groups have little or no independent influence."</a></p> + + <p> + A near-ideal democracy would have a roughly linear positive correlation between the fraction of voters who support a policy and the possibility of the policy being passed in the legislature. But in the US, the line is flat at about 30%. A representative democracy wouldn't have a perfect correlation, because the general public is unable to be informed on all topics; fluctuations are normal. But <em>a flat line</em> means that the opinions of the people don't matter at all. This does not make sense in any type of democracy. + </p> - <p> - The Senate of the USA consists of 100 members, with 2 from each state. Two senators from California represent 39 million people while the two from Wyoming represent 500 thousand people. The founding fathers never could have imagined such a huge a difference between the population of states. - </p> - <p> - Some people believe that the Senate helps against populism as opposed to the House. Although the number of Senators for each state do indeed not correspond to the population, this has no correlation whatsoever with preventing populism and doesn't serve an obvious purpose. It only "helps" by giving completely unproportional voting powers to people based on their location, period. - </p> - <p> - The Senate also suffers from the fillibuster. Passing a bill in the Senate has a few steps: Firstly the Senators must <em>agree to vote</em>, passed at a supermajority. Then the Senators actually vote on the bill. Those who are against the bill will just disagree to vote altogether, effectively requiring all bills to have a supermajority support to pass which is nearly impossible as the two dominant political parties almost always oppose each others' bills and neither have a supermajority in the Senate. - </p> + <p> + According to the study, the influence of economic elites and business interest groups on politics is rather high with a rough positive correlation as opposed to the flatline for the general public, making the US an oligarchy rather than a democracy. Mass-based interest groups have discernible impact on policies, but are still trivial compared with economic elites and businesses. About three billion dollars are spent yearly by large "politically active" businesses to bribe politicians to pass policies for their interest. While businesses should have a say in legislation, it is unacceptable that they have superior dominance over public opinion. + </p> - <h2 id="electoral-college">The Electoral College</h2> + <h2 id="senate">The Senate</h2> - <p> - The electoral college makes it possible to win an federal election without winning the national popular vote. It also, similarly but not as badly as the Senate, represent the people of each state disproportionally as each state has two extra electoral votes regardless of their population. - </p> - <p> - A subtle but serious problem with the electoral college is that electors' listening to the votes of the people is only a <em>tradition</em>. Legally, electors can vote however they want, meaning that the US is not theoretically a democracy. This hasn't happened before, but this is one more to the list of problems in the constitution, and is a potential for disaster. - </p> + <p> + The Senate of the USA consists of 100 members, with 2 from each state. Two senators from California represent 39 million people while the two from Wyoming represent 500 thousand people. The founding fathers never could have imagined such a huge a difference between the population of states. + </p> + <p> + Some people believe that the Senate helps against populism as opposed to the House. Although the number of Senators for each state do indeed not correspond to the population, this has no correlation whatsoever with preventing populism and doesn't serve an obvious purpose. It only "helps" by giving completely unproportional voting powers to people based on their location, period. + </p> + <p> + The Senate also suffers from the fillibuster. Passing a bill in the Senate has a few steps: Firstly the Senators must <em>agree to vote</em>, passed at a supermajority. Then the Senators actually vote on the bill. Those who are against the bill will just disagree to vote altogether, effectively requiring all bills to have a supermajority support to pass which is nearly impossible as the two dominant political parties almost always oppose each others' bills and neither have a supermajority in the Senate. + </p> - <h2 id="plurality-voting">Plurality Voting</h2> - <p> - Single-winner elections in the US uses what's called "plurality voting", where each voter casts one vote to their favorite candidate and the candidate with the most votes win. This contributes to the partisan dualopoly (not an actual word, but it basically means "monopoly" but with two rather than one) as voters who support smaller parties will undergo the decision of choosing their honest favorite or one of the two big parties that most closely ressembles their favorite. As it's hard to gather votes for smaller parties, and thus there's a small chance of them actually winning the electron, many voters strategically vote for the big party in order to not be "taken over" by the big party that they oppose more. - </p> + <h2 id="electoral-college">The Electoral College</h2> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> + <p> + The electoral college makes it possible to win an federal election without winning the national popular vote. It also, similarly but not as badly as the Senate, represent the people of each state disproportionally as each state has two extra electoral votes regardless of their population. + </p> + <p> + A subtle but serious problem with the electoral college is that electors' listening to the votes of the people is only a <em>tradition</em>. Legally, electors can vote however they want, meaning that the US is not theoretically a democracy. This hasn't happened before, but this is one more to the list of problems in the constitution, and is a potential for disaster. + </p> + + <h2 id="plurality-voting">Plurality Voting</h2> + <p> + Single-winner elections in the US uses what's called "plurality voting", where each voter casts one vote to their favorite candidate and the candidate with the most votes win. This contributes to the partisan dualopoly (not an actual word, but it basically means "monopoly" but with two rather than one) as voters who support smaller parties will undergo the decision of choosing their honest favorite or one of the two big parties that most closely ressembles their favorite. As it's hard to gather votes for smaller parties, and thus there's a small chance of them actually winning the electron, many voters strategically vote for the big party in order to not be "taken over" by the big party that they oppose more. + </p> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/forge-workflows.html b/forge-workflows.html index 3a67a32..91bdcc0 100644 --- a/forge-workflows.html +++ b/forge-workflows.html @@ -1,38 +1,55 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Forge Workflows</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1>Forge Workflows</h1> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Force Worlflows</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Forge Workflows</h1> +</header> + +<article> + + <p>I generally use <a href="https://git.runxiyu.org/">my own Git server</a> for my projects. I also use my <a href="https://sr.ht/~runxiyu">sr.ht account</a> for <a href="https://todo.sr.ht/~runxiyu">issue tracking</a> and <a href="https://lists.sr.ht/~runxiyu">mailing lists</a>, and <a href="https://git.sr.ht/~runxiyu">their Git</a> for some projects too.</p> + <p>Regardless of whether I'm using my own infrastructure with plain Cgit and plain mailing lists (except that my mailing list manager is slightly broken for now), or the slightly better-integrated environment sourcehut provides, a contributor who wishes to submit some of their commits may simply do the following with <a href="https://git-send-email.io">git-send-email</a>:</p> + <ol> + <li>Configure git-send-email (only once!)</li> + <li>Clone the repository to a local directory</li> + <li>Make some changes and commit</li> + <li><code>git send-email HEAD^ --to='~runxiyu/public-inbox@lists.sr.ht'</code> or something similar</li> + </ol> + <p>This is much easier, imo, than the pull-request workflow popularized by GitHub (which is proprietary by the way) and similar forges:</p> + <ol> + <li>Register an account on the forge (once per forge)</li> + <li>Click “fork” on the repo's Web interface</li> + <li>Clone the fork to a local directory</li> + <li>Make some changes and commit</li> + <li>Push</li> + <li>Go back to the Web interface to create a PR (which often involves clicking at least three buttons)</li> + <li>Delete your redundant fork once the PR is merged and your repo is not really useful anymore</li> + </ol> + <p>Why do certain people hate on sourcehut? Really convenient workflow IMO.</p> + <div id="footer"> + <hr /> + <p><a href="/">Runxi Yu's Website</a></p> - <p>I generally use <a href="https://git.runxiyu.org/">my own Git server</a> for my projects. I also use my <a href="https://sr.ht/~runxiyu">sr.ht account</a> for <a href="https://todo.sr.ht/~runxiyu">issue tracking</a> and <a href="https://lists.sr.ht/~runxiyu">mailing lists</a>, and <a href="https://git.sr.ht/~runxiyu">their Git</a> for some projects too.</p> - <p>Regardless of whether I'm using my own infrastructure with plain Cgit and plain mailing lists (except that my mailing list manager is slightly broken for now), or the slightly better-integrated environment sourcehut provides, a contributor who wishes to submit some of their commits may simply do the following with <a href="https://git-send-email.io">git-send-email</a>:</p> - <ol> - <li>Configure git-send-email (only once!)</li> - <li>Clone the repository to a local directory</li> - <li>Make some changes and commit</li> - <li><code>git send-email HEAD^ --to='~runxiyu/public-inbox@lists.sr.ht'</code> or something similar</li> - </ol> - <p>This is much easier, imo, than the pull-request workflow popularized by GitHub (which is proprietary by the way) and similar forges:</p> - <ol> - <li>Register an account on the forge (once per forge)</li> - <li>Click “fork” on the repo's Web interface</li> - <li>Clone the fork to a local directory</li> - <li>Make some changes and commit</li> - <li>Push</li> - <li>Go back to the Web interface to create a PR (which often involves clicking at least three buttons)</li> - <li>Delete your redundant fork once the PR is merged and your repo is not really useful anymore</li> - </ol> - <p>Why do certain people hate on sourcehut? Really convenient workflow IMO.</p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> + </div> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/free-hardware.html b/free-hardware.html index ba710b6..6ecd846 100644 --- a/free-hardware.html +++ b/free-hardware.html @@ -1,16 +1,23 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Free Hardware</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body class="indent"> - <h1>Free Hardware</h1> - - <p>This article is unfinished, combined from all over the place, and is a big mess. Read if you want, I guess.</p> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Free Hardware</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Free Hardware</h1> +</header> + +<article> + <p>This article is unfinished, combined from all over the place, and is a big mess. Read if you want, I guess.</p> <p><strong>In "free software" and "free hardware", the "free" in "free computing" does not refer to price; it refers to freedom and liberty of users.</strong></p> <p>This section is mainly for posts on <em>hardware hardware designs</em>. Without which, <em>no computer user is free</em>.</p> <blockquote> @@ -123,10 +130,14 @@ licenses and copyleft-in-patents to hopefully prevent patent trolls from taking over the world again. (This is also what the Evosaur project is attempting to do.) </pre> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/free-software-education-in-china-and-covid-19.html b/free-software-education-in-china-and-covid-19.html index 11860f2..41c2ee3 100644 --- a/free-software-education-in-china-and-covid-19.html +++ b/free-software-education-in-china-and-covid-19.html @@ -1,92 +1,105 @@ - -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>On Free Software, Education in China and the COVID-19 Pandemic</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - </head> - <body class="indent"> - <h1>On Free Software, Education in China and the COVID-19 Pandemic</h1> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>On Free Software, Education in China and the COVID-19 Pandemic</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>On Free Software, Education in China and the COVID-19 Pandemic</h1> +</header> + +<article> - <p><i>This was originally an email to the Libreplanet-discuss mailing list.</i></p> - - <p> - I am a secondary school student from Shanghai, China. This email discusses the problems I discovered in the Chinese educational system, in terms of students' right to freedom in computing and options to control the COVID-19 pandemic from the standpoint of a person living in China. - </p> - - <p> - When COVID-19 broke out in 2020, students were required to watch lecture videos produced by the city's education department for twenty minutes, then join the Tencent Meetings room to discuss in their own class for 10--15 minutes. - </p> - - <p> - Watching the videos wasn't an issue for me. Our apartment has cable TV, where the videos are broadcast; there was also a website that played the livestream without JavaScript. However, Tencent Meetings presented a problem to me. - </p> - - <p> - At the time, I run Arch Linux. (Currently, I run Hyperbola GNU/Linux-libre, a Free Software-only distribution, which would have made this even harder.) Tencnet Meetings, claiming to support "all operating systems and platforms", only supports Windows and macOS. (I wonder how they passed the resolution to display that statement, I believe that they have many programmers who use GNU/Linux.) (As of October 2021, a classmate noted that there is a "Linux versuon".) School required Tencent Meetings, therefore I went through a hard process to setup QEMU running a Windows 7 virtual machine—I believed that 7 would be slightly better than 10 in terms of privacy, though as always with nonfree software, I can't really know for sure. It was slightly unstable, which is an annoyance, for example the connection from the Windows audio server to pulseaudio would stop working from time to time, but it was acceptable. Though my setup was okay (in the perspective of my school), it left me in a psycological crisis about education and freedom. More on that later. - </p> - - <p> - Offline classes resumed in May 2020, as most of China has minimal cases of COVID-19. This freed me from using a proprietary non-privacy-respecting bloated piece of software in a virtual machine, but it did not free me from teachers' requirement to use WeChat (think of it as the equiv of WhatsApp in China), Xiaoheiban (A proprietary classroom information distribution system), or other pieces of nonfree software. - </p> - - <p> - Similar to the beliefs stated in the GNU Education project, I believe that schools and educaion are a means of sharing information and knowledge. I understand that meeting software and lesson management software are used as means of distributing knowledge, rather than the knowledge being distributed themselves. However, I believe this doesn't lead to the argument that the mandate of proprietary software usage is just, for three reasons as below. - </p> - - <ol> - <li>There are always going to be curious students who wonder how the trchnology works. Proprietary software denies them this right. </li> - <li>The usage of proprietary software when young may implant dependence on it in the future. </li> - <li>Education is a right and a responsility. Mandating nonfree software in education adds unjust responsibilities on students.</li> - </ol> - - <p> - Point 1 and 2 are explained well in the Education section of the GNU website, therefore I am not going to focus on them. Focusing on the third point: - </p> - - <p> - Under laws of almost all countries, citizens have the right to an education. Traditionally, this involves going to school, meeting teachers and classmates, listening to classes, taking notes, passing exams (I have strong opinions that exam systems ought to change to better represent individual talents, but this is out of scope of this memo.) and finishing homework. Students loose a slight bit of their time and freedom of movement (as in, it's not easy to move to a house 100 miles away from school), in exchange for being educated. - </p> - - <p> - However, with schools requiring the use of nonfree software, in effect students are required to give up their privacy, and digital freedom, both crucial rights in modern society, as the effect of needing to use nonfree software. The right to education has effectively turned into an exchange for other basic rights. This is not acceptable. - </p> - - <p> - Furthermore, in countries like China, 9 years of education is mandatory for children. I understand this law as a means to the goal of creating a knowledgeble and educated society, which is good. However, when mandatory edication mandates nonfree software, it deduces to "children are required to use nonfree software". So, being a child here is pretty unlucky, because there goes your right to privacy, your independence, and your freedom, because of a law that's supposed to help society. - </p> - - <p> - We need to stop using nonfree software in education. - </p> - - <p> - In th beginning of this email, I mentioned COVID-19. You might be wondering how the Chinese government fully put the pandemic under control in just 5 months, which is seemingly impossible if all you know is how the US dealt with this situation. - </p> - - <p> - The answer is that the Chinese government is implementing strict contact tracing. This is extremely easy because of the prevaliance of survillance. Many would argue that this is a benefit of survillance, which I believe to be true. However, no comparisons were given between losing privacy and increasing the risk or infection. Briefly inspecting this idea in my head, it's really hard to think about—privacy and freedom is important in the long term, at the cost of many lives in the pandemic. The lives of these dead are gone—they lose not only privacy and computing freedom, they lose their lives, which costs them their opportunity to pursue their dreams in this world, and they have no freedom of choice, speech, etc as they aren't alive. Once again, this is hard to wrap my mind around, therefore I would especially like to invite the community to discuss this. - </p> - - <p> - The contact tracing system used is not Free Software. At first I didn't understand why (except for the explanation that they want to profit from harming citizens which is hopefully just a hypothetical "explanation"), but I noticed that the authenticity and accuracy of the system may be affected if users are allowed to modify their software. This seems to be the core of some problems with regards to software freedom—here, the user is not running software to complete their tasks. Rather, it's the government's way to maintain public safety, therefore I believe that whether users should be able to modify software in these conditions is up to discussion. Back to the point, since a green-code proof from the system is needed to get in a lot of places, a person basically needs to use proprietary software to live a normal life (to get into coffee shops, for example). - </p> - - <p> - In the US and other countries, things aren't that good either. For one, the pandemic isn't controlled well. As a consequence, a lot of places require negative COVID tests to do stuff. <a href="https://lists.gnu.org/archive/html/libreplanet-discuss/2021-08/msg00008.html">A thread on the LibrePlanet mailing list</a> discusses this issue, as a lot of these tests require nonfree software on users' phones. Note that this thread spans several months long, as it is a hot discussion, so look in the september and october archives too. The thread explains the implications clearly, thus I am not discussing it here. - </p> - - <p> - Additionally, I heard that some US courts require Zoom for online cases, therefore it seems that a person' right to judicial justice comes at the cost of digital freedom. I can't confirm this, but if that's true, I'm truly disappointed at the judicial system, even though I'm not a US citizen. - </p> - - <p>I am looking forward to a freer society, or at least one where the above problems get solved.</p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> + <p><i>This was originally an email to the Libreplanet-discuss mailing list.</i></p> + + <p> + I am a secondary school student from Shanghai, China. This email discusses the problems I discovered in the Chinese educational system, in terms of students' right to freedom in computing and options to control the COVID-19 pandemic from the standpoint of a person living in China. + </p> + + <p> + When COVID-19 broke out in 2020, students were required to watch lecture videos produced by the city's education department for twenty minutes, then join the Tencent Meetings room to discuss in their own class for 10--15 minutes. + </p> + + <p> + Watching the videos wasn't an issue for me. Our apartment has cable TV, where the videos are broadcast; there was also a website that played the livestream without JavaScript. However, Tencent Meetings presented a problem to me. + </p> + + <p> + At the time, I run Arch Linux. (Currently, I run Hyperbola GNU/Linux-libre, a Free Software-only distribution, which would have made this even harder.) Tencnet Meetings, claiming to support "all operating systems and platforms", only supports Windows and macOS. (I wonder how they passed the resolution to display that statement, I believe that they have many programmers who use GNU/Linux.) (As of October 2021, a classmate noted that there is a "Linux versuon".) School required Tencent Meetings, therefore I went through a hard process to setup QEMU running a Windows 7 virtual machine—I believed that 7 would be slightly better than 10 in terms of privacy, though as always with nonfree software, I can't really know for sure. It was slightly unstable, which is an annoyance, for example the connection from the Windows audio server to pulseaudio would stop working from time to time, but it was acceptable. Though my setup was okay (in the perspective of my school), it left me in a psycological crisis about education and freedom. More on that later. + </p> + + <p> + Offline classes resumed in May 2020, as most of China has minimal cases of COVID-19. This freed me from using a proprietary non-privacy-respecting bloated piece of software in a virtual machine, but it did not free me from teachers' requirement to use WeChat (think of it as the equiv of WhatsApp in China), Xiaoheiban (A proprietary classroom information distribution system), or other pieces of nonfree software. + </p> + + <p> + Similar to the beliefs stated in the GNU Education project, I believe that schools and educaion are a means of sharing information and knowledge. I understand that meeting software and lesson management software are used as means of distributing knowledge, rather than the knowledge being distributed themselves. However, I believe this doesn't lead to the argument that the mandate of proprietary software usage is just, for three reasons as below. + </p> + + <ol> + <li>There are always going to be curious students who wonder how the trchnology works. Proprietary software denies them this right. </li> + <li>The usage of proprietary software when young may implant dependence on it in the future. </li> + <li>Education is a right and a responsility. Mandating nonfree software in education adds unjust responsibilities on students.</li> + </ol> + + <p> + Point 1 and 2 are explained well in the Education section of the GNU website, therefore I am not going to focus on them. Focusing on the third point: + </p> + + <p> + Under laws of almost all countries, citizens have the right to an education. Traditionally, this involves going to school, meeting teachers and classmates, listening to classes, taking notes, passing exams (I have strong opinions that exam systems ought to change to better represent individual talents, but this is out of scope of this memo.) and finishing homework. Students loose a slight bit of their time and freedom of movement (as in, it's not easy to move to a house 100 miles away from school), in exchange for being educated. + </p> + + <p> + However, with schools requiring the use of nonfree software, in effect students are required to give up their privacy, and digital freedom, both crucial rights in modern society, as the effect of needing to use nonfree software. The right to education has effectively turned into an exchange for other basic rights. This is not acceptable. + </p> + + <p> + Furthermore, in countries like China, 9 years of education is mandatory for children. I understand this law as a means to the goal of creating a knowledgeble and educated society, which is good. However, when mandatory edication mandates nonfree software, it deduces to "children are required to use nonfree software". So, being a child here is pretty unlucky, because there goes your right to privacy, your independence, and your freedom, because of a law that's supposed to help society. + </p> + + <p> + We need to stop using nonfree software in education. + </p> + + <p> + In th beginning of this email, I mentioned COVID-19. You might be wondering how the Chinese government fully put the pandemic under control in just 5 months, which is seemingly impossible if all you know is how the US dealt with this situation. + </p> + + <p> + The answer is that the Chinese government is implementing strict contact tracing. This is extremely easy because of the prevaliance of survillance. Many would argue that this is a benefit of survillance, which I believe to be true. However, no comparisons were given between losing privacy and increasing the risk or infection. Briefly inspecting this idea in my head, it's really hard to think about—privacy and freedom is important in the long term, at the cost of many lives in the pandemic. The lives of these dead are gone—they lose not only privacy and computing freedom, they lose their lives, which costs them their opportunity to pursue their dreams in this world, and they have no freedom of choice, speech, etc as they aren't alive. Once again, this is hard to wrap my mind around, therefore I would especially like to invite the community to discuss this. + </p> + + <p> + The contact tracing system used is not Free Software. At first I didn't understand why (except for the explanation that they want to profit from harming citizens which is hopefully just a hypothetical "explanation"), but I noticed that the authenticity and accuracy of the system may be affected if users are allowed to modify their software. This seems to be the core of some problems with regards to software freedom—here, the user is not running software to complete their tasks. Rather, it's the government's way to maintain public safety, therefore I believe that whether users should be able to modify software in these conditions is up to discussion. Back to the point, since a green-code proof from the system is needed to get in a lot of places, a person basically needs to use proprietary software to live a normal life (to get into coffee shops, for example). + </p> + + <p> + In the US and other countries, things aren't that good either. For one, the pandemic isn't controlled well. As a consequence, a lot of places require negative COVID tests to do stuff. <a href="https://lists.gnu.org/archive/html/libreplanet-discuss/2021-08/msg00008.html">A thread on the LibrePlanet mailing list</a> discusses this issue, as a lot of these tests require nonfree software on users' phones. Note that this thread spans several months long, as it is a hot discussion, so look in the september and october archives too. The thread explains the implications clearly, thus I am not discussing it here. + </p> + + <p> + Additionally, I heard that some US courts require Zoom for online cases, therefore it seems that a person' right to judicial justice comes at the cost of digital freedom. I can't confirm this, but if that's true, I'm truly disappointed at the judicial system, even though I'm not a US citizen. + </p> + + <p>I am looking forward to a freer society, or at least one where the above problems get solved.</p> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> + diff --git a/index.html b/index.html index 40c88b3..5be88f8 100644 --- a/index.html +++ b/index.html @@ -1,38 +1,33 @@ <!DOCTYPE html> <html lang="en"> - <head> - <meta charset="UTF-8" /> - <title>Runxi Yu</title> - - <link rel="stylesheet" href="./style.css" /> - <!-- <link rel="stylesheet" href="../source/oldstyle.css" /> --> - <link rel="icon" href="./favicon.ico" sizes="any" /> - <!-- <link rel="icon" href="./icon.svg" type="image/svg+xml" /> --> - - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <meta name="theme-color" content="#241504" /> - <meta name="color-scheme" content="light dark"> + <meta charset="UTF-8" /> + <title>Runxi Yu</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> </head> - <body> <header> - <h1>Runxi Yu</h1> - <nav> - <ul> - <li><a href="https://git.runxiyu.org/">Git</a></li> - <li><a href="https://git.runxiyu.org/runxiyu/current/philo.git/plain">Docs</a></li> - <li><a href="./microblog">Microblog</a></li> - <li><a href="https://www.andrewyu.org/">Old Site</a></li> - <li><a href="https://irc.runxiyu.org/">IRC</a></li> - </ul> - </nav> + <h1>Runxi Yu</h1> + <nav> + <ul> + <li><a href="https://git.runxiyu.org/">Git</a></li> + <li><a href="https://git.runxiyu.org/runxiyu/current/philo.git/plain">Docs</a></li> + <li><a href="./microblog">Microblog</a></li> + <li><a href="https://www.andrewyu.org/">Old Site</a></li> + <li><a href="https://irc.runxiyu.org/">IRC</a></li> + </ul> + </nav> </header> <article> - <p id="about-me">I am Runxi Yu, a 16-year-old student. I am interested in philosophy (e.g. epistemology and political philosophy), mathematics, and some physics. I wouldn't say that I'm that interested in academic computer science, although I do have computer-related projects.</p> - <p id="pronouns">My pronouns are they/them in English and 他 in Chinese.</p> +<p id="about-me">I am Runxi Yu, a 16-year-old student. I am interested in philosophy (e.g. epistemology and political philosophy), mathematics, and some physics. I wouldn't say that I'm that interested in academic computer science, although I do have computer-related projects.</p> +<p id="pronouns">My pronouns are they/them in English and 他 in Chinese.</p> <h2 id="contact">Contact</h2> <p>Please do not copy these email addresses; they've been slightly obfuscated to prevent some types of spam. Type them yourself.</p> @@ -57,7 +52,6 @@ <li><a href="./chinese-pronouns.html">Reclaiming "他" as a gender-inclusive pronoun</a></li> <li><a href="./sway-keysym.html">Sway keysym</a></li> <li><a href="./unicorn.html">Unicorn</a></li> - <li><a href="./texmacs-maxima-integral.html">TeXmacs Maxima Integrals</a></li> <li><a href="./gender-and-pronouns.html">Gender and Pronouns</a></li> <!-- <li><a href="./poems-2.html">Poems Collection 2</a></li> <li><a href="./poems-1.html">Poems Collection 1</a></li> @@ -80,20 +74,17 @@ <li><a href="./comms.html">Communication Guidelines</a></li> <li><a href="./wechat.html">On WeChat</a></li> <li><a href="./ask.html">Don't ask to ask, just ask</a></li> - <li><a href="./on-suicide-jokes.html">On Jokes about Suicide</a></li> <li><a href="./on-racist-jokes.html">On Racist Jokes</a></li> <li><a href="./really.html">"Really" is a really confusing word!</a></li> </ul> - </article> <footer> - <ul role="list"> - <li><a href="./">Home</a></li> - <li>Runxi Yu</li> - <li><a rel="license" href="./pubdom.html">Public Domain</a></li> - </ul> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> </footer> </body> - </html> diff --git a/journey-overcoming-rationalism.html b/journey-overcoming-rationalism.html index 06d7bb6..a3ba7b7 100644 --- a/journey-overcoming-rationalism.html +++ b/journey-overcoming-rationalism.html @@ -1,68 +1,79 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>A journey to overcome rationalism?</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1>A journey to overcome rationalism?</h1> - +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>A journey to overcome rationalism?</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>A journey to overcome rationalism?</h1> +</header> + +<article> + + <details> + <summary>Content warnings: Science mysticism, bigotry, etc.</summary> + <br /> + <br /> <details> - <summary>Content warnings: Science mysticism, bigotry, transphobia, republicans, vomit, Descartes, Hegel, questioning existence, rationalism, intuitionism.</summary> - <br /> - <br /> - <details> - <summary>Some preamble and background</summary> - <p> -Yesterday at my summer school we were watching a spiderman-related movie. I have no idea about how these works relate to each other, so that’d my best effort at describing it. I wasn’t paying full attention, but I heard a school teacher teaching that there are many parallel universes in a quantum physics class. This is likely a reference to the Many Worlds Interpretation. It’s an *interpretation* and teaching it as “the truth” bothers me a little, but I suppose that’s not too bad on its own. But later in the movie there was “time traveling through dimensions” where the “dimensions” are described as parallel universes under Many Worlds. I don’t understand quantum mechanics, but this is still utterly senseless in my basic understanding thereof, i.e. the non-communicating nature of “branches” (although I dislike this terminology I find it intuitive) and it breaks energy conservation laws (though arguably this is not really a law, prohibiting actions which may bring empirical evidence to falsity it). We also discussed, in the light of Dr. Davies’ lecture, on how most films prematurely depict characters into a structural binary opposition between the benevolent and malicious. We didn’t finish watching the movie, but it was an interesting discussion. - </p> + <summary>Some preamble and background</summary> + <p> +y at my summer school we were watching a spiderman-related movie. I have no idea about how these works relate to each other, so that’d my best effort at describing it. I wasn’t paying full attention, but I heard a school teacher teaching that there are many parallel universes in a quantum physics class. This is likely a reference to the Many Worlds Interpretation. It’s an *interpretation* and teaching it as “the truth” bothers me a little, but I suppose that’s not too bad on its own. But later in the movie there was “time traveling through dimensions” where the “dimensions” are described as parallel universes under Many Worlds. I don’t understand quantum mechanics, but this is still utterly senseless in my basic understanding thereof, i.e. the non-communicating nature of “branches” (although I dislike this terminology I find it intuitive) and it breaks energy conservation laws (though arguably this is not really a law, prohibiting actions which may bring empirical evidence to falsity it). We also discussed, in the light of Dr. Davies’ lecture, on how most films prematurely depict characters into a structural binary opposition between the benevolent and malicious. We didn’t finish watching the movie, but it was an interesting discussion. + </p> - <p> -Further content warning: Things are about to get much worse. - </p> + <p> +content warning: Things are about to get much worse. + </p> - <p> -I was coming out of the classroom, the other groups who went shopping or on tours came back at around the same time. I was going to the place where we check-in to being on-campus. Near the steps of the cafeteria I heard A saying to B, that A believes that B is a right-wing extremist. B is my roommate who holds relatively different political beliefs than I do, such as antifeminism. Without much context, I told A that saying people are “right-wing extremists” is ad hominem and should be avoided, even though I knew that I would probably disagree with whatever B was talking about. - </p> + <p> +ming out of the classroom, the other groups who went shopping or on tours came back at around the same time. I was going to the place where we check-in to being on-campus. Near the steps of the cafeteria I heard A saying to B, that A believes that B is a right-wing extremist. B is my roommate who holds relatively different political beliefs than I do, such as antifeminism. Without much context, I told A that saying people are “right-wing extremists” is ad hominem and should be avoided, even though I knew that I would probably disagree with whatever B was talking about. + </p> - <p> -I was tired of politics for the day. I already took four US Letter size pages of notes during the day, in two precepts, one seminar, and three lectures, most of which were about political philosophy. So I just listened in to what another group were talking about, which if I remember correctly had to do with their shopping trip and was not political. Then I heard B shout, loud enough to frighten me quite a bit, that “IF YOU WERE BORN MALE YOU ARE MALE, IF YOU WERE BORN FEMALE YOU ARE FEMALE, IT’S COMPLETELY INVALID TO CHANGE IT.” and “THERE ARE ONLY TWO GENDERS”. - </p> + <p> +red of politics for the day. I already took four US Letter size pages of notes during the day, in two precepts, one seminar, and three lectures, most of which were about political philosophy. So I just listened in to what another group were talking about, which if I remember correctly had to do with their shopping trip and was not political. Then I heard B shout, loud enough to frighten me quite a bit, that “IF YOU WERE BORN MALE YOU ARE MALE, IF YOU WERE BORN FEMALE YOU ARE FEMALE, IT’S COMPLETELY INVALID TO CHANGE IT.” and “THERE ARE ONLY TWO GENDERS”. + </p> - <p> -Before, when talking peacefully, I was fine discussing about my opinions (clearly completely opposite from B’s), and considering B’s arguments on traditional family values, even if I consistently believe that these values have no merit in contemporary society and are inherently misogynistic, which was also encapsulated in his express support for patriarchy. But this time, when I heard it shouted out loud, I couldn’t take it anymore. - </p> + <p> +when talking peacefully, I was fine discussing about my opinions (clearly completely opposite from B’s), and considering B’s arguments on traditional family values, even if I consistently believe that these values have no merit in contemporary society and are inherently misogynistic, which was also encapsulated in his express support for patriarchy. But this time, when I heard it shouted out loud, I couldn’t take it anymore. + </p> - <p> -I felt sick. I almost threw up immediately; I went to a bathroom and vomited, not a lot, but I still did. It’s a weird feeling of bring completely alienated, worse than any normal dysphoria that I could conceive. - </p> - </details> + <p> +ick. I almost threw up immediately; I went to a bathroom and vomited, not a lot, but I still did. It’s a weird feeling of bring completely alienated, worse than any normal dysphoria that I could conceive. + </p> + </details> - <p> -I asked a random member of staff, if they had vomit medications. They said no, asked me if I knew why I was feeling sick, and offered to chat with me for a while after I explained the course of events. They are also nonbinary, and had similar experiences. We agreed on the argument that cisgender people who do not experience gender dysphoria or euphoria cannot soundly assume that the trans condition is fake and made up, as it is a personal experience, not a external trait. - </p> + <p> +a random member of staff, if they had vomit medications. They said no, asked me if I knew why I was feeling sick, and offered to chat with me for a while after I explained the course of events. They are also nonbinary, and had similar experiences. We agreed on the argument that cisgender people who do not experience gender dysphoria or euphoria cannot soundly assume that the trans condition is fake and made up, as it is a personal experience, not a external trait. + </p> - <p> -Gradually the conversation shifted to whether it’s necessary to prove my own existence. (This deviates from the transgender-related discussion; proving my own existence in terms of my mind, is different from proving my, or the general concept of, transgender experiences, but it’s nevertheless a topic we landed on.) I mentioned Descartes’s Cogito Ergo Sum, and we discussed what “existence” means in this context. The conversation moved on to other parts of the Meditations. They interpreted the Third Meditation as not an argument for God in the religious sense, and described it as something resembling that, in my opinion, resembled my understanding, from today’s precept, of Hegel’s absolute spirit. He stipulated the existence of an entity that is the state of the world which could be interpreted as either ideal or current, rather than a conscious coherent person-like entity being the deity. I’ll probably have to re-read Meditations with this caveat in mind (or perhaps with a literal s/god/something/i and at least try to understand Hegel which would be challenging. - </p> + <p> +y the conversation shifted to whether it’s necessary to prove my own existence. (This deviates from the transgender-related discussion; proving my own existence in terms of my mind, is different from proving my, or the general concept of, transgender experiences, but it’s nevertheless a topic we landed on.) I mentioned Descartes’s Cogito Ergo Sum, and we discussed what “existence” means in this context. The conversation moved on to other parts of the Meditations. They interpreted the Third Meditation as not an argument for God in the religious sense, and described it as something resembling that, in my opinion, resembled my understanding, from today’s precept, of Hegel’s absolute spirit. He stipulated the existence of an entity that is the state of the world which could be interpreted as either ideal or current, rather than a conscious coherent person-like entity being the deity. I’ll probably have to re-read Meditations with this caveat in mind (or perhaps with a literal s/god/something/i and at least try to understand Hegel which would be challenging. + </p> - <p> -Later on, I explained my argument that in general I do not accept assertions that are unreasoned, and I suppress the “gut intuition”, even for seemingly basic assertions such as “I exist in a physical world”. The teacher explained why they believe that rationalism is an inconsistent theory, and importantly, that personal experiences cannot be rationally deconstructed and attested, nor do they have to be rationally proven beyond a reasonable doubt. - </p> + <p> +, I explained my argument that in general I do not accept assertions that are unreasoned, and I suppress the “gut intuition”, even for seemingly basic assertions such as “I exist in a physical world”. The teacher explained why they believe that rationalism is an inconsistent theory, and importantly, that personal experiences cannot be rationally deconstructed and attested, nor do they have to be rationally proven beyond a reasonable doubt. + </p> - <p> -And perhaps this is when things start clicking for me. Perhaps I could, under my own conscious will and conscience, whether free or controlled, loosen my grip on rationality, logic, and proof. - </p> + <p> +aps this is when things start clicking for me. Perhaps I could, under my own conscious will and conscience, whether free or controlled, loosen my grip on rationality, logic, and proof. + </p> - </details> + </details> +</article> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/math-science-and-philosophy.html b/math-science-and-philosophy.html index 6df8b8e..6855657 100644 --- a/math-science-and-philosophy.html +++ b/math-science-and-philosophy.html @@ -1,14 +1,22 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Math, Science, and Philosophy</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Math, Science, and Philosophy</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> <h1>Math, Science, and Philosophy</h1> +</header> + +<article> <p>This document is still in discussion and may be improved over time.</p> @@ -275,10 +283,15 @@ particle physics or in special unitary groups, yet. href="#fnref1" class="footnote-back" role="doc-backlink">↩︎</a></p></li> </ol> </section> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> + diff --git a/on-racist-jokes.html b/on-racist-jokes.html index 15f31e9..12a380d 100644 --- a/on-racist-jokes.html +++ b/on-racist-jokes.html @@ -1,38 +1,49 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>On Racist Jokes</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1>On Racist Jokes</h1> - <p>(This page was originally written as a response to an event that occurred in my year group at school. It has since became less of a current issue.)</p> - <p>The use of the terms "black" and "black slave" as insults is:</p> - <ul> - <li>profoundly disrespectful towards the millions of black people that have been abused, discriminated against, and treated unfairly, in the past and the present</li> - <li>ill-considerate towards people who are experiencing racism</li> - <li>demonstrates a toxic and arrogant lack of empathy towards the disadvantaged.</li> - </ul> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>On Racist Jokes></title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> - <p> - A common argument to make here is that "consider how you would be discriminated against when you become the minority, you wouldn't appreciate such jokes on your social group". Although we head in the same general direction, I do not agree with this frame of mind. Discriminatory jokes are wrong, independent of the possibility of the discriminator being held to the same activities in the future. - </p> +</head> +<body> +<header> + <h1>On Racist Jokes</h1> +</header> - <p> - The argument to "take this easy as these are just jokes" is ridiculous. The mere act of descriptive terms for a specific social group being used as a "joke" undermines the seriousness of the social issue. Find something else to joke about. Not something like racism and other forms of discrimination. - </p> +<article> + <p>(This page was originally written as a response to an event that occurred in my year group at school. It has since became less of a current issue.)</p> + <p>The use of the terms "black" and "black slave" as insults is:</p> + <ul> + <li>profoundly disrespectful towards the millions of black people that have been abused, discriminated against, and treated unfairly, in the past and the present</li> + <li>ill-considerate towards people who are experiencing racism</li> + <li>demonstrates a toxic and arrogant lack of empathy towards the disadvantaged.</li> + </ul> - <p> - It is similarly bad to direct hatred towards others who fight against racism. - </p> + <p> + A common argument to make here is that "consider how you would be discriminated against when you become the minority, you wouldn't appreciate such jokes on your social group". Although we head in the same general direction, I do not agree with this frame of mind. Discriminatory jokes are wrong, independent of the possibility of the discriminator being held to the same activities in the future. + </p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> + <p> + The argument to "take this easy as these are just jokes" is ridiculous. The mere act of descriptive terms for a specific social group being used as a "joke" undermines the seriousness of the social issue. Find something else to joke about. Not something like racism and other forms of discrimination. + </p> + + <p> + It is similarly bad to direct hatred towards others who fight against racism. + </p> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/on-suicide-jokes.html b/on-suicide-jokes.html deleted file mode 100644 index 87427c0..0000000 --- a/on-suicide-jokes.html +++ /dev/null @@ -1,22 +0,0 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>On Jokes about Suicide</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1>On Jokes about Suicide</h1> - <p class="copyright"> - People really need to stop joking about suicide. Stop clowning around with statements like "I’m gonna kill myself" "I will commit suicide" or "I want to jump off a building". It is not cool to tell others you want to end your own life for something of little importance that may have inconvenienced or bothered you. It is extremely disrespectful to the hundreds of thousands of people who loose their lives because of suicide and is inconsiderate to people who are really suffering from mental health issues. Joking about suicide is not okay, grow up and find other ways to deal with and express your stress or frustrations. - </p> - <p>This short paragraph was written by Tyler Zhang, a student at YKPS.</p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - <p>This page is Copyright 2022 by Tyler Zhang.</p> - </div> - </body> -</html> diff --git a/pragmatic-use-of-nonfree-software.html b/pragmatic-use-of-nonfree-software.html index fb870d8..3b850a4 100644 --- a/pragmatic-use-of-nonfree-software.html +++ b/pragmatic-use-of-nonfree-software.html @@ -1,129 +1,142 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Pragmatic Use of Nonfree Software</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - </head> - <body class="indent"> - <h1>Pragmatic Use of Nonfree Software</h1> - - <h2>Abstract</h2> - - <p> - Free Software is undoubtably a good thing for society. However, modern computer users are stuck in the proprietary "ecosystem" for historical reasons. This document describes the justification and best current practices of using proprietary platforms to spread the ideas of Free Software. - </p> - - <h2>Status of This Memo</h2> - - <p> - This document describes the author's viewpoint. This does not represent the ideas of the Free Software Foundation or any other entity. Distribution of this memo is unlimited. - </p> - - <h2>Introduction</h2> - - <p> - Readers of this memo probably understand the ideals of the Free Software Movement, and avoid proprietary software when possible. However, as most outsiders are unaware and are deeply buried inside the proprietary dystopia created by mostly multibillion-dollar technology corporations, our methods of communicating with the masses are ineffective. - </p> - - <p> - In February 2022, the author decided to permit limited usage of nonfree chat platforms to hopefully spread our ideas to the general public. This was attempted by registering a Discord account, creating a Guild called "Free Software Introductions", and setting up a basic Discord-to-IRC relay to #fsi on both irc.andrewyu.org (now irc.runxiyu.org) and irc.libera.chat. - </p> - - <p> - One of the communities that he knows about, the VF-Technic Minetest community, primarily uses Discord as a means of communication by players not in-game. As the users inside are Minetest players, a Free Software voxel sandbox game, similar to but much more flexible and freedom-respecting than Minecraft, it is believed that the users have some contact with Free Software, although they might not understand the freedom part of the issue, i.e. they might be thinking in terms of "open source" instead, and do not understand the harms of nonfree JavaScript and services like Discord. After sharing the invite link in the VF-Technic Guild, some people joined, and we've partially converted two users. - </p> - - <h2>Justification</h2> - - <p> - There are numerous free replacements to proprietary services such as Discord, such as Internet Relay Chat, the Extensible Messaging and Presence Protocol, the Matrix protocol, and email. As Free Software activists, we generally prefer these protocols over nonfree services. This section explains the reasons to consider nonfree services and protocols. - </p> - - <p> - Generally, users on IRC and XMPP have a fair understanding of the Free Software Movement, and it is quick and easy to inform them what we mean by "free", "the four freedoms", and similar ideas. For users on the Libera Chat IRC network, which by far has the most users of any network, it is exceptionally easy to introduce a user into the #fsf channel for discussions with people supporting Free Software. Introducing ignorant users on these protocols and platforms are a day-to-day simple task. Furthermore, the amount of users we can reach on these protocols are rather limiting. Libera has around forty thousand users according to the `LUSERS` command, and considering the fact that around 90% of these people aren't ignorant, there isn't much we can do. - </p> - - <p> - Matrix users, in particular users of the matrix.org homeserver, typically know but don't completely understand Free Software. Rather than using Matrix IDs to identify users, the Matrix specification specifies that third-party platform identities, such as email and GitHub, are how users should be referenced both internally by servers and shown to other users. This is obviously an increadibly foolish idea, especially considering the use of centralized identity servers (similar to X509 certificate authorities) for 3PIDs. These are our first targets, but these should also be easy to get the idea across. - </p> - - <p> - It is true that Libera Chat and similar IRC networks, though multi-centered in a technical way (i.e. multiple IRC servers form an IRC network), the network is politically centralized, controlled by one entity, Libera. The Internet Relay Chat server-to-server protocol implies that servers fully trust each other and are expected to not send damaging commands, which in turn implies full trust between server operators, no federation, and political centralization. The privacy policy and network policy of Libera Chat are non-intrusive, therefore the use of which is acceptable and is promoted by the FSF. (Obviously, most methods of using IRC do not involve nonfree software.) - </p> - - <p> - We currently find it hard to continue spreading basic knowledge among the masses through free communication protocols. - </p> - - <p> - Those that have never touched Free Software are often on giant proprietary platforms, and take these as universal methods of communication. Many people go months before checking their mailbox (physical or electronic), refuse to use XMPP or IRC for its age. - </p> - - <p> - There is one special case where using some nonfree software, and even urging others to use it, can be a positive thing. That's when the use of the nonfree software aims directly at putting an end to the use of that very same nonfree software. The author believes that the following fall within this scope: - </p> - - <ul> - <li>Developing a free project that requires nonfree environments to bootstrap.</li> - <li>To spread awareness of software freedom issues to users in nonfree environments.</li> - </ul> - - <p> - As almost all types of development can be done on most types of BSD and GNU operating systems, the author hasn't found any software that fit this category. Extending the interpretation allows for using nonfree software's behavior as a reference in Free Software development, though an arguable programming practice, may help the community to progress by understanding common features that users of nonfree services use. - </p> - - <p> - The latter is more interesting, as explained above our methods of spreading awareness is limited. Conservative usage of nonfree platforms may bring us more users, and chances for more of the general public to be enlightened. - </p> - - <h2>Current Practices</h2> - - <p> - Activists <b>MUST NOT</b> list such nonfree services in "Contact Information" pages on their website or similar sources, unless followed by a explanation that the purpose of the nonfree platform is to introduce users thereof onto free protocols and to eventually exterminate the nonfree platform. Whenever these references to nonfree platforms appear, the author <b>MUST</b> present free methods of communication. Activists <b>SHOULD</b> pragmatically use as many of the popular free protocols as possible, to ensure that opportunities of introductions are not lost. In cases involving competition between free and nonfree protocols and platforms, ethical concerns (i.e. enabling talking to a new user on any ethical platform) <b>MUST</b> take precedence over technical concerns (such as disliking the XMPP protocol for its inefficient use of XML). - </p> - - <p> - Communities for introducing users to Free Software on nonfree platforms <b>MUST</b> be bridged to a free protocol in some obvious way, in order to minimize the usage of nonfree platforms even for the purpose of communicating ideology to new users and allow members of the Free Software community refusing to use nonfree platforms in any way to participate. Usages of nonfree platforms, besides part of the user-introduction process that must happen on the nonfree platform, <b>SHOULD</b> be avoided. Free clients, if available, <b>SHOULD</b> be used, although many times usage is technically cumbersome. - </p> - - <p> - When both (all) sides of the communication are happy using a free protocol, proprietary platforms <b>MUST NOT</b> be used. - </p> - - <p> - During communications with users of nonfree platforms, activists <b>SHOULD</b> ask them what features of the nonfree platforms are attractive to the user, besides having more users. This allows the community to take usage by the general population into account when developing new software or specifications. - </p> - - <p> - For example, the author created a Discord Guild called Free Software Introductions, which is one-way-puppeted to #fsi on irc.andrewyu.org (currently dormant), which is then one-way-puppeted to Libera. The relay system is sort-of messed up, but it's working. Inviting new users to such Guilds (https://discord.gg/7CYp7ntww7) when perse refuses to or is ignorant on how to use IRC helps conveying our ideas to users, but as the author has made their own "sacrifice" already, there exists less of a need for other existing Free Software activists to join and use it instead of free protocols. - </p> - - <h2>Technical Limitations</h2> - - <p> - The old and centralized nature of IRC, the insane 3PID recommendation of Matrix, the bad routing and efficiency of XMPP, and the lack of documentation on PSYC, has led us to develop a new protocol, Internet Delay Chat, which aims to be free, modern (i.e. support for channel groups and shared permission sets, non-text data with MIME types), sane (i.e. TCP, UDP and SCTP-based, instead of HTTP POST APIs) and simple. - </p> - - <p> - Outsiders may point at these actions as cringeworthy because we are depending on things we are against to achieve our goals. In this situation, showing them this article should suffice. - </p> - - <h2>Conclusion</h2> - - <p> - The Free Software Community is constantly evolving; the majority of computer users haven't heard of us. While we improve our software, it is important that our ideology and philosophy is sent out of our internal circle. This demonstrates the necessity for momentarily sacrificing our own principle for the greater good while minimizing the harms of such pragmatic usage of nonfree software. - </p> - - <h2>Informative Links</h2> - <ul> - <li><a href="https://gnu.org/philosophy/is-ever-good-use-nonfree-program.en.html">Richard Stallman on this issue</a></li> - </ul> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Pragmatic Use of Nonfree Software</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Pragmatic Use of Nonfree Software</h1> +</header> + +<article> + + <h2>Abstract</h2> + + <p> + Free Software is undoubtably a good thing for society. However, modern computer users are stuck in the proprietary "ecosystem" for historical reasons. This document describes the justification and best current practices of using proprietary platforms to spread the ideas of Free Software. + </p> + + <h2>Status of This Memo</h2> + + <p> + This document describes the author's viewpoint. This does not represent the ideas of the Free Software Foundation or any other entity. Distribution of this memo is unlimited. + </p> + + <h2>Introduction</h2> + + <p> + Readers of this memo probably understand the ideals of the Free Software Movement, and avoid proprietary software when possible. However, as most outsiders are unaware and are deeply buried inside the proprietary dystopia created by mostly multibillion-dollar technology corporations, our methods of communicating with the masses are ineffective. + </p> + + <p> + In February 2022, the author decided to permit limited usage of nonfree chat platforms to hopefully spread our ideas to the general public. This was attempted by registering a Discord account, creating a Guild called "Free Software Introductions", and setting up a basic Discord-to-IRC relay to #fsi on both irc.andrewyu.org (now irc.runxiyu.org) and irc.libera.chat. + </p> + + <p> + One of the communities that he knows about, the VF-Technic Minetest community, primarily uses Discord as a means of communication by players not in-game. As the users inside are Minetest players, a Free Software voxel sandbox game, similar to but much more flexible and freedom-respecting than Minecraft, it is believed that the users have some contact with Free Software, although they might not understand the freedom part of the issue, i.e. they might be thinking in terms of "open source" instead, and do not understand the harms of nonfree JavaScript and services like Discord. After sharing the invite link in the VF-Technic Guild, some people joined, and we've partially converted two users. + </p> + + <h2>Justification</h2> + + <p> + There are numerous free replacements to proprietary services such as Discord, such as Internet Relay Chat, the Extensible Messaging and Presence Protocol, the Matrix protocol, and email. As Free Software activists, we generally prefer these protocols over nonfree services. This section explains the reasons to consider nonfree services and protocols. + </p> + + <p> + Generally, users on IRC and XMPP have a fair understanding of the Free Software Movement, and it is quick and easy to inform them what we mean by "free", "the four freedoms", and similar ideas. For users on the Libera Chat IRC network, which by far has the most users of any network, it is exceptionally easy to introduce a user into the #fsf channel for discussions with people supporting Free Software. Introducing ignorant users on these protocols and platforms are a day-to-day simple task. Furthermore, the amount of users we can reach on these protocols are rather limiting. Libera has around forty thousand users according to the `LUSERS` command, and considering the fact that around 90% of these people aren't ignorant, there isn't much we can do. + </p> + + <p> + Matrix users, in particular users of the matrix.org homeserver, typically know but don't completely understand Free Software. Rather than using Matrix IDs to identify users, the Matrix specification specifies that third-party platform identities, such as email and GitHub, are how users should be referenced both internally by servers and shown to other users. This is obviously an increadibly foolish idea, especially considering the use of centralized identity servers (similar to X509 certificate authorities) for 3PIDs. These are our first targets, but these should also be easy to get the idea across. + </p> + + <p> + It is true that Libera Chat and similar IRC networks, though multi-centered in a technical way (i.e. multiple IRC servers form an IRC network), the network is politically centralized, controlled by one entity, Libera. The Internet Relay Chat server-to-server protocol implies that servers fully trust each other and are expected to not send damaging commands, which in turn implies full trust between server operators, no federation, and political centralization. The privacy policy and network policy of Libera Chat are non-intrusive, therefore the use of which is acceptable and is promoted by the FSF. (Obviously, most methods of using IRC do not involve nonfree software.) + </p> + + <p> + We currently find it hard to continue spreading basic knowledge among the masses through free communication protocols. + </p> + + <p> + Those that have never touched Free Software are often on giant proprietary platforms, and take these as universal methods of communication. Many people go months before checking their mailbox (physical or electronic), refuse to use XMPP or IRC for its age. + </p> + + <p> + There is one special case where using some nonfree software, and even urging others to use it, can be a positive thing. That's when the use of the nonfree software aims directly at putting an end to the use of that very same nonfree software. The author believes that the following fall within this scope: + </p> + + <ul> + <li>Developing a free project that requires nonfree environments to bootstrap.</li> + <li>To spread awareness of software freedom issues to users in nonfree environments.</li> + </ul> + + <p> + As almost all types of development can be done on most types of BSD and GNU operating systems, the author hasn't found any software that fit this category. Extending the interpretation allows for using nonfree software's behavior as a reference in Free Software development, though an arguable programming practice, may help the community to progress by understanding common features that users of nonfree services use. + </p> + + <p> + The latter is more interesting, as explained above our methods of spreading awareness is limited. Conservative usage of nonfree platforms may bring us more users, and chances for more of the general public to be enlightened. + </p> + + <h2>Current Practices</h2> + + <p> + Activists <b>MUST NOT</b> list such nonfree services in "Contact Information" pages on their website or similar sources, unless followed by a explanation that the purpose of the nonfree platform is to introduce users thereof onto free protocols and to eventually exterminate the nonfree platform. Whenever these references to nonfree platforms appear, the author <b>MUST</b> present free methods of communication. Activists <b>SHOULD</b> pragmatically use as many of the popular free protocols as possible, to ensure that opportunities of introductions are not lost. In cases involving competition between free and nonfree protocols and platforms, ethical concerns (i.e. enabling talking to a new user on any ethical platform) <b>MUST</b> take precedence over technical concerns (such as disliking the XMPP protocol for its inefficient use of XML). + </p> + + <p> + Communities for introducing users to Free Software on nonfree platforms <b>MUST</b> be bridged to a free protocol in some obvious way, in order to minimize the usage of nonfree platforms even for the purpose of communicating ideology to new users and allow members of the Free Software community refusing to use nonfree platforms in any way to participate. Usages of nonfree platforms, besides part of the user-introduction process that must happen on the nonfree platform, <b>SHOULD</b> be avoided. Free clients, if available, <b>SHOULD</b> be used, although many times usage is technically cumbersome. + </p> + + <p> + When both (all) sides of the communication are happy using a free protocol, proprietary platforms <b>MUST NOT</b> be used. + </p> + + <p> + During communications with users of nonfree platforms, activists <b>SHOULD</b> ask them what features of the nonfree platforms are attractive to the user, besides having more users. This allows the community to take usage by the general population into account when developing new software or specifications. + </p> + + <p> + For example, the author created a Discord Guild called Free Software Introductions, which is one-way-puppeted to #fsi on irc.andrewyu.org (currently dormant), which is then one-way-puppeted to Libera. The relay system is sort-of messed up, but it's working. Inviting new users to such Guilds (https://discord.gg/7CYp7ntww7) when perse refuses to or is ignorant on how to use IRC helps conveying our ideas to users, but as the author has made their own "sacrifice" already, there exists less of a need for other existing Free Software activists to join and use it instead of free protocols. + </p> + + <h2>Technical Limitations</h2> + + <p> + The old and centralized nature of IRC, the insane 3PID recommendation of Matrix, the bad routing and efficiency of XMPP, and the lack of documentation on PSYC, has led us to develop a new protocol, Internet Delay Chat, which aims to be free, modern (i.e. support for channel groups and shared permission sets, non-text data with MIME types), sane (i.e. TCP, UDP and SCTP-based, instead of HTTP POST APIs) and simple. + </p> + + <p> + Outsiders may point at these actions as cringeworthy because we are depending on things we are against to achieve our goals. In this situation, showing them this article should suffice. + </p> + + <h2>Conclusion</h2> + + <p> + The Free Software Community is constantly evolving; the majority of computer users haven't heard of us. While we improve our software, it is important that our ideology and philosophy is sent out of our internal circle. This demonstrates the necessity for momentarily sacrificing our own principle for the greater good while minimizing the harms of such pragmatic usage of nonfree software. + </p> + + <h2>Informative Links</h2> + <ul> + <li><a href="https://gnu.org/philosophy/is-ever-good-use-nonfree-program.en.html">Richard Stallman on this issue</a></li> + </ul> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/pubdom.html b/pubdom.html index 0915d81..3b67dbd 100644 --- a/pubdom.html +++ b/pubdom.html @@ -1,15 +1,22 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Runxi Yu's Public Domain Dedication</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Runxi Yu's Public Domain Dedication</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> <h1>Runxi Yu's Public Domain Dedication</h1> +</header> +<article> <p>This is a public domain dedication based on the <a href="https://wpdd.info/">Worldwide Public Domain Dedication</a> by <a href="https://jxself.org">Jason Self</a>. As I have the increasing demand to formalize my public domain stuff, I am hereby modifying version the WPDD for personal use. I don't think it's a good idea for others to use this, because it hasn't been checked by professional lawyers yet. But anyways, here it is, out of necessity.</p> <pre> @@ -203,10 +210,14 @@ Dedication to that Work. obtaining any necessary consents, permissions or other rights required for any use of the Work. </pre> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/really.html b/really.html index 2a742aa..e49ad38 100644 --- a/really.html +++ b/really.html @@ -1,22 +1,34 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>"Really" is a really confusing word!</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1>"Really" is a really confusing word!</h1> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>"Really" is a really confusing word!</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>"Really" is a really confusing word!</h1> +</header> + +<article> <p> Often times when the word "really" is used in as an adverb in an assertion or proposition after a word that expresses negation, it may be useful to replace it with "in some sense", and seek to ask or clarify "in what sense". It shall be recognized that questions that arise may be legitimately hard to answer, but it may be still beneficial to consider them. </p> <p>The same applies for "actually" and similar words when used this way, though in my experience, people tend to use "really" this way.</p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/sway-keysym.html b/sway-keysym.html index 1e881e8..a9ab259 100644 --- a/sway-keysym.html +++ b/sway-keysym.html @@ -1,15 +1,22 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Sway keysym</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1>Sway keysym</h1> - +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Sway keysym</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Sway keysym</h1> +</header> + +<article> <p> Under the <a href="https://swaywm.org/">Sway</a> Wayland compositor, we could set set <code>xkb_layout</code> and <code>xkb_options</code> for keyboards in order to do weird key mapping related things. Many people use <code>caps:ctrl_modifier</code> and <code>caps:escape</code> in <code>xkb_options</code> (see <a href="https://man.openbsd.org/xkeyboard-config">xkeyboard-config(7)</a> for other options) to make Caps Lock function as an extra Ctrl or Esc key. </p> @@ -83,10 +90,14 @@ xkb_symbols "caps_lshift" { xkb_layout "gb" xkb_options "custom:caps_lshift" }</pre> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/template.html b/template.html index 6e8a83b..883b64e 100644 --- a/template.html +++ b/template.html @@ -1,19 +1,31 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title><++></title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1><++></h1> - - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title><++></title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1><++></h1> +</header> + +<article> + <++> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/texmacs-maxima-integral.html b/texmacs-maxima-integral.html deleted file mode 100644 index 0e74379..0000000 --- a/texmacs-maxima-integral.html +++ /dev/null @@ -1,80 +0,0 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>TeXmacs Maxima Integrals</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script> - <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> - <meta charset="utf-8" /> - </head> - <body> - <h1>TeXmacs Maxima Integrals</h1> - - <p> - I've been trying to get <a href="https://www.texmacs.org/">TeXmacs</a> with its <a href="https://maxima.sourceforge.io/">Maxima</a> <a href="https://www.texmacs.org/tmweb/documents/tutorials/maxima-tutorial/maxima-tutorial.en.html">plugin</a> to work. - </p> - <p> - Enabling the "mathematical input" mode in its interactive sessions I can use TeXmacs as a nice computer algebra system. However, an issue arises when I use integration. - </p> - <p> - If I enter \(\displaystyle\int x\,\mathrm{d}\,x\) with "<code>\int <enter>x d<tab><tab>x</code>" (spaces here are actually typed in while the "<code><tab></code>"s and "<code><enter></code>"s are their respective keys), I get this idiosyncratic error: - </p> - <pre>incorrect syntax: 1 is not an infix operator -integrate( x 1, - ^</pre> - <p> - This seems to be a bug when TeXmacs is translating things into Maxima. Just replace the "<code><tab></code>" between the integrand and the "\(\mathrm{d}\)" with a multiplication operator entered by "<code>*</code>". For example, <code>\int <enter>x*d<tab><tab>x</code> yields the correct result of \(\displaystyle\frac{x^2}{2}\) rather than the nonsensical error. - </p> - <p> - For reference, the source code of a demonstration document is included below in Scheme and XML-like (?) formats. - </p> - <pre>(document (TeXmacs "2.1.1") (style (tuple "generic" "maxima")) (body (document (session "maxima" "default" (document (unfolded-io-math (document (with "color" "red" (concat "(" (with "math-font-family" "rm" "%i") "8) "))) (document (concat (big "int") " x <mathd> x")) (document "" "incorrect syntax: 1 is not an infix operator" "integrate( x 1," " ^")) (unfolded-io-math (document (with "color" "red" (concat "(" (with "math-font-family" "rm" "%i") "8) "))) (document (concat (big "int") "x*<mathd> x")) (document "" (concat " " (math (with "math-display" "true" (concat (text (with "font-family" "tt" "color" "red" (concat "(" (with "math-font-family" "rm" "%o8") ") "))) (frac (concat "x" (rsup "2")) "2"))))))))))) (initial (collection (associate "page-medium" "paper") (associate "preamble" "true") (associate "prog-scripts" "maxima"))))</pre> - <pre><TeXmacs|2.1.1> - -<style|<tuple|generic|maxima>> - -<\body> - <\session|maxima|default> - <\unfolded-io-math> - <with|color|red|(<with|math-font-family|rm|%i>8) > - <|unfolded-io-math> - <big|int> x \<mathd\> x - <|unfolded-io-math> - \; - - incorrect syntax: 1 is not an infix operator - - integrate( x 1, - - \ \ \ \ \ \ \ \ \ \ \ \ \ ^ - </unfolded-io-math> - - <\unfolded-io-math> - <with|color|red|(<with|math-font-family|rm|%i>8) > - <|unfolded-io-math> - <big|int>x*\<mathd\> x - <|unfolded-io-math> - \; - - \ <math|<with|math-display|true|<text|<with|font-family|tt|color|red|(<with|math-font-family|rm|%o8>) - >><frac|x<rsup|2>|2>>> - </unfolded-io-math> - </session> -</body> - -<\initial> - <\collection> - <associate|page-medium|paper> - <associate|preamble|false> - <associate|prog-scripts|maxima> - </collection> -</initial></pre> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> -</html> diff --git a/the-old-web-was-better.html b/the-old-web-was-better.html index 615a247..8afe180 100644 --- a/the-old-web-was-better.html +++ b/the-old-web-was-better.html @@ -1,14 +1,22 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>The Old Web Was Better</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body class="indent"> - <h1>The Old Web Was Better</h1> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <link rel="stylesheet" href="./style.css" /> + <title>The Old Web Was Better</title> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>The Old Web Was Better</h1> +</header> + +<article> <p> When I go to an average "modern" World Wide Web site with the default configuration of Lynx, a wonderful plain text Web browser, I am usually greeted with things like <code>example.com cookie: some jibberish Allow? (Y/N/Always/neVer)</code> for which I'd press V a couple times. Then, I would press C-f or page-down a couple times to scroll past a giant navigation bar full of nested lists, a few HTML login forms, multiple search bars. Then I'd see the actual text of the article I'm looking for. Or sometimes, the site would show "Please enable JavaScript to view this page." or some Cloudflare prompt saying that I need to enable JavaScript to solve a proprietary CAPTCHA to view the page because they have detected "unusual activity from my network". Or I would be met with a blank page. If I decide to visit the modern Web with a "normal" Web browser such as Firefox or Chromium, with a default install, I'd get a ten-megabyte load of a bunch of fancy advertisements at the top of the page, a giant navigation bar that's really colorful to distract me from what I actually want to see, some pop-ups wanting me to fill in my email address to sign up for their newsletter (which as people say would usually be weekly HTML email spam), flashy advertisements on the side bar, and when I finally scrolled past the header part of the page, a few hasty paragraphs with large paragraph separations unreadably wrapped in a narrow column. All to display a few kilobytes of actual text, and rarely a few hundred kilobytes of useful images. @@ -28,10 +36,14 @@ <p> The same applies to the Internet more generally. Don't send huge, clunky HTML emails. Simple chat protocols like IRC. Whatever. </p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/unicorn.html b/unicorn.html index be35ce1..ba0d11c 100644 --- a/unicorn.html +++ b/unicorn.html @@ -1,14 +1,22 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>Unicorn</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - <meta charset="utf-8" /> - </head> - <body> - <h1>Unicorn</h1> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>Unicorn</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> + +</head> +<body> +<header> + <h1>Unicorn</h1> +</header> + +<article> <p> 有时候，玻璃独角兽会碎<br /> @@ -35,8 +43,6 @@ 有时候，玻璃独角兽会碎；<br /> 但是祂的本质还在。 </p> - - <hr /> <p>Perhaps sometimes the glass unicorn shatters;<br /> Yet, its essence remain unscathed.</p> @@ -81,11 +87,14 @@ Horizons beckon, as life's tapestry we read. <p> <i>An enigma.</i> </p> +</article> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> diff --git a/wechat.html b/wechat.html index 7bded5b..343e143 100644 --- a/wechat.html +++ b/wechat.html @@ -1,49 +1,61 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml" lang="en"> - <head> - <title>The Problem with WeChat, et al.</title> - <link rel="stylesheet" href="/oldstyle.css" /> - <meta name="viewport" content="width=device-width, initial-scale=1.0" /> - <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> - </head> - <body> - <h1>The Problem with WeChat, et al.</h1> - <p> - WeChat is not a preferred way of contacting me. <a href="/#contact">Use these instead.</a> - </p> +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8" /> + <title>The Problem with WeChat, et al.</title> + <link rel="stylesheet" href="./style.css" /> + <link rel="icon" href="./favicon.ico" sizes="any" /> + <!--link rel="icon" href="./icon.svg" type="image/svg+xml" / --> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="theme-color" content="#241504" /> + <meta name="color-scheme" content="light dark"> - <p> - WeChat is a instant messaging program by the Chinese technology giant Tencent. It is insanely popular in Mainland China. - </p> +</head> +<body> +<header> + <h1>The Problem with WeChat, et al.</h1> +</header> - <p>I do not use WeChat when applicable for the following reasons:</p> - <ul> - <li> - WeChat's client program is <a href="https://www.gnu.org/proprietary/proprietary.html">nonfree software</a>. - </li> - <li> - Many of WeChat's features are <a href="https://www.gnu.org/philosophy/who-does-that-server-really-serve.html">Service as a Software Substitute</a>. - </li> - <li> - WeChat's servers are nonfree; the service is centralized. - </li> - <li> - Tencent suspends WeChat accounts for sending "politically sensitive chats". - </li> - <li> - Information collected by WeChat is given to the police of the PRC without court warrants. - </li> - <li> - etc. - </li> - </ul> +<article> + <p> + WeChat is not a preferred way of contacting me. <a href="/#contact">Use these instead.</a> + </p> - <p>Similar problems are present in other popular Instant Messaging services such as <a href="https://stallman.org/whatsapp.html">WhatsApp</a>, <a href="https://spyware.neocities.org/articles/discord.html">Discord</a>, Tencent QQ, etc.</p> + <p> + WeChat is a instant messaging program by the Chinese technology giant Tencent. It is insanely popular in Mainland China. + </p> - <div id="footer"> - <hr /> - <p><a href="/">Runxi Yu's Website</a></p> - - </div> - </body> + <p>I do not use WeChat when applicable for the following reasons:</p> + <ul> + <li> + WeChat's client program is <a href="https://www.gnu.org/proprietary/proprietary.html">nonfree software</a>. + </li> + <li> + Many of WeChat's features are <a href="https://www.gnu.org/philosophy/who-does-that-server-really-serve.html">Service as a Software Substitute</a>. + </li> + <li> + WeChat's servers are nonfree; the service is centralized. + </li> + <li> + Tencent suspends WeChat accounts for sending "politically sensitive chats". + </li> + <li> + Information collected by WeChat is given to the police of the PRC without court warrants. + </li> + <li> + etc. + </li> + </ul> + + <p>Similar problems are present in other popular Instant Messaging services such as <a href="https://stallman.org/whatsapp.html">WhatsApp</a>, <a href="https://spyware.neocities.org/articles/discord.html">Discord</a>, Tencent QQ, etc.</p> +</article> + +<footer> + <ul role="list"> + <li><a href="./">Home</a></li> + <li>Runxi Yu</li> + <li><a rel="license" href="./pubdom.html">Public Domain</a></li> + </ul> +</footer> +</body> </html> |