{∅, {∅}, {∅, {∅}}} : Rage Against the Meat Grinder

NOTICE: This post is 4 years old, and I am leaving a link at the end of this original post to a "living document" (2019 Autumn)
_______________________________________________________________

NOTE TO SELF:  Maybe I can apply this procedure when trying to get ConceptGCC to compile so I can try compiling the experimental code at asutton.github.io/origin/start.html

git clone git@github.com:/origin.git

HINTS:  kevinchen.co/blog/how-to-get-started-cpp-concepts

________________________________________________________________________
mkdir ~/concept_install

cd ~/concept_install

svn checkout svn://gcc.gnu.org/svn/gcc/branches/c++-concepts  conceptgcc

This will create directory ~/concept_install/conceptgcc

mkdir ~/concept_install/conceptgcc_build

(From inside ~/concept_install, mkdir conceptgcc_build)

This will be the "scratch" directory.


sudo mkdir -p /opt/concept

        This will create the directory which will hold the experimental Concept-C++ conceptgcc compiler

cd conceptgcc_build  (it's in ~/concept_install)

From here we will configure, and the configure executable file is in ~/concept_install/conceptgcc.  So, from the scratch directory (~/concept_install/conceptgcc_build):

../conceptgcc/configure  --prefix=/opt/concept --with-gmp=/opt/gmp-6.1.0 --with-mpfr=/opt/mpfr-3.1.3 --with-mpc=/opt/mpc-1.0.3 --disable-multilib --enable-languages=c,c++  --enable-shared --with-tune=generic --disable-checking --enable-multiarch --enable-threads=posix --without-included-gettext


make -j 4

sudo make install


ls /opt/concepts

there should now be executables (bin) and libraries (lib) (in /opt/concept) if all went well.

NOTE TO SELF:  Attempting this with the experimental branches, using the freshly created "prerequisites" in /opt ... start after well rested.  There is no rush to get the experimental compiler compiled.

Check out GCC 5.2 and the command-line option -std=c++11

~ for madmen only ~   
_______________________________________________________________
(2019:  -std=c++17 ? -std=c++20 ?) ::::======>  Templates and generic programming

ok

4AM

In directory ~/concept_install

git clone https://bitbucket.org/Blzut3/c-concepts.git

That creates directory c-concepts with all subdirectories

Still in ~/concept_install, mkdir concept_build

sudo mkdir -p /opt/concept

cd ~/concept_install/concept_build

../c-concepts/configure --program-transform-name='s/^g++$/conceptg++/' --prefix=/opt/concept --enable-languages=c++ --with-gmp=/opt/gmp-6.1.0 --with-mpfr=/opt/mpfr-3.1.3 --with-mpc=/opt/mpc-1.0.3 --disable-multilib  --enable-shared --with-tune=generic --disable-checking --enable-multiarch --enable-threads=posix --without-included-gettext

make -j 4 && make check && sudo make install

Now, hopefully to compile with ConceptGCC, use the program conceptg++ 

This may not be the c++-concepts compiler, but I configure build options as if it were.  I will try to sleep during BUILD and INSTALL.

When I return to consciousness, it ought to be finished.

Things to check:

which gcc
which g++
whereis g++
whereis gcc
g++ --version
whereis conceptg++
which conceptg++
conceptg++ --version

Then reboot machine.

again:


which gcc
which g++
whereis g++
whereis gcc
g++ --version
whereis conceptg++
which conceptg++
conceptg++ --version

Depending on the responses ... what's next?

asutton.github.io/origin/start.html

note:  https://cmake.org/download/

Peter Gottschling:

1. Toward a More Complete Taxonomy of Algebraic Properties for Numeric Libraries in TR2

2. concept based optimization

3. Matrix Template Library 4 Tutorial

4. Fundamental Algebraic Concepts in Concept-Enabled C++

5. Discovering Modern C++: An Intensive Course for Scientists, Engineers, and Programmers

... on the horizon ... just curious ...

Just for the record, Concepts is finding its way into the Core of C++:

Templates and generic programming  (at CppCoreGuidelines)

In a world of self-deceiving liars and mass scale hallucinations, one has to treasure some basic technical guidance when working alone.    It is weird, though.   Maybe I like it because it is weird.   Maybe I like math because it is weird.

Listen, you can't tell me that the eggheads creating these abstract programming environments and compilers are not total weirdos.   They act as if creating a programming language is a perfectly natural thing to do.   

Again, please ignore technical-oriented posts if it is of no interest.   

I may merge this with another thread, but for now will connect with, yes, a dirty little hyperlink to generic programming.

Also under this umbrella is Programming as Mathematics

As I type this I am hungry but do not want to eat.  I have pancake batter all made up, but just can't bring myself to heat them up and feed this Thing-Being.  How it loves to move its bowels!   The back hurts from sleeping on the small cot, who knows?   The funny thing about technical, scientific, or mathematical information is that the "editors" always leave out the depressing little details of their own lives.   It appears that leaving out the details about our existential quandaries (philosophy) is crucial in "technical writing."

Engaging in a programming project or even going over a little mathematics implies that, for the most part, one is able to keep one's life from falling to pieces.   It implies one has a room, kitchen, toilet, running water, electricity, an internet connection (for installing packages, tools, and environments, a "programming ecosystem."

To the youth who might stumble upon this message board:   If you want to study mathematics and programming, but do not have access to your own personal computer, or, you have no stable place to live, to store books, to heal, eat, and shiit in peace, then this world of computing with abstract concepts seems to be something done by those "on the Mother Ship," and not something for those of us thrown overboard thirty years ago.

All I am saying is that this stuff is mentally stimulating.   It is beyond good and evil.

As Silenus has reminded us, though, all these grand projects and technological accomplishments depend on our animal bodies eating and shiiting.

That no one mentions our shiiting-ness may have to do with the fact that such things are taken for granted.   

They would not want such a philosophical member on their "committee". 

Can mathematics and programming make life worth living to those of us who have lost our "lust for life" ?

While the media will make you think life is all about talent shows and "singing competitions" or basketball games, I'm here to tell you that there are far more interesting things to consider.

Not everyone will be interested in such things, and not all those who ARE interested in such things will have the opportunity to explore.  That is, one finds oneself a hungry animal, no matter how long we live, each morning we are still hungry animals.   It's amazing that we even do what we do.

I am sorry life is so difficult.    And it is LIFE itself that is difficult, not the math, not the programming.   It is the problem of living and the riddles of existence itself which make learning technical subjects challenging.     We can become tired, confused, and overwhelmed.     And, yes, we may wonder why we try so hard to improve our techniques when nothing ever seems to lead anywhere other than being another hungry animal on just another dangerous planet in this mysterious cosmos ...

Like Holden, I just don't know anymore.

As you can imagine, I often find myself wanting to just wanting to quit.

Does mathematics (or programming with numerics)  add a dimension to this poor wretched animal's existence?   Sure it does; but one must know from the start that any joy to be found must be found in the learning process, in the journey itself.    We can't live for ends.   By the time you learn something, you may find you could do things differently, and so you have to forget the "wrong ways" which seem right to you, but could be improved drastically.

If I live to be old, you would think that society might wish to place me in a position to "instruct others."    But, I am not foolish enough to think this will ever happen.  You see, society is mostly interested in producing "employees" who can "come up with the answers."    There is not much respect paid to those seeking to understand.   They want teachers who are confident in their wrong notions and wrong ideas.     They certainly don't want a honest man - always in the process of learning and trying to better understand - instructing their future "consumers," "clients," and "end users."