_region_.tex 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283
  1. \message{ !name(manifesto.tex)}\documentclass[draft,twoside]{book}
  2. \title{A~Manifesto~for~a~Free~Society}
  3. \author{Andrew~Yu}
  4. \def\revision{0.1}
  5. \date{Revision~\revision}
  6. % For coauthors: Please double-check the appearance of the document before commiting and pushing. Badboxes are acceptable now, since this is still a draft, though.
  7. % MISC
  8. \usepackage{xcolor}
  9. \usepackage{hyperref}
  10. \usepackage{booktabs}
  11. % DRAFTS ARE NOT PRINTED IN A TYPRWRITTEN STYLE ANYMORE. PLEASE NOTE THE REVISION NUMBER IN PLACE OF THE DATE ON THE TITLE PAGE AND THE GIT TAG.
  12. % FIXMES
  13. \newcommand{\textnote}[2]{\marginpar{\textcolor{red}{#2}}\textcolor{red}{#1}}
  14. \newcommand{\singlenote}[1]{\marginpar{\textcolor{orange}{#1}}}
  15. % We could have used the fixme package here. However, minimal LaTeX installations don't seem to come with them. We don't want every author to have to install a 4-gigabyte TeXLive installation, and defining our own macros seem to be enough. All modern distributions I've found until this day has xcolor and hyperref. Tell me if you know one that does not. However, you still need a biblography managager. Biber works, BibTeX does not.
  16. % BIBLIOGRAPHY
  17. \usepackage{biblatex}
  18. % Use biber(1), not bibtex(1).
  19. \addbibresource{master.bib}
  20. % RANDOM
  21. \makeatletter
  22. \def\verbatim@font{\footnotesize\tt}
  23. \makeatother
  24. % CUSTOM
  25. \newenvironment{point}{\begin{quote}}{\end{quote}}
  26. % \newenvironment{code}{\begin{verbatim}}{\end{verbatim}}
  27. % \newcommand{code}[1]{\verb|#1|} % TODO: obviously won't work, need a fix
  28. \newcommand{\nameofbook}[1]{\textsc{#1}}
  29. \newcommand{\nameofperson}[1]{{#1}} % Identity macro preserved for future-proof purposes.
  30. % COUNTERS
  31. % TODO: The chapter counter should reset to 1 every \part.
  32. % Here comes the actual thing.
  33. \begin{document}
  34. \message{ !name(manifesto.tex) !offset(-3) }
  35. \frontmatter % Disable chapter numbering, set roman letters on page numbers, etc. Standard to the book documentclass.
  36. \maketitle
  37. \pagebreak
  38. Revision~\revision.
  39. This document is still a draft, and will probably stay that way in a few years. Please apply your critical thinking skills when reading. We cannot guarentee that what we think of as facts are all true, and we cannot guarentee that other ideas apply to you. Generally, you should take this approach when reading \emph{anything} that's written by a person you don't ultimately trust.
  40. The latest version is usually available at \href{https://project.andrewyu.org/libresociety}{https://project.andrewyu.org/libresociety}.
  41. This book is released into the public domain, as the original authors believe that knowledge is not copyrightable. The expression of knowledge, namely, the contents of this book is copyrightable. But for the sake of freer sharing of ideas, we choose not to reserve copyright.
  42. In jurisdictions that do not recognize the right to release into the public domain, as discussed in Chapter~\ref{chapter:copyright}, the terms and conditions are:
  43. \begin{enumerate}\label{text:minilicense}
  44. \addtocounter{enumi}{-1}
  45. \item Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted.
  46. \end{enumerate}
  47. \pagebreak
  48. \chapter{Preface}
  49. Modern countries have laws that restrict the liberty of people in unacceptable ways but also don't guarantee the security of people at the same time. Governments are corrupted, inefficent, or both. This makes the lives of people miserable.
  50. This experiment aims to develop the ideological base of a country with this main goal:
  51. \begin{point}
  52. The power of the government is limited to an extent where people have the freedom \emph{from} \textnote{persecution}{Choose a better word, persecution does not fit}, intentional killing, and extreme poverty, while liberty \emph{to} do what they will is not significantly compromised.
  53. \end{point}
  54. This is an seemingly impossible task. However, considering the recent development of mathematics (especially in ideas such as group theory) and computer science (especially upcoming quantum computers), I believe there may be a algorithmic way to run a country.
  55. Note the vague use of ``run a country''. This may mean a function of government decision over public opinion, the economy, expert opinion (along with a description of the expert). It might as well be a function of accepting the decision of the executive branch over the circumstances of the decision. The point is, there may be an referentially transparent function that decides how the country runs based on all the information we know.
  56. A lot of ideas presented in this book are too vague. The mission of this project includes turning these abstractions into a solid system of society and law, where these are defined and leave minimum space for misconceptions and ambiguity.
  57. In this book, we'll also identify problems in society, then present our solutions to it, if any. To the best of our ability, we'll provide examples and real-life stories in order to better explain the ideas. Then, we'll propose a legal framework for a country with the aforementioned goals. We'll try to make them specific and cover every possible case. Even though our math systems aren't complete (thanks to G\"odel), we believe that in the field of law, things could (and should) be made mostly complete. Otherwise, it would be unclear what the country should do in an unexpected situation. Note that, if you find a problem with completeness over cases, or some scenarios where our theory creates results that are (in your opinion) bad or unacceptable, that is considered a bug. Please report them to the mailing list.
  58. This book is part of the Libre~Society project, available at \href{https://project.andrewyu.org/libresociety}{https://project.andrewyu.org/libresociety}.
  59. This book, or the Libre~Society project in general, is not endorsed or affiliated with the Free Software Foundation. However, we share many views, especially on copyright issues.
  60. The authors of this book aren't experts in mathematics, computer science, or politics. The intelligence of us authors combined are unlikely to yield a substantial result, for example, the aforementioned algorithm. Anyone who is interested in giving ideas, participating in revising the book, and/or contributing by other means is welcome! Please refer to page~\pageref{pre-chapter:contribution}.
  61. Nothing in this book is considered legal advice. We take no responsibility for your actions due to reading this book.
  62. If you're wondering how I came up with this, it's mainly cuz in the FSF's IRC channel, people were talking about escaping modern society by building a plastic island in the oceans. I considered how we're going to manage the island, and started this project.
  63. \chapter{Community}\label{pre-chapter:community}
  64. Please write to our mailing list at \href{mailto:libresociety@andrewyu.org}{libresociety@andrewyu.org}. In order to join the list, send an email to the list.
  65. We also have an IRC channel at~\verb|#libresociety| on~\verb|irc.andrewyu.org| and~at~\verb|##libresociety| on~\verb|libera.chat|. These two channels are relayed to each other, you won't be able to see users on the other network, though. Users unfamiliar with IRC may use email or \href{https://web.libera.chat/##libresociety}{https://web.libera.chat/##libresociety}.
  66. \chapter{Resources}\label{pre-chapter:resources}
  67. There are a few resources that are in this book's repository. Unless otherwise noted, they are not written by the authors of this book.
  68. \begin{description}
  69. \item[Abstract Algebra] contains the basics of Abstract Algebra. It was fetched from \href{https://math.berkeley.edu/~apaulin/AbstractAlgebra.pdf}{https://math.berkeley.edu/~apaulin/AbstractAlgebra.pdf}
  70. \item[Concrete Mathematics] contains the basics of math in modern computer science. It was fetched from \href{https://www.csie.ntu.edu.tw/~r97002/temp/Concrete\%20Mathematics\%202e.pdf}{https://www.csie.ntu.edu.tw/~r97002/temp/Concrete\%20Mathematics\%202e.pdf}
  71. \item[Das Kapital] is a criticism of modern Capitalism by Karl Marx;
  72. \end{description}
  73. \chapter{Contribution}\label{pre-chapter:contribution}
  74. By contributing to this work, you agree that your contributions are made available in the public domain and under the simple license on page~\pageref{text:minilicense}.
  75. \section{Ideas}
  76. If you're planning to give contributions related to your ideas directly to the code of the book, you could choose one of the following methods:
  77. \begin{itemize}
  78. \item Write to the mailing list describing your changes;
  79. \item Diff the file from the original. Git diffs are preferred but are not necessary;
  80. \item Clone from and push to \verb|git://git.andrewyu.org/libresociety|, \textnote{which isn't set up yet}{Yes, remind Andrew to set it up.} (your changes will be reviewed and merged to the main branch);
  81. \item Become a coauthor, if you think you're contributing a lot.
  82. \end{itemize}
  83. \section{Coauthors}
  84. If you have contributed very significant ideas to this project, we may invite you as a coauthor. You can also request to be a coauthor too. This section describes the technical way of how a coauthor contributes.
  85. First of all, all coauthors would be added to the Git respository of this project, hosted at \href{https://git.andrewyu.org}{https://git.andrewyu.org}.
  86. You need to know how to add, commit and push with respect to Git bare repositories with SSH via SSH public key authentication. There are many guides online to this. Here we included a short guide.
  87. \begin{verbatim}
  88. # Obviously the numbers might change, and we assume you have Git installed and
  89. # configured your Git name and email. If you haven't, install \verb|git| from
  90. # your package manager and read the manual page \verb|gittutorial|.)
  91. ~ $ git clone username@git.andrewyu.org:/var/www/git.andrewyu.org/libresociety
  92. # Of course, replace the `username' with the username we set for you.
  93. Cloning into 'libresociety'...
  94. remote: Enumerating objects: 17, done.
  95. remote: Counting objects: 100% (17/17), done.
  96. remote: Compressing objects: 100% (13/13), done.
  97. remote: Total 17 (delta 1), reused 0 (delta 0), pack-reused 0
  98. Receiving objects: 100% (17/17), 156.22 KiB | 120.00 KiB/s, done.
  99. Resolving deltas: 100% (1/1), done.
  100. ~ $ cd ./libresociety/
  101. ~/libresociety $ git pull # Make sure you have the laterst version.
  102. # If an editor asks you for a commit message, just save and quit it. If it
  103. # talks about conflicts, you probably have to learn basic Git, i.e., how to
  104. # resolve conflicts in merge. I currently recommend against using rebase.
  105. ~/libresociety $ $EDITOR manifesto.tex
  106. # If this does not work out for you, replace `$EDITOR' with the name of your
  107. # plain text editor of choice. Do not use something like LibreOffice to edit
  108. # this, of course. Please read the comments (they start with `%'); they
  109. # provide crucial information.
  110. ~/libresociety $ make
  111. # This will fail if you do not have a proper LaTeX installation. We strongly
  112. # recommend installing one. See [1] for a guide. Use the ports tree if you
  113. # are on OpenBSD. The other BSDs and GNU/Linux distributions should have it
  114. # available as a package. On Alpine Linux, it is texlive-full. On Arch
  115. # Linux and its derivatives, it's texlive-most in the repo and texlive-full
  116. # in the AUR. On Debian GNU/Linux and its derivatives, it is texlive-full.
  117. # The packages above take a lot of disk space. You could also just install
  118. # core or minimal versions instead. We try to keep our code simple, i.e.,
  119. # by implementing the simpler macros that we need rather than calling a huge
  120. # package. If the minimal distribution doesn't compile this, please give us
  121. # the full log (that is, `manifesto.log') and system information in the
  122. # lists. However, we do use bibliography management, so you would need a
  123. # few extra packages.
  124. [1] https://tug.org/texlive/doc/texlive-en/texlive-en.html#installation
  125. ... LaTeX output ...
  126. ~/libresociety $ git add manifesto.tex manifesto.pdf
  127. # This step stages the changes you added. Think of this as putting your files
  128. # into a drawer.
  129. ~/libresociety $ git commit -m 'commit message'
  130. # Replace `commit message' with a short description describing what you
  131. # changed. Avoid commit messages like `edit' or `update' because they don't
  132. # give us any useful information.
  133. # This step commits the staged files. Think of this as scanning the files
  134. # from your drawer in the archive system. It will also digitally sign your
  135. # commit if you configured Git to do so, which is recommemded.
  136. ~/libresociety $ git push
  137. # This step updates the changes to the server, who in turn runs a Git hook to
  138. # update the website (you don't have to mind how this works). Note that other
  139. # coauthors need to run `git pull' to `syncronize' with this new version from
  140. # the server, which will merge the changes.
  141. \end{verbatim}
  142. Please also take a look at the style conventions in Appendix~\ref{appendix:style-conventions}.
  143. \section{Donations}
  144. Text contribution and discussion is our recommended way of contributing. However, we also accept monetory donations, as this could make our lives easier and help us obtain information from paid sources.
  145. We don't have a public account for donations. Please donate to the authors directly and leave a note that it's for Libre~Society. A list of authors could be found on page~\pageref{pre-chapter:authors}. Usually, people put donate information on their website.
  146. Please don't donate if you have trouble affording. Leave that money for yourself!
  147. \tableofcontents
  148. \chapter{Authors}\label{pre-chapter:authors}
  149. \begin{description}
  150. \item[Andrew Yu] Website~\href{https://www.andrewyu.org}{https://www.andrewyu.org}, email~\href{mailto:andrew@andrewyu.org}{andrew@andrewyu.org}, irc~\href{irc://irc.andrewyu.org:6697/Andrew}{Andrew~on~irc.andrewyu.org with~SSL~(WIP, doesn't work at the moment)}.
  151. \end{description}
  152. \mainmatter
  153. \part{Problems in our Current Society}
  154. \chapter{Proprietary Software}
  155. \section{What Free Software is}
  156. As background, free software is software where the user is free to:
  157. \begin{enumerate}
  158. \item Run the program for any purpose;
  159. \item Learn how the program works and/or modify the program to their needs;
  160. \item Redistribute the original and/or modified program.
  161. \end{enumerate}
  162. \section{Profit from Free Software}
  163. Critics of free software, who tend to call free software ``open source'' in order to remove the link to freedom and liberty, argue that it is impossible to profit developing free software, especially with copyleft licenses such as the GNU~General Public~License. The Free Software Foundation argues that software developers could still profit, since they are allowed to sell the software while redistributing. Common practice also includes paid support for systems that ought to be reliable.
  164. \chapter{Capitalism}
  165. \chapter{Copyright}\label{chapter:copyright}
  166. \part{A Formal System of Society}
  167. \appendix
  168. \chapter{Style Conventions}\label{appendix:style-conventions}
  169. In order to keep this book consistant and understandable, these language and source code conventions should be followed.
  170. \begin{enumerate}
  171. \item General use of language
  172. \begin{enumerate}
  173. \item
  174. \end{enumerate}
  175. \item Sectioning
  176. \begin{enumerate}
  177. \item Here, sectioning, unless otherwise specified, includes all structure layers, such as parts, chapters, sections, subsections, subsubsections, paragraphs, and subparagraphs. The paragraphs and subparagraphs mentioned in this list item refers to structuring inline titles with \verb|\paragraph| and \verb|\subparagraph|, not \verb|\par| or text separated by empty lines. However, almost anywhere else, paragraphs mean logical paragraphs in terms of Linguistics, i.e.,
  178. \item Section titles should be in Title Case, where all words are capitalized except for pronouns, articles, prepesitions, and similar language compoments. The first letter of a title must be uppercase, unless if it is a proper noun where uppercase is inappropriate.
  179. \item Cross reference labels go immediatly after the {\TeX} group containing the section name. For example, use \verb|\section{Section Title}\label{section:section-title}|.
  180. \item For numbered sections, i.e., these in the mainmatter and appendix, use \verb||.
  181. \end{enumerate}
  182. \item Abbreviations, spacing, and punctuation
  183. \begin{enumerate}
  184. \item A single comment symbol must be used at end of lines where a space is inappropriate.
  185. \item A non-breaking space must be used inside of people's names. For example, write \verb|Andrew~Yu| instead of \verb|Andrew Yu|, and for other places where a line break between these words is inappropriate, such as book names.
  186. \item A comma proceeds i.e., e.g., and similar abbreviations. These abbrebiations have a dot in each of those letters and after the last one.
  187. \item A peroid proceeds Mr., Mrs., ans similar abbreviations.
  188. \item Most abbreviations in common English should have periods after them.
  189. \item Abbreviations after proper nouns should probably not have periods after them.
  190. \item For all abbreviations that end with a period and a space but are not at the end of a sentence, the space proceeding the period must be written as \verb*|\ | (a space followed by a backslash) in order to stress that this is an inter-word space, not an inter-sentence space.
  191. \item For all sentences that end with a capitalized word, no matter if the word is fully UPPER CASE or is just Capitalized, the space after the period (unless if it is at the end of a paragraph, where a space must not be there) must be written as \verb|\@| in order to stress that this is an inter-sentence space, not an inter-word space.
  192. \item For lists written as ``a, b, [\dots], and/or/etc.\ z'', a comma proceeds the last item before the connective.
  193. \item In the source code, for the style of the source code itself, interword spacing should be one space, while intersentence spacing should be two spaces. This convention does not take priority when in conflict with other conventions.
  194. \end{enumerate}
  195. \item Fonts
  196. \begin{enumerate}
  197. \item Use \verb|\nameofbook| for book names, \verb|\nameofperson| for name of persons, and \verb|\emph| for emphatics.
  198. \item Use the \verb|quote| environment for one-paragraph quotes. Use the \verb|quotation| environment for multi-paragraph quotes.
  199. \item Use the \verb|point| environment to illustrate a major point being discussed.
  200. \end{enumerate}
  201. \item Source
  202. \begin{enumerate}
  203. \item Do not load extra {\LaTeX} packages unless necessary. If all is needed from a package is a simple macro, implement it in the preamble.
  204. \item Nested lists' environment declarations should be indented right under the text content of the parent item. Items inside the list environment and most environments in general should be indented two spaces from the start of the `begin' control sequence, including the backslash.
  205. \end{enumerate}
  206. \end{enumerate}
  207. \end{document}
  208. \message{ !name(manifesto.tex) !offset(-282) }