2000-03-10 ;;Note: an interface is an indirect call through a field of a function table using a standard calling convention
|
2000-03-11 ;;Note: field definition should be the same as local definition; use tables for both?
|
2000-03-11 ;;Note: type includes a list of fields, created by 'Field of Type'; compute offsets on load
|
2000-03-11 ;;Note: a file system or database is global state accessed by name
|
2000-03-11 ;;Note: global state drags around the whole system; can't be used in other contexts
|
2000-09-04 ;;Note: define conditional statements from conditional gotos using a Branch argument
|
2000-09-23 ;;Note: auto creation of objects on Null access runs out of space like running out of time
|
2000-10-27 ;;Note: a pointer machine has local pointers (fields) and global pointers (objects); pointing with each hand; fields are unique within the object
|
2000-10-27 ;;Note: the name of an object is a dictionary entry, i.e., a field
|
2000-10-31 ;;Note: null pointers mark the boundary between visited and unvisited objects; test for null; reference returns a new object
|
2000-11-17 ;;Note: an enum function is a case statement; guarantees a set of functions by object
|
2000-12-16 ;;Note: local variables are fields of the local activation record
|
2000-12-17 ;;Note: a branch parameter is a code offset into an activation record
|
2001-04-23 ;;Note: identity is the abstraction of recognition
|
2001-04-23 ;;Note: fields are the abstraction of self-awareness
|
2001-04-23 ;;Note: recognition is the foundation of thought and awareness
|
2001-07-15 ;;Note: pointing is the abstraction of recognition; concrete yet elusive; what are you pointing at?
|
2001-07-15 ;;Note: with multiple pointers per object, objects may have a type; i.e., bounded local names
|
2001-08-11 ;;Note: a qualified name, X:Y, allows embedding anywhere; one word name in a context
|
2003-04-26 ;;Note: natural IDS -- 64-bit DepotID, world-wide unique with owner; 64-bit ItemID, unique within DepotID; formats with language codes
|
2003-06-16 ;;Note: a version of a depot is at a location, undergoing a sequence of revisions; a local ID exists at a location
|
2004-04-02 ;;Note: first run of universal pointer machine
|
2004-07-09 ;;Note: perhaps P != NP is true but unproveable
|
2004-07-10 ;;Note: how many truth tables are 3-SAT problems? Must they include incompressible functions
|