Home
Member since Mar 18, 2009, follows 0 people, 0 public groups, 1098 public bookmarks (2808 total).
More »
Tags
More »
Recent Bookmarks and Annotations
- Jim Hugunin's Thinking Dynamic : A Dynamic Language Runtime (DLR) on 2007-05-06
- Jim Hugunin's Thinking Dynamic : The One True Object (Part 2) on 2007-05-06
- Jim Hugunin's Thinking Dynamic : The One True Object (Part 1) on 2007-05-06
-
The Seventeen Provers of the World on 2007-04-19
-
This page is the home of a comparison between proof assistants by having a proof of the irrationality of the square root of two in seventeen different proof assistants.
-
This page is the home of a comparison between proof assistants by having a proof of the irrationality of the square root of two in seventeen different proof assistants.
- 1 more annotations...
-
- Look how cool those Ruby on Rails guys are. on 2007-04-17
- Why Can't I Own a Canadian? on 2007-04-08
-
Research points the finger at PowerPoint - Technology - smh.com.au on 2007-04-07
-
It is more difficult to process information if it is coming at you in the written and spoken form at the same time.
-
It is more difficult to process information if it is coming at you in the written and spoken form at the same time.
- 1 more annotations...
-
- Python web development and frameworks in 2007 (jp's domain) on 2007-04-04
-
Web Services and Postel's Law on 2007-03-27
-
“Robustness Principle” in RFC 793
-
“Robustness Principle” in RFC 793
- 1 more annotations...
-
- Apache vs. Yaws on 2007-03-23
Recent Visitors (2 visits)
-
on 2009-04-07
Diigo is about better ways to research, share and collaborate on information. Learn more »
Join Diigo