<?xml version="1.0" encoding="UTF-8"?>
 <rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/">
  <channel rdf:about="http://pinboard.in">
    <title>Pinboard (randombit)</title>
    <link>https://pinboard.in/u:randombit/public/</link>
    <description>recent bookmarks from randombit</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://eprint.iacr.org/2010/389"/>
	<rdf:li rdf:resource="http://www.slogn.org/"/>
	<rdf:li rdf:resource="http://www.reddit.com/r/compsci/comments/97gxf/what_computer_science_research_blogs_do_you_read/"/>
	<rdf:li rdf:resource="http://www.ee.sun.ac.za/~hgibson/docs/html/Simulacra-and-Simulation.html"/>
	<rdf:li rdf:resource="http://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-85/"/>
	<rdf:li rdf:resource="http://www.podc.org/influential/2001.html"/>
	<rdf:li rdf:resource="http://www.scs.cs.nyu.edu/crypto/"/>
	<rdf:li rdf:resource="http://www.cl.cam.ac.uk/teaching/2006/FoundsCS/"/>
	<rdf:li rdf:resource="http://homepages.inf.ed.ac.uk/rbf/BOOKS/VERNON/toc.htm"/>
	<rdf:li rdf:resource="http://moonbase.wwc.edu/~aabyan/PLBook/book/book.html"/>
	<rdf:li rdf:resource="http://citeseer.ist.psu.edu/baldan99basic.html"/>
	<rdf:li rdf:resource="http://www.cs.virginia.edu/~evans/cs551/saltzer/"/>
	<rdf:li rdf:resource="http://en.wikipedia.org/wiki/Category:Formal_languages"/>
	<rdf:li rdf:resource="http://plato.stanford.edu/entries/category-theory/"/>
	<rdf:li rdf:resource="http://www.inference.phy.cam.ac.uk/mackay/itprnn/book.html"/>
	<rdf:li rdf:resource="http://cs-people.bu.edu/jconsidi/teaching/notes/cs210/cs210.html"/>
	<rdf:li rdf:resource="http://zooko.com/reading.html"/>
	<rdf:li rdf:resource="http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/"/>
	<rdf:li rdf:resource="http://citeseer.ist.psu.edu/kang95data.html"/>
	<rdf:li rdf:resource="http://swiss.csail.mit.edu/classes/6.001/abelson-sussman-lectures/"/>
	<rdf:li rdf:resource="http://www.nist.gov/dads/"/>
	<rdf:li rdf:resource="http://www.erights.org/history/morris73.pdf"/>
	<rdf:li rdf:resource="http://citeseer.ist.psu.edu/pugh90skip.html"/>
	<rdf:li rdf:resource="http://www.nobugs.org/developer/parsingcpp/"/>
	<rdf:li rdf:resource="http://research.microsoft.com/os/singularity/"/>
	<rdf:li rdf:resource="http://www.acm.org/classics/nov95/toc.html"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://eprint.iacr.org/2010/389">
    <title>The impossibility of computationally sound XOR</title>
    <dc:date>2010-07-09T20:23:30+00:00</dc:date>
    <link>http://eprint.iacr.org/2010/389</link>
    <dc:creator>randombit</dc:creator><dc:subject>theory crypto paper xor wtf</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:5f35052dc41b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:crypto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:paper"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:xor"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:wtf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.slogn.org/">
    <title>$\sqrt{\log n}$ (SLOGN)</title>
    <dc:date>2009-08-13T01:34:20+00:00</dc:date>
    <link>http://www.slogn.org/</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[$\sqrt{\log n}$ (SLOGN) is a new conference in theoretical computer science, narrowly construed, encouraging difficult arguments, analyses, and algorithms. SLOGN aims to regain and support the interest in works that are heavily technically focused. Its goal is to provide a venue for papers that contain pages and pages of involved calculations, heavy-duty math, extensive case analyses, and a general flavor of "grinding it out". When you're sloggin', SLOGN is the conference for you.
]]></description>
<dc:subject>theory humor conference</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:088c02045f9d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:humor"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:conference"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.reddit.com/r/compsci/comments/97gxf/what_computer_science_research_blogs_do_you_read/">
    <title>What computer science research blogs do you read? : compsci</title>
    <dc:date>2009-08-05T12:39:32+00:00</dc:date>
    <link>http://www.reddit.com/r/compsci/comments/97gxf/what_computer_science_research_blogs_do_you_read/</link>
    <dc:creator>randombit</dc:creator><dc:subject>theory papers</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:f91054a0c716/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:papers"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.ee.sun.ac.za/~hgibson/docs/html/Simulacra-and-Simulation.html">
    <title>Jean Baudrillard - Simulations (English Translation)</title>
    <dc:date>2009-05-13T07:48:02+00:00</dc:date>
    <link>http://www.ee.sun.ac.za/~hgibson/docs/html/Simulacra-and-Simulation.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>philosophy theory simulations baudrillard</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:416f40af4ccd/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:simulations"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:baudrillard"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-85/">
    <title>A Calculus of Mobile Processes Pt.1</title>
    <dc:date>2008-08-04T03:03:17+00:00</dc:date>
    <link>http://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-85/</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[A paper about the pi-calculus
]]></description>
<dc:subject>theory picalculus</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:d61adbc80909/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:picalculus"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.podc.org/influential/2001.html">
    <title>PODC Influential Paper Award: 2001</title>
    <dc:date>2008-02-07T21:46:46+00:00</dc:date>
    <link>http://www.podc.org/influential/2001.html</link>
    <dc:creator>randombit</dc:creator><description><![CDATA["Impossibility of  Distributed Consensus with One Faulty Process," Journal of the ACM, April 1985, 32(2):374-382
]]></description>
<dc:subject>distributed theory</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:7789949c8569/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:distributed"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.scs.cs.nyu.edu/crypto/">
    <title>NYU Cryptography Seminar</title>
    <dc:date>2007-11-08T03:08:49+00:00</dc:date>
    <link>http://www.scs.cs.nyu.edu/crypto/</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[The Crypto Reading Group is under the auspices of the NYU Cryptography Group, which is part of the NYU Computer Science Department.

We conduct discussions on various topics in cryptography. We consist of faculty and students. Individuals are always wel
]]></description>
<dc:subject>crypto papers theory nyc meeting</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:8ce2415b475e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:crypto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:nyc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:meeting"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cl.cam.ac.uk/teaching/2006/FoundsCS/">
    <title>Computer Laboratory - Foundations of Computer Science</title>
    <dc:date>2007-06-11T02:51:56+00:00</dc:date>
    <link>http://www.cl.cam.ac.uk/teaching/2006/FoundsCS/</link>
    <dc:creator>randombit</dc:creator><dc:subject>ml notes functional theory</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:1e6d3b3f9bfa/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:ml"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:notes"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://homepages.inf.ed.ac.uk/rbf/BOOKS/VERNON/toc.htm">
    <title>Vernon's Machine Vision: Table of Contents</title>
    <dc:date>2006-12-27T15:23:07+00:00</dc:date>
    <link>http://homepages.inf.ed.ac.uk/rbf/BOOKS/VERNON/toc.htm</link>
    <dc:creator>randombit</dc:creator><dc:subject>book theory machinevision computers</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:9a74a8fb95b1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:machinevision"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:computers"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://moonbase.wwc.edu/~aabyan/PLBook/book/book.html">
    <title>Theory Introduction to Programming Languages</title>
    <dc:date>2006-05-23T10:51:34+00:00</dc:date>
    <link>http://moonbase.wwc.edu/~aabyan/PLBook/book/book.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>book theory</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:6bf458d2dfb8/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://citeseer.ist.psu.edu/baldan99basic.html">
    <title>Basic theory of F-bounded quantification (ResearchIndex)</title>
    <dc:date>2006-04-18T10:04:29+00:00</dc:date>
    <link>http://citeseer.ist.psu.edu/baldan99basic.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>theory</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:3610c857bc84/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.virginia.edu/~evans/cs551/saltzer/">
    <title>Saltzer and Schroeder, The Protection of Information in Computer Systems</title>
    <dc:date>2006-04-18T09:45:06+00:00</dc:date>
    <link>http://www.cs.virginia.edu/~evans/cs551/saltzer/</link>
    <dc:creator>randombit</dc:creator><dc:subject>security theory capabilities</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:a5b7cda77277/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:capabilities"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://en.wikipedia.org/wiki/Category:Formal_languages">
    <title>Category:Formal languages - Wikipedia, the free encyclopedia</title>
    <dc:date>2006-03-14T01:00:13+00:00</dc:date>
    <link>http://en.wikipedia.org/wiki/Category:Formal_languages</link>
    <dc:creator>randombit</dc:creator><dc:subject>computers theory logic</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:ffc8612493f7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:computers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:logic"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://plato.stanford.edu/entries/category-theory/">
    <title>Category Theory</title>
    <dc:date>2006-03-01T00:32:55+00:00</dc:date>
    <link>http://plato.stanford.edu/entries/category-theory/</link>
    <dc:creator>randombit</dc:creator><dc:subject>math theory</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:a0530e157815/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.inference.phy.cam.ac.uk/mackay/itprnn/book.html">
    <title>David MacKay: Information Theory, Pattern Recognition and Neural Networks: The Book</title>
    <dc:date>2006-02-20T20:52:15+00:00</dc:date>
    <link>http://www.inference.phy.cam.ac.uk/mackay/itprnn/book.html</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[Recommended by graydon on his advogato blog
]]></description>
<dc:subject>math book theory stats</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:bfcf9882208d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:stats"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://cs-people.bu.edu/jconsidi/teaching/notes/cs210/cs210.html">
    <title>Lecture Notes for CS210</title>
    <dc:date>2006-02-03T21:35:49+00:00</dc:date>
    <link>http://cs-people.bu.edu/jconsidi/teaching/notes/cs210/cs210.html</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[Lecture notes based on Patterson & Hennessy
]]></description>
<dc:subject>theory hardware computers</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:5cfdbd12e117/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:hardware"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:computers"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://zooko.com/reading.html">
    <title>Zooko's Reading List</title>
    <dc:date>2006-01-31T16:25:10+00:00</dc:date>
    <link>http://zooko.com/reading.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>papers theory security p2p</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:56298c66131a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:p2p"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/">
    <title>Graph Theory</title>
    <dc:date>2006-01-15T04:14:49+00:00</dc:date>
    <link>http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/</link>
    <dc:creator>randombit</dc:creator><dc:subject>book theory math</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:7764e4552325/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:math"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://citeseer.ist.psu.edu/kang95data.html">
    <title>A Data Pump for Communication</title>
    <dc:date>2006-01-05T04:58:54+00:00</dc:date>
    <link>http://citeseer.ist.psu.edu/kang95data.html</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[Abstract: As computer systems become more open and interconnected, the need for reliable and secure communication also increases. In this paper, we introduce a communication device, the Pump, that balances the requirements of reliability and security.
]]></description>
<dc:subject>theory security mls via:captalk</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:32acd28a8376/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:mls"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:via:captalk"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://swiss.csail.mit.edu/classes/6.001/abelson-sussman-lectures/">
    <title>Structure and Interpretation of Computer Programs, Video Lectures</title>
    <dc:date>2006-01-03T19:42:40+00:00</dc:date>
    <link>http://swiss.csail.mit.edu/classes/6.001/abelson-sussman-lectures/</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[Big downloads (500 Mb / lecture), but I hear these are worth watching.
]]></description>
<dc:subject>theory lectures video lisp</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:0ed658369794/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:lectures"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:lisp"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.nist.gov/dads/">
    <title>Dictionary of Algorithms and Data Structures</title>
    <dc:date>2006-01-02T02:08:45+00:00</dc:date>
    <link>http://www.nist.gov/dads/</link>
    <dc:creator>randombit</dc:creator><dc:subject>theory algorithm</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:fb507c9865e5/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:algorithm"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.erights.org/history/morris73.pdf">
    <title>Protection in Programming Languages</title>
    <dc:date>2006-01-01T01:58:53+00:00</dc:date>
    <link>http://www.erights.org/history/morris73.pdf</link>
    <dc:creator>randombit</dc:creator><dc:subject>theory security</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:6d83d81eb01b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:security"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://citeseer.ist.psu.edu/pugh90skip.html">
    <title>Skip Lists: A Probabilistic Alternative to Balanced Trees</title>
    <dc:date>2005-12-26T19:01:37+00:00</dc:date>
    <link>http://citeseer.ist.psu.edu/pugh90skip.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>theory computers datastructures</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:5995e7cc7a4f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:computers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:datastructures"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.nobugs.org/developer/parsingcpp/">
    <title>Parsing C++ at nobugs.org</title>
    <dc:date>2005-12-23T16:22:16+00:00</dc:date>
    <link>http://www.nobugs.org/developer/parsingcpp/</link>
    <dc:creator>randombit</dc:creator><dc:subject>refactoring theory c++</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:582521d0567b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:refactoring"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:c++"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://research.microsoft.com/os/singularity/">
    <title>Singularity Operating System</title>
    <dc:date>2005-12-23T16:01:35+00:00</dc:date>
    <link>http://research.microsoft.com/os/singularity/</link>
    <dc:creator>randombit</dc:creator><description><![CDATA[Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are building a research operating system prototype (called Singularity), extending programming languag
]]></description>
<dc:subject>operatingsystem theory microsoft singularity c# security papers</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:5204bfae5b23/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:operatingsystem"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:microsoft"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:singularity"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:c#"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:papers"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.acm.org/classics/nov95/toc.html">
    <title>A Relational Model of Data for Large Shared Data Banks</title>
    <dc:date>2005-12-21T15:43:02+00:00</dc:date>
    <link>http://www.acm.org/classics/nov95/toc.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>computers theory database</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:3c44e11acef1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:computers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:database"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>