Singularity Institute Research Areas

 AGISim
AGISim (Artificial General Intelligence Simulated world) is a framework for the creation of a sensory-rich simulated 3D world for AGI research, allowing AGI and human controlled agents to interact within different rich ‘contexts’.

Lojban
Lojban is a constructed language with hundreds of speakers, based on predicate logic. Thus, it is particularly suitable for communication between humans and AGIs.

Translating Mizar to KIF

Mizar is a repository of mathematical knowledge, available online but in a complex format that is difficult to feed into AI theorem-proving systems. In six months, a qualified individual could translate Mizar to KIF, a standard predicate logic format, which would enable its use within theorem-proving AI systems, a crucial step toward AGI systems that can understand themselves and the algorithms utilized within their sourcecode.

Also:

AGI Design

and

Cognitive Technologies

http://www.singinst.org/research/researchareas

Build advanced Gmail filters and persistent searches

 If you know how to construct the right query in Gmail, you can slice and dice your messages any way you see fit. Plug those queries into filters and Gmail will automatically process your mail for you as it arrives. Gmail’s advanced search, filters and labels make it a god amongst insects in the world of web-based email, but it takes a little know-how to get it working for you.

http://lifehacker.com/software/hack-attack/build-advanced-gmail-filters-and-persistent-searches-276499.php

How to Actually Execute Your To-Do List…

… or, Why Writing It Down Doesn’t Actually Get It Done

http://zenhabits.net/2007/07/how-to-actually-execute-your-to-do-list-or-why-writing-it-down-doesnt-actually-get-it-done/

Installing Ubuntu in Parallels on the MacBook

Finally got Ubuntu installed in Parallels on the MacBook.

My specs were:

Ubuntu 7.04 - downloaded from here - http://www.ubuntu.com/getubuntu/download

Parallels build 3122

MacOSX 10.4.10

Here’s the guide I used:

http://www.simplehelp.net/2007/04/27/how-to-install-ubuntu-feisty-fawn-in-os-x-using-parallels-a-complete-walkthrough/

The only problem I ran into was that 2GB of disk space was not enough and I had to do a restart.

SSH Client on MacOSX…

This is the first SSH client running on MacOSX I’ve seen that operates along the lines of SecureCRT, Putty or Poderosa but on a Mac.

http://www.abraxor.com/products/sshconnections/

The trial version I tried lets you create bookmarks so you can connect directly to the server of your choice. Very neat!