diff options
| author | Andrew Yu <andrew@andrewyu.org> | 2022-04-19 12:31:03 +0200 |
|---|---|---|
| committer | Andrew Yu <andrew@andrewyu.org> | 2022-04-19 12:31:03 +0200 |
| commit | 061c6742a1dd1c16b3638955df3ad67dcdb6d2e8 (patch) | |
| tree | 002595847e2698f40a62e67df94301dc6f0af0bd /index.html | |
| parent | 230f16f9801914ebc9d4bd1202a0e8877519d446 (diff) | |
| download | www-061c6742a1dd1c16b3638955df3ad67dcdb6d2e8.tar.gz | |
shen language!
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/index.html b/index.html index 6ed4276..4fb924f 100644 --- a/index.html +++ b/index.html @@ -27,6 +27,10 @@ <p>It is our responsibility to spread <a href="https://fsf.org">free software</a>, <a href="https://fcm.andrewyu.org">free computing (one of the websites started by me :D)</a> and advocate for user freedom. Please don't waste any chances to do so.</p> </div> <hr /> + <div id="majornote"> + <p>Most of my new articles are available at the Request for Discussions Website. Older ones will be republished there.</p> + </div> + <hr /> <div id="ponder"> <h2>Help me ponder upon these questions</h2> <p>These are questions that interest me. Maybe you have ideas?</p> @@ -38,6 +42,7 @@ <p>There have been <a href="http://metamodular.com/Common-Lisp/lispos.html">great proposals by other people</a> on this ideea. If you are into operating system development and programming in general, please read it, and share your thoughts with me. If many people voice on this issue, I'll start an mailing list.</p> <h3>What about a pure functional Lisp dialect, with monads and similar (Haskell) ideas?</h3> <p>I love s-expressions, as they clearly represent the structure of a program, or even natural language. They also allow for powerful macros, enabling some Lisp dialects to have continuations and other cool stuff. Haskell, on the other hand, is purely functional, where things that involve side effects are usually implemented with Monads. I'm looking for an implementation that combines these.</p> + <p><a href="https://shen-language.github.io">The Shen Language</a> seems interesting.</p> <h3>What about a mathematical political system?</h3> <p>A government too strong causes authoritarianism which may lead to non-democracies, while a government too weak causes the inability of the government to do anything with the slightest controversy (look at COVID handling). Is there a mathematical way (say a function; this sounds like group theory, but I'm not sure) to compute, based all known information known about the bill/order/whatever being considered, if the government (I'm especially talking about the executive here) has the right to order that? I feel like this could be proved impossible due to incompleteness and unpredictability, but this needs further investigation. This is the main problem in question of the Libre Society project, by the way.</p> </div> |