Recent page changes from site "M.a.t.r.i.x." (a Wikidot site)

"The Point Free Style" - source change

Sat, 12 Jul 2008 10:53:02 +0000

Page: The Point Free Style (point-free)
Current revision number: 19
Date changed: Sat, 12 Jul 2008 10:53:02 +0000
Change type: source change
By: pierric

Page content preview:
here come two interesting examples: f, jf1, jf2 :: a -> Bool f x = (jf1 x) && (jf2 x) f = liftM2 (&&) jf1 jf2 f c b = (head c) * b : c f = flip (join . ((:) .) . (. head)...

"The Point Free Style" - source change

Sat, 12 Jul 2008 10:52:21 +0000

Page: The Point Free Style (point-free)
Current revision number: 18
Date changed: Sat, 12 Jul 2008 10:52:21 +0000
Change type: source change
By: pierric

Page content preview:
here come two interesting examples: f, jf1, jf2 :: a -> Bool f x = (jf1 x) && (jf2 x) f = liftM2 (&&) jf1 jf2 f c b = (head c) * b : c f = flip (join . ((:) .) . (. head)...

"Sandbox" - source change

Thu, 10 Jul 2008 07:43:41 +0000

Page: Sandbox (sandbox)
Current revision number: 3
Date changed: Thu, 10 Jul 2008 07:43:41 +0000
Change type: source change
By: pierric

Page content preview:
You can test wiki syntax here. You can test wiki syntax here. You can test wiki syntax here. You can test wiki syntax here. [[[]]]

"Sandbox" - source change

Tue, 08 Jul 2008 09:13:50 +0000

Page: Sandbox (sandbox)
Current revision number: 2
Date changed: Tue, 08 Jul 2008 09:13:50 +0000
Change type: source change
By: pierric

Page content preview:
You can test wiki syntax here. You can test wiki syntax here. You can test wiki syntax here. You can test wiki syntax here. [[[]]]

"Top Bar Menu" - page move/rename

Wed, 02 Jul 2008 13:18:08 +0000

Page: Top Bar Menu (nav:top)
Current revision number: 11
Date changed: Wed, 02 Jul 2008 13:18:08 +0000
Change type: page move/rename
Change comments: Page name changed: "deleted:nav:top" to "nav:top".
By: pierric

Page content preview:
Welcome Start All Tags All Pages Contact

"Top Bar Menu" - page move/rename

Wed, 02 Jul 2008 13:17:31 +0000

Page: Top Bar Menu (nav:top)
Current revision number: 10
Date changed: Wed, 02 Jul 2008 13:17:31 +0000
Change type: page move/rename
Change comments: Page name changed: "nav:top" to "deleted:nav:top".
By: pierric

Page content preview:
Welcome Start All Tags All Pages Contact

"Side" - source change

Wed, 02 Jul 2008 12:47:33 +0000

Page: Side (nav:side)
Current revision number: 6
Date changed: Wed, 02 Jul 2008 12:47:33 +0000
Change type: source change
By: pierric

Page content preview:
Welcome page Recent changes List all pages Page Tags How to join this site? Site members tags

"Side" - source change

Wed, 02 Jul 2008 12:47:00 +0000

Page: Side (nav:side)
Current revision number: 5
Date changed: Wed, 02 Jul 2008 12:47:00 +0000
Change type: source change
By: pierric

Page content preview:
Welcome page Recent changes List all pages Page Tags How to join this site? Site members tags

"Usefull Cmds" - source change

Thu, 01 May 2008 14:24:39 +0000

Page: Usefull Cmds (usefull-cmds)
Current revision number: 3
Date changed: Thu, 01 May 2008 14:24:39 +0000
Change type: source change
By: pierric

Page content preview:
This page lists some of useful linux commands. lsof : lsof (LiSt Open Files) lists information about files that are open by the running processes http_load : test http server tcpdump : A tool for...

"Usefull Cmds" - source change

Thu, 01 May 2008 14:23:57 +0000

Page: Usefull Cmds (usefull-cmds)
Current revision number: 2
Date changed: Thu, 01 May 2008 14:23:57 +0000
Change type: source change
By: pierric

Page content preview:
This page lists some of useful linux commands. lsof : lsof (LiSt Open Files) lists information about files that are open by the running processes http_load : test http server tcpdump : A tool for...

"Usefull Cmds" - source change

Thu, 01 May 2008 14:22:54 +0000

Page: Usefull Cmds (usefull-cmds)
Current revision number: 1
Date changed: Thu, 01 May 2008 14:22:54 +0000
Change type: source change
By: pierric

Page content preview:
This page lists some of useful linux commands. lsof : lsof (LiSt Open Files) lists information about files that are open by the running processes http_load : test http server tcpdump : A tool for...

"Usefull Cmds" - new page

Thu, 01 May 2008 14:16:02 +0000

Page: Usefull Cmds (usefull-cmds)
Current revision number: 0
Date changed: Thu, 01 May 2008 14:16:02 +0000
Change type: new page
By: pierric

Page content preview:
This page lists some of useful linux commands. lsof : lsof (LiSt Open Files) lists information about files that are open by the running processes http_load : test http server tcpdump : A tool for...

"Sandbox" - file action

Mon, 21 Apr 2008 06:07:47 +0000

Page: Sandbox (sandbox)
Current revision number: 1
Date changed: Mon, 21 Apr 2008 06:07:47 +0000
Change type: file action
Change comments: Uploaded file "G.E.B.txt".
By: pierric

Page content preview:
You can test wiki syntax here. You can test wiki syntax here. You can test wiki syntax here. You can test wiki syntax here. [[[]]]

"Sandbox" - new page

Mon, 21 Apr 2008 06:07:23 +0000

Page: Sandbox (sandbox)
Current revision number: 0
Date changed: Mon, 21 Apr 2008 06:07:23 +0000
Change type: new page
By: pierric

Page content preview:
You can test wiki syntax here. You can test wiki syntax here. You can test wiki syntax here. You can test wiki syntax here. [[[]]]

"Setup Darcs" - source change

Mon, 21 Apr 2008 04:56:42 +0000

Page: Setup Darcs (setup-darcs)
Current revision number: 1
Date changed: Mon, 21 Apr 2008 04:56:42 +0000
Change type: source change
By: pierric

Page content preview:
Darcs is a great distributed version control system written in Haskell. I setted up a darcs server this morning. I feel it necessary to write down something about the process of making it work, due...

"Setup Darcs" - new page

Mon, 21 Apr 2008 04:50:30 +0000

Page: Setup Darcs (setup-darcs)
Current revision number: 0
Date changed: Mon, 21 Apr 2008 04:50:30 +0000
Change type: new page
By: pierric

Page content preview:
Darcs is a great distributed version control system written in Haskell. I setted up a darcs server this morning. I feel it necessary to write down something about the process of making it work, due...

"The Point Free Style" - metadata changed

Mon, 21 Apr 2008 04:47:49 +0000

Page: The Point Free Style (point-free)
Current revision number: 17
Date changed: Mon, 21 Apr 2008 04:47:49 +0000
Change type: metadata changed
Change comments: Parent page set to: "category:haskell".
By: pierric

Page content preview:
here come two interesting examples: f, jf1, jf2 :: a -> Bool f x = (jf1 x) && (jf2 x) f = liftM2 (&&) jf1 jf2 f c b = (head c) * b : c f = flip (join . ((:) .) . (. head)...

"Monad - A universe perspect" - metadata changed

Mon, 21 Apr 2008 04:47:21 +0000

Page: Monad - A universe perspect (monad)
Current revision number: 5
Date changed: Mon, 21 Apr 2008 04:47:21 +0000
Change type: metadata changed
Change comments: Parent page set to: "category:haskell".
By: pierric

Page content preview:
Monad is a well designed little universe, where any composition of actions never escape. Hence, by monad, we separate the concrete real problem into severy disjoint sub problems, and solve them...

"Inventors Of Computer" - new page

Mon, 21 Apr 2008 03:14:37 +0000

Page: Inventors Of Computer (inventors-of-computer)
Current revision number: 0
Date changed: Mon, 21 Apr 2008 03:14:37 +0000
Change type: new page
By: pierric

Page content preview:
约瑟夫—玛丽·雅卡尔（1752~1834）...

"My road to Logic" - source change

Wed, 19 Mar 2008 12:25:05 +0000

Page: My road to Logic (aboutlogic)
Current revision number: 6
Date changed: Wed, 19 Mar 2008 12:25:05 +0000
Change type: source change
By: pierric

Page content preview:
I'm reading the following books: "A Mathematical Introduction to Logic" , second edition, written by Herbert B. Enderton "数理逻辑——基本原理与形式逻辑"， writen by Li Wei I'm...

"The Answers To Exercises in AMIL" - source change

Wed, 12 Mar 2008 09:05:36 +0000

Page: The Answers To Exercises in AMIL (answers-to-exercises-of-amil)
Current revision number: 1
Date changed: Wed, 12 Mar 2008 09:05:36 +0000
Change type: source change
By: pierric

Page content preview:
AMIL stands for "A Mathematical Introduction to Logic", which is book guide me into the symbolic logic world. After several days of reading. I feel it necessary to figure out all the exercises and...

"The Answers To Exercises in AMIL" - new page

Wed, 12 Mar 2008 09:02:33 +0000

Page: The Answers To Exercises in AMIL (answers-to-exercises-of-amil)
Current revision number: 0
Date changed: Wed, 12 Mar 2008 09:02:33 +0000
Change type: new page
By: pierric

Page content preview:
AMIL stands for "A Mathematical Introduction to Logic", which is book guide me into the symbolic logic world. After several days of reading. I feel it necessary to figure out all the exercises and...

"My road to Logic" - source change

Wed, 12 Mar 2008 08:55:18 +0000

Page: My road to Logic (aboutlogic)
Current revision number: 5
Date changed: Wed, 12 Mar 2008 08:55:18 +0000
Change type: source change
By: pierric

Page content preview:
I'm reading the following books: "A Mathematical Introduction to Logic" , second edition, written by Herbert B. Enderton "数理逻辑——基本原理与形式逻辑"， writen by Li Wei I'm...

"My road to Logic" - source change

Wed, 12 Mar 2008 08:54:08 +0000

Page: My road to Logic (aboutlogic)
Current revision number: 4
Date changed: Wed, 12 Mar 2008 08:54:08 +0000
Change type: source change
By: pierric

Page content preview:
I'm reading the following books: "A Mathematical Introduction to Logic" , second edition, written by Herbert B. Enderton "数理逻辑——基本原理与形式逻辑"， writen by Li Wei I'm...

"My road to Logic" - source change

Wed, 12 Mar 2008 08:50:23 +0000

Page: My road to Logic (aboutlogic)
Current revision number: 3
Date changed: Wed, 12 Mar 2008 08:50:23 +0000
Change type: source change
By: pierric

Page content preview:
I'm reading the following books: "A Mathematical Introduction to Logic" , second edition, written by Herbert B. Enderton "数理逻辑——基本原理与形式逻辑"， writen by Li Wei I'm...

"My road to Logic" - source change

Wed, 12 Mar 2008 08:49:26 +0000

Page: My road to Logic (aboutlogic)
Current revision number: 2
Date changed: Wed, 12 Mar 2008 08:49:26 +0000
Change type: source change
By: pierric

Page content preview:
I'm reading the following books: "A Mathematical Introduction to Logic" , second edition, written by Herbert B. Enderton "数理逻辑——基本原理与形式逻辑"， writen by Li Wei I'm...

"My road to Logic" - source change

Wed, 12 Mar 2008 08:48:56 +0000

Page: My road to Logic (aboutlogic)
Current revision number: 1
Date changed: Wed, 12 Mar 2008 08:48:56 +0000
Change type: source change
By: pierric

Page content preview:
I'm reading the following books: "A Mathematical Introduction to Logic" , second edition, written by Herbert B. Enderton "数理逻辑——基本原理与形式逻辑"， writen by Li Wei I'm...

"My road to Logic" - new page

Wed, 12 Mar 2008 08:46:35 +0000

Page: My road to Logic (aboutlogic)
Current revision number: 0
Date changed: Wed, 12 Mar 2008 08:46:35 +0000
Change type: new page
By: pierric

Page content preview:
I'm reading the following books: "A Mathematical Introduction to Logic" , second edition, written by Herbert B. Enderton "数理逻辑——基本原理与形式逻辑"， writen by Li Wei I'm...

"Welcome to P's Little Universe" - source change

Wed, 12 Mar 2008 06:04:21 +0000

Page: Welcome to P's Little Universe (profile)
Current revision number: 9
Date changed: Wed, 12 Mar 2008 06:04:21 +0000
Change type: source change
By: pierric

Page content preview:
Currently I'm a undergraduate student in Department of Computer Science, Nanjing University, China. Research Interests Functional Programming: Haskell Logic Parallel Programming Working...

"Ugly Code" - new page

Sun, 06 Jan 2008 13:14:58 +0000

Page: Ugly Code (ugly-code)
Current revision number: 0
Date changed: Sun, 06 Jan 2008 13:14:58 +0000
Change type: new page
By: pierric

Page content preview:
This is part of the quicksort algorithm in my text book. template<class Type> int Partition(datalist<Type>& list, const int low, const int high) { int...