User:Realazthat/Projects wishlist: Difference between revisions

== Projects to-do ==

*: Physics based solution to NP-complete problems:

** A light based travelling salesman solution

* 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

* 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