User:Realazthat/Projects wishlist: Difference between revisions

== Projects to-do ==

*: Physics based solution to NP-complete problems:

** A light based travelling salesman solution

* Image Feature database

* OCR

* Nym Email

* Something like KLEE, but bottom up approach

* Uplink-style Tor application

* SVG font for Ezra

* Fully cross platform/language/architecture utility library

** Possibly using the language above

* Formal methods

*: [http://hal.cs.berkeley.edu/ccured/ http://hal.cs.berkeley.edu/ccured/]

** Proving properties

** Use LLVM, small library of annotation functions, and a theorem prover

** Chain-able

** EBNF parser

* Secure obfuscation

** Turing machine transformation [http://www.articlesbase.com/security-articles/method-for-secure-obfuscation-of-algorithms-1607488.html]

** Paper: http://www.public.asu.edu/~candan/papers/c3i03.pdf

* EBNF transforms?

** Two way transforms

* Fully portable package manager

** From source, targeting the following platforms:

* iSpy

* "It is an open empirical question whether there are actual deterministic physical processes that, in the long run, elude simulation by a Turing machine. It's also an open question whether any such process could usefully be harnessed in the form of a calculating machine (a hypercomputer) that could solve the halting problem for a Turing machine amongst other things. It is also an open empirical question whether any such physical processes are involved in the working of the human brain, thus whether humans can solve the halting problem.(B. Jack Copeland, Computation in Luciano Floridi (ed.), The Blackwell guide to the philosophy of computing and information, Wiley-Blackwell, 2004, ISBN 0631229191, p. 15)" -- [[wp:Halting_problem#Importance_and_consequences]]

* Version control for development: auto commit after each file save for automatically tracking progress

 

== Topics ==