Dustin Juliano http://dustinjuliano.com Researcher focusing on mathematical logic, artificial intelligence, and programming language theory. Extensible Integer Coding (EXINT) Wed, 28 Dec 2016 06:00:00 -0500 http://dustinjuliano.com/2016/6/ http://dustinjuliano.com/2016/6/ EXINT is a byte-aligned universal code with complete support for the integers. It is byte-order agnostic and has O(1) time performance when bounded by the system datapath, integer, or memory width. Saving The Control Problem Sun, 18 Dec 2016 06:00:00 -0500 http://dustinjuliano.com/2016/5/ http://dustinjuliano.com/2016/5/ The control problem is a question posed by Nick Bostrom on how to limit advanced artificial intelligence while still benefiting from its use. I propose an extension to the original control problem that separates it into a local and global version. I then provide proofs that the global version has no solution.