Vallst: A Boolean Constraint Solver
Vallst is a boolean constraint solver. It won two SAT Competition golds. There is a short paper giving an overview of some of the algorithms behind the solver. (If the site hosting the solver, Berlios, goes down, try SAT; you can download the solver from here: vallst_0.9.258.tar.gz.)
Provability Logic Programs
Glelb decides various provability logics and finds fixpoints for provabilty and interpretability logics.
Quine C Programs
A Quine program outputs itself when run. Here are a couple of C programs:
Ethical Progression: How to Live, What Advanced Civilizations and AIs Are Like, and Why We Don't See Them
Evidence-based projections of how we will and should live are presented, together with reasoning and explanations.
Since how to live is purportedly covered by traditional philosophy and ethics, there is also a summary discussion, and dismissal, of those subjects.
An 'advanced civilization' means here a civilization a bit more developed than current human civilization. I will argue that advanced civilizations are advanced not just for instance technologically but also ethically, due to for example game theory and evolution, and resolved meta-ethics. This gives a solution to the Fermi paradox that comply with the Copernican and equilibrium principles.
Moreover, any artificial super intelligence (ASI) would arguably just be like an advanced civilization in these regards, which provides a resolution of the existential threat to humanity that is conjectured ASIs pose.
The Fermi paradox also lets us conclude that certain of our approaches to AI research will likely be more fruitful than others, and that utilitarianism seemingly is wrong. There are also other ethical conclusions to be had.
In addition, there are arguments against that we live in a simulation.
Conclusion of the Fermi Paradox Section
Looking at it from the other direction, we have all these observations and principles:
- The Copernican or mediocrity principle
- The equilibrium principle
- The seemingly likely abundance of advanced civilizations
- The observation that just a single civilization ought to be able to quickly explore and colonize e.g. our galaxy
- The Fermi paradox
- No evidence of non-benign civilizations or ASIs: our solar system hasn't been made into paper clips e.g.
- Seemingly no Kardeshev type III civilizations
This suggests that all advanced civilizations and ASIs behave similarly in these regards, and that is because of things they have in common, for example game theory and evolution. Looking at these common things, and extrapolating from our own progression, suggest that civilizations become more and more considerate and less and less expansive, which would explain the Fermi paradox.
Ethical Progression: How to Live, What Advanced Civilizations Are Like, Why We Don't See Them, and What to Send Them
See A Solution to the Fermi Paradox Complying with the Copernican and Equilibrium Principles for an old html version.
Short Notes on Philosophy
See Philosophy Settled. This is a very short text and the result of some form of the presumably more or less typical transition over the years to the "therapeutic approach". There is a bit of a catch-22 to this therapeutic or anti-philosophical approach. Chances are that you are not drawn to philosophy because of an antipathy to it. While the approach settles the philosophical problems, it is probably not in the way you had in mind when you first were drawn to the subject.
The text is a bit old, with still a perhaps questionable paragraph, even if it is hypothetical, about a non-naturalistic ethical foundation. For a newer, more comprehensive text, see Anti-Philosophy.
An Anti-Philosophical Look at Well-Being as Foundation for Ethics
See Anti-Philosophy. The essay was for a contest. Below is the preface:
In philosophy there is a therapeutic or anti-philosophical approach that holds that traditional philosophical problems are misconceptions that are to be dissolved. This anti-philosophical approach, following Ludwig Wittgenstein, is anti-theoretical and critical of a priori justifications. Arguably, the idea of well-being as foundation for ethics is that: an unfounded, a priori and scientistic philosophical theory.
Here we first briefly describe the anti-philosophical approach theoretically. Then we look at anti-philosophical positions on a couple of issues, with the hope that you will get a feel for the approach in practice. We conclude by looking at ethics, and in particular Sam Harris's theory of well-being as the foundation for ethics.
Email address: firstname.lastname@example.org
Here are more photos.
Name: 'Daniel Vallstrom', 'Daniel Vallström' or 'Daniel Wallström'; sometimes 'Hugo Vallstrom' or 'Hugo Vallström'.
Calorie Restriction and Cause of Overeating and Obesity
An Succinct Explanation of Global Warming
Here is an attempt at a succinct and hopefully suggestive explanation of global warming. It notes that we could have started to act a century ago, and should have acted half a century ago.