Extended Minds

Tools to help facilitate rigorous mathematical "global" win-win optimization also help facilitate "bug-free" programming. Tools for organizing thousands of details and temporally sequencing hundreds of "jobs" for both these projects could help other people too, and for general problems.

What I'm really trying to do with my life is to develop a mathematics of win-win optimal solutions whereas our culture seems mired in win-lose.

To do that, I need to take a number of graduate level mathematics classes.

To do that, I need to be able to program again so I can pay for classes.

To do that, I need to build up the programming environment I can see in my mind to aid me in being able to reason about programs in the detail I used to be able to.

To do that, I need to both track all the several thousand pieces of the solutions, and to temporally sequence the performance of the solutions.

If I can do all that, life was good.  If I can help other people (disabled or otherwise) do any or all of that, life was even better.

Need to be able to reason about programs completely again -- I'm disabled and no longer can keep track of all the ideas flying around in my head.  I've spent years developing an organizer to externally "memorize" thousands of those details, so now I can now see what I have been trying to do all my life.  Now I have to build temporal dependency graphs of how to implement the programming environment, since there are too many details to keep in my head.  Then I build my semi-automation for "algebraically transforming" into ever more correct large programs.

As far as I can tell, this all is what I need to get productive again.  I have a "equipment grant" for a notebook and two compute servers (more to come if I need and can make money with what I have).  Via open source, I will open all this up and build a community to fully develop this for other people (who each knows what they need).  I'm trying to use COTS as much as possible, but I have a fairly thought out design for a programming language that would make programming this all doable in my lifetime.

I expect it it help at least me.

If others have my problem, it will help them too.  I do not yet have models of what classes of problems it all might solve for other people, and this is my concern that brings me here: to collaborate to develop the general utility of my personal solution.

It would be open source, and hopefully a community of interested and enabled people will help solve their own problems, as well as others.

Either I succeed and deserve a Ph.D. or I don't. - Thema, my mathematics that includes win-win.

I have a suite of things I did in the past. Replicate them. Find new things to do. See how large a program I can improve in reasonable time. - Terpsikhore, my program transformer.

I need to be able to cycle through details in a quickly (a second or three each) in order to effectively use some of my faulty short term memories. - Ibbfs, my organizer and planner.

I have not seen full-solutions to my mental-disability.  I find myself in the position of having to build (Iron Man movie style?), my own "mental wheelchair".

Its common wisdom that one cannot write bugfree code.

This is false.

I've been pretty much doing it all my life.  I must get my way of thinking out there into the world, and its now very non-verbal.

The recently funded DeepSpec expedition starts doing some of this.  I was admitted to virtually attended the DSSS17 workshop.

My hope is that non-technical people can use my technology to aid them in becoming productive constructors of complex systems.  I don't know how to do this in detail, I need help from collaborators.  The problem solved would be certain kinds of "confusion", but again, I lack a good model for this.  I have mostly been concentrating on getting myself productive first, then working on fleshing out my daydreams of helping other people.

They would need a computer (I'm currently tethered to Apple, but I'm hoping that porting a working product to not be a lot of trouble).  I don't know how big a computer yet for my own stuff, but other people should be able to fit on a single computer unless they go as nuts with details as I have.

Received "equipment grant" for about $7000, including some expenses for setting up my own business (probably an LLC).

Going to avoid VC, starting a MOOC explaining how to pull that off.  Somewhat connected with the Portland Oregon area startup community.

My main idea is to develop my programming environment, release it as open source, and use it myself to do programming-for-hire in some form, as I build a community of people to help develop it for themselves and well as the community at large.

The scaling problem seems to be whether I need 2 compute servers or a trillion.  There are "approximation algorithms" MOOC's that describe how that might be handled.

I might hit my own limits to wrap my disabled brain around even computer aided problem solving.  Not going to worry about that too much until it happens, and then try to fumble out a plan B.

Main problem is going super-linear or exponential algorithmic complexity.  N seems to be only a couple thousands for my problems, and I have the approximation algorithm genre (and some other tricks) to maybe loosen that up.

Get help learning what needs to be done to make what I need personally (in terms of technology) useful to other people.  I don't see myself becoming a good psychologist.  I need collaborators.

Myself.

I do talk to lots of other people though, and I do get some help with business and funding issues.

Nothing but potential partners out there. It is ultimately about developing win-win solutions.