1About the group and this website
1.1What is in this website?
This website contains questions that we think should be answered.
This page (the home page) can be thought as a table of contents.
1.2Who are the group members?
- Erik Dominikus
We are not a formal organization. We are just a bunch of people who think similarly, and we don't know what to call ourselves. The group may change name later.
1.3Who is Erik Dominikus?
I am an independent1 researcher from Indonesia, with too many interests, mostly theoretical, because theoretical research is low-cost and can be done at home2, because I don't have the resources for experimental research. Most of my writings involve applied analytic philosophy, mathematics, and computers. (Applied analytic philosophy is the careful usage of words to discover the essence of things.)
1.4What are the group's goals?
See the later sections describing the subgroups. We are not confident that we can achieve those goals, but we think those goals are worthy of pursuit.
1.5Is the group for profit?
No. We are for truth and meaning, not for profit.
We may err. Read cautiously. Compare with other independent sources. Do not trust us without thinking for yourself. Use your own judgement.
We are not responsible for what other people write in their comments, but we can remove comments from our website. People are free to say whatever they want, and people are free to disagree with whatever others say, as long as they do that in a civilized manner.
We may change. We are not attached to our beliefs. Things we wrote in the past should not be solely used to judge our present self.
Most pages are messy drafts. URLs may change.
If you have good eyesight, you may want to zoom out by pressing Control-minus. The fonts may be too big.
2Philosophy Research Group
The Philosophy Research Group analyzes fundamental concepts to support other groups.
The Language Research Group defines "language" for the Programming System Research Group. We care about linguistics only insofar as it concerns computing.
The Parsing Research Group is looking for the best technique for specifying formal grammars, parsing formal languages, and unparsing formal languages. Parsing is the common thing between programming language and publishing system, and we want both. While studying parsing, we had to understand Brzozowski quotient and set division, so we wrote Generalizing division.
The Morality Research Group analyzes our natural morality, that is our moral system as shaped by evolution.
The Mind Research Group tries to define "mind". It analyzes the relationship between mind and brain. It compares mental phenomena such as fantasy, illusion, hallucination, etc.
The Social Research Group aims to prescribe how humanity should proceed. We dream of eliminating principal-agent problems. Our topics include morality, ethics, and anarchism.
The Art Research Group does what?
The Music Research Group aims to prescribe how we should make and use music. We also research about music education and how to teach music.
The Aesthethics Research Group analyzes grooming, that is, how we should care for ourselves.
The Security Research Group is too small to have its own page, so it lives as a section of the Social Research Group.
The Nature Research Group studies physics and the philosophy of physics.
3Computing Research Group
The Computing Research Group aims to prescribe how computing should be done. We craft the theoretical foundations of other subgroups. We follow recent advances by occasionally checking Twitter and Semantic Scholar.
The Complexity Research Group dreams of solving the P vs NP problem. One goal of computational complexity theory is to separate the complexity classes. Intersecting topics: philosophy, mathematics, nature.
The Programming System Research Group dreams of creating the best programming system. We think we should program directly in the language of the mind. We think programming languages need to interoperate. We dream of writing translating meta-programs to free programmers from design mistakes such as Java.
The Programming Language Research Group aims to create the best programming language. We research programming languages.
The Semantics Research Group researches programming language semantics.
The Software Engineering Research Group researches forward software engineering. How should we build software? How can we make more lasting software sooner? We also research some reverse software engineering.
The Gaming Research Group is interested in reverse-engineering PlayStation 1 3D games to control the camera. We are interested in reverse-engineering these (mostly PlayStation 1) games: Street Fighter EX series (EX Plus Alpha, EX2, EX3), Fighting Layer, Fighting EX Layer, Tekken series from Tekken 3, Virtual Hiryu No Ken, Dead or Alive series, Virtua Fighter series, Bloody Roar series.
4Techno-Anarchy Research Group
The Techno-Anarchy Research Group peacefully, rationally, technologically, and undefeatably actualize the dreams of the Social Research Group. We dream of precluding power centralization, or, at least, preventing or impeding it, in a physical way such that natural laws go against human-made laws. We research science and technology, mostly physics, cryptography, and distributed computing, but only insofar as they concern techno-anarchy.
5Internal Research Group
The Internal Research Group aims to make other research groups more efficient. We research meta-research, writing, publishing. Where should we live?
The Publishing Research Group aims to make a system for publishing this website.
To ask questions, suggest corrections, or add something, do any of these:
- Leave a Disqus comment in the related page.
- Open an issue on GitHub.
- Leave something at Twitter:ErikDominikus.
If you know me personally, then you may send me a message at Linkedin.
If you are in Jakarta, we may meet in some meetups.
I think I should create a second email address.