<?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 (earl)</title>
    <link>https://pinboard.in/u:earl/public/</link>
    <description>recent bookmarks from earl (from delicious)</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="https://code.google.com/p/anic/"/>
	<rdf:li rdf:resource="https://play.google.com/store/apps/details?id=net.antoniy.gidder.beta"/>
	<rdf:li rdf:resource="http://kivy.org/#home"/>
	<rdf:li rdf:resource="http://mathematica.stackexchange.com/questions/11350/xkcd-style-graphs"/>
	<rdf:li rdf:resource="http://evincarofautumn.blogspot.co.at/2012/02/why-concatenative-programming-matters.html"/>
	<rdf:li rdf:resource="http://www.rebol.com/article/0511.html"/>
	<rdf:li rdf:resource="http://scottlocklin.wordpress.com/2012/09/18/a-look-at-the-j-language-the-fine-line-between-genius-and-insanity/"/>
	<rdf:li rdf:resource="http://r-nd-m.blogspot.co.at/2012/03/1-2-3-nb-six.html"/>
	<rdf:li rdf:resource="http://www.pythontutor.com/"/>
	<rdf:li rdf:resource="http://www.angrymath.com/2012/09/udacity-statistics-101.html"/>
	<rdf:li rdf:resource="http://foldoc.org/scope"/>
	<rdf:li rdf:resource="http://opinionator.blogs.nytimes.com/2009/09/17/the-referendum/?pagewanted=all"/>
	<rdf:li rdf:resource="http://golang.org/doc/articles/slices_usage_and_internals.html"/>
	<rdf:li rdf:resource="http://www.cs.uoregon.edu/Activities/summerschool/summer12/curriculum.html"/>
	<rdf:li rdf:resource="http://www.qtrac.eu/diffpdf.html"/>
	<rdf:li rdf:resource="http://www.haskell.org/haskellwiki/Functional_Reactive_Programming"/>
	<rdf:li rdf:resource="http://nuitka.net/pages/overview.html"/>
	<rdf:li rdf:resource="http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/"/>
	<rdf:li rdf:resource="http://playingwithpointers.com/archives/900"/>
	<rdf:li rdf:resource="https://github.com/dmbarbour/Sirea/blob/master/README.md"/>
	<rdf:li rdf:resource="https://github.com/blog/1252-how-we-keep-github-fast"/>
	<rdf:li rdf:resource="http://www.returninfinity.com/pure64.html"/>
	<rdf:li rdf:resource="http://matt.might.net/articles/oo-cesk/"/>
	<rdf:li rdf:resource="http://cjdns.info/"/>
	<rdf:li rdf:resource="http://www.eng.umd.edu/~blj/RiSC/"/>
	<rdf:li rdf:resource="http://queue.acm.org/detail.cfm?id=2349257&amp;ref=fullrss"/>
	<rdf:li rdf:resource="https://github.com/mitechie/Bookie"/>
	<rdf:li rdf:resource="https://bmark.us/"/>
	<rdf:li rdf:resource="http://nbviewer.ipython.org/urls/raw.github.com/ipython/ipython/master/docs/examples/notebooks/00_notebook_tour.ipynb"/>
	<rdf:li rdf:resource="http://matt.might.net/articles/cesk-machines/"/>
	<rdf:li rdf:resource="http://toastytech.com/guis/"/>
	<rdf:li rdf:resource="http://www.symantec.com/connect/articles/getting-hang-iops-v13"/>
	<rdf:li rdf:resource="http://www.michaelnielsen.org/ddi/how-to-crawl-a-quarter-billion-webpages-in-40-hours/"/>
	<rdf:li rdf:resource="http://wiki.freebsd.org/AvoidingLinuxisms"/>
	<rdf:li rdf:resource="http://www.datadoghq.com/2012/08/easy-app-metrics-with-pup/"/>
	<rdf:li rdf:resource="https://github.com/pcwalton/fempeg"/>
	<rdf:li rdf:resource="http://archive.vector.org.uk/art10010830"/>
	<rdf:li rdf:resource="http://hackaday.com/2012/08/05/wireless-sensors-without-a-microcontroller/"/>
	<rdf:li rdf:resource="http://www.asciiflow.com/"/>
	<rdf:li rdf:resource="http://www.gbkr.com/subjects/q/"/>
	<rdf:li rdf:resource="http://www.codeproject.com/Articles/432071/Computational-Types-in-Csharp-and-Fsharp"/>
	<rdf:li rdf:resource="http://lists.scheme-reports.org/pipermail/scheme-reports/2012-February/001824.html"/>
	<rdf:li rdf:resource="http://woboq.com/blog/utf-8-processing-using-simd.html"/>
	<rdf:li rdf:resource="http://cr.yp.to/talks/2012.06.04/slides.pdf"/>
	<rdf:li rdf:resource="http://canopy.jcoglan.com/"/>
	<rdf:li rdf:resource="http://lambda-the-ultimate.org/node/4565#comment-71759"/>
	<rdf:li rdf:resource="http://vincent.bernat.im/en/blog/2011-ssl-perfect-forward-secrecy.html"/>
	<rdf:li rdf:resource="http://www.instructables.com/id/Palm-Arduino-Kit/?ALLSTEPS"/>
	<rdf:li rdf:resource="http://lambda-the-ultimate.org/node/4564"/>
	<rdf:li rdf:resource="http://pointersgonewild.wordpress.com/2012/07/10/radical-intro-to-programming/"/>
	<rdf:li rdf:resource="http://discrete.gr/complexity/"/>
	<rdf:li rdf:resource="http://morepypy.blogspot.co.at/2012/07/hello-everyone.html"/>
	<rdf:li rdf:resource="http://erlangonxen.org/"/>
	<rdf:li rdf:resource="http://ellcc.org/"/>
	<rdf:li rdf:resource="http://liftoffsoftware.com/Products/GateOne"/>
	<rdf:li rdf:resource="https://www.securecoding.cert.org/confluence/display/seccode/CERT+C+Secure+Coding+Standard"/>
	<rdf:li rdf:resource="https://lkml.org/lkml/2012/7/1/203"/>
	<rdf:li rdf:resource="http://www.latrobe.edu.au/phimvt/joy/j08cnt.html"/>
	<rdf:li rdf:resource="http://code.google.com/p/pymothoa/"/>
	<rdf:li rdf:resource="http://www.ewherry.com/2012/06/the-recruiter-honeypot/"/>
	<rdf:li rdf:resource="http://blog.empathybox.com/post/24415262152/ssds-and-distributed-data-systems#notes-container"/>
	<rdf:li rdf:resource="http://comjnl.oxfordjournals.org/content/18/4/318.full.pdf"/>
	<rdf:li rdf:resource="http://archive.vector.org.uk/art10009240"/>
	<rdf:li rdf:resource="http://algs4.cs.princeton.edu/home/"/>
	<rdf:li rdf:resource="http://www.nczonline.net/blog/2012/06/12/the-care-and-feeding-of-software-engineers-or-why-engineers-are-grumpy/"/>
	<rdf:li rdf:resource="http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial"/>
	<rdf:li rdf:resource="http://commandcenter.blogspot.co.at/2012/06/less-is-exponentially-more.html"/>
	<rdf:li rdf:resource="http://pypi.python.org/pypi/clize"/>
	<rdf:li rdf:resource="http://www.imperialviolet.org/2012/06/25/wireshark.html"/>
	<rdf:li rdf:resource="http://www.xach.com/naggum/articles/3065048088243385@naggum.no.html"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="https://code.google.com/p/anic/">
    <title>anic</title>
    <dc:date>2012-10-06T23:47:18+00:00</dc:date>
    <link>https://code.google.com/p/anic/</link>
    <dc:creator>earl</dc:creator><dc:subject>dormant? via:manuel dataflow ani proglang</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:46a283505679/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dormant?"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:manuel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dataflow"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ani"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:proglang"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://play.google.com/store/apps/details?id=net.antoniy.gidder.beta">
    <title>gidder -- git server for android (antoniy chonkov)</title>
    <dc:date>2012-10-05T16:12:52+00:00</dc:date>
    <link>https://play.google.com/store/apps/details?id=net.antoniy.gidder.beta</link>
    <dc:creator>earl</dc:creator><dc:subject>gidder android git</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:337fa236f577/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:gidder"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:android"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:git"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://kivy.org/#home">
    <title>kivy: crossplatform framework for nui</title>
    <dc:date>2012-10-02T20:58:33+00:00</dc:date>
    <link>http://kivy.org/#home</link>
    <dc:creator>earl</dc:creator><dc:subject>kivy framework gui python</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:175867c4c98e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:kivy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:framework"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:gui"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:python"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://mathematica.stackexchange.com/questions/11350/xkcd-style-graphs">
    <title>plotting - xkcd-style graphs - mathematica</title>
    <dc:date>2012-10-02T09:08:41+00:00</dc:date>
    <link>http://mathematica.stackexchange.com/questions/11350/xkcd-style-graphs</link>
    <dc:creator>earl</dc:creator><dc:subject>xkcd mathematica graphing</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:703142b7cb9a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:xkcd"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:mathematica"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:graphing"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://evincarofautumn.blogspot.co.at/2012/02/why-concatenative-programming-matters.html">
    <title>why concatenative programming matters (jon purdy)</title>
    <dc:date>2012-09-26T17:43:53+00:00</dc:date>
    <link>http://evincarofautumn.blogspot.co.at/2012/02/why-concatenative-programming-matters.html</link>
    <dc:creator>earl</dc:creator><dc:subject>stack-language concatenative-programming</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:8cb55cc212da/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:stack-language"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:concatenative-programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.rebol.com/article/0511.html">
    <title>rebol to become open source (carl sassenrath)</title>
    <dc:date>2012-09-25T21:48:29+00:00</dc:date>
    <link>http://www.rebol.com/article/0511.html</link>
    <dc:creator>earl</dc:creator><dc:subject>rebol3 open-source rebol</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a5dbe9e7679b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:rebol3"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:open-source"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:rebol"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://scottlocklin.wordpress.com/2012/09/18/a-look-at-the-j-language-the-fine-line-between-genius-and-insanity/">
    <title>a look at the j language: the fine line between genius and insanity (scott locklin)</title>
    <dc:date>2012-09-25T01:10:28+00:00</dc:date>
    <link>http://scottlocklin.wordpress.com/2012/09/18/a-look-at-the-j-language-the-fine-line-between-genius-and-insanity/</link>
    <dc:creator>earl</dc:creator><dc:subject>j</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:315bd9886951/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:j"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://r-nd-m.blogspot.co.at/2012/03/1-2-3-nb-six.html">
    <title>+/ 1 2 3 nb. six (raul miller)</title>
    <dc:date>2012-09-21T17:37:03+00:00</dc:date>
    <link>http://r-nd-m.blogspot.co.at/2012/03/1-2-3-nb-six.html</link>
    <dc:creator>earl</dc:creator><description><![CDATA["So I was thinking that sounds like a worthwhile project -- documenting how an adverb works in the J interpreter."]]></description>
<dc:subject>array-language lang-impl j</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:505d2e4abf05/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:array-language"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-impl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:j"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.pythontutor.com/">
    <title>online python tutor - learn programming by visualizing code execution</title>
    <dc:date>2012-09-21T12:31:58+00:00</dc:date>
    <link>http://www.pythontutor.com/</link>
    <dc:creator>earl</dc:creator><dc:subject>learning-to-code edu python</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:15918934b843/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:learning-to-code"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:edu"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:python"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.angrymath.com/2012/09/udacity-statistics-101.html">
    <title>udacity statistics 101 [review] (daniel collins)</title>
    <dc:date>2012-09-11T16:59:32+00:00</dc:date>
    <link>http://www.angrymath.com/2012/09/udacity-statistics-101.html</link>
    <dc:creator>earl</dc:creator><dc:subject>udacity online-courses edu</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:15842dbf728b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:udacity"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:online-courses"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:edu"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://foldoc.org/scope">
    <title>scope (foldoc)</title>
    <dc:date>2012-09-09T18:18:04+00:00</dc:date>
    <link>http://foldoc.org/scope</link>
    <dc:creator>earl</dc:creator><description><![CDATA["The scope of an identifier is the region of a program source within which it represents a certain thing."]]></description>
<dc:subject>scoping reference</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:cb67ac2f5906/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:scoping"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:reference"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://opinionator.blogs.nytimes.com/2009/09/17/the-referendum/?pagewanted=all">
    <title>the referendum (tim kreider)</title>
    <dc:date>2012-09-09T18:16:09+00:00</dc:date>
    <link>http://opinionator.blogs.nytimes.com/2009/09/17/the-referendum/?pagewanted=all</link>
    <dc:creator>earl</dc:creator><description><![CDATA["One of the hardest things to look at in this life is the lives we didn’t lead, the path not taken, potential left unfulfilled."]]></description>
<dc:subject>✓</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:e8c8335d063e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://golang.org/doc/articles/slices_usage_and_internals.html">
    <title>slices: usage and internals - the go programming language</title>
    <dc:date>2012-09-09T18:09:17+00:00</dc:date>
    <link>http://golang.org/doc/articles/slices_usage_and_internals.html</link>
    <dc:creator>earl</dc:creator><dc:subject>lang-design slices go</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:9e89fb6d2f9a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-design"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:slices"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:go"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.uoregon.edu/Activities/summerschool/summer12/curriculum.html">
    <title>oregon programming languages summer school: logic, languages, compilation, and verification</title>
    <dc:date>2012-09-09T18:05:05+00:00</dc:date>
    <link>http://www.cs.uoregon.edu/Activities/summerschool/summer12/curriculum.html</link>
    <dc:creator>earl</dc:creator><description><![CDATA["The program consists of 80 minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research."]]></description>
<dc:subject>video coq proofs verification monads types category-theory logic compsci lambda</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a344b32e951c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:coq"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:proofs"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:verification"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:category-theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:compsci"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.qtrac.eu/diffpdf.html">
    <title>diffpdf</title>
    <dc:date>2012-09-09T18:03:04+00:00</dc:date>
    <link>http://www.qtrac.eu/diffpdf.html</link>
    <dc:creator>earl</dc:creator><description><![CDATA["DiffPDF can compare two PDF files. It offers three comparison modes: Words, Characters, and Appearance."]]></description>
<dc:subject>diff pdf</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a55523c6f459/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:diff"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.haskell.org/haskellwiki/Functional_Reactive_Programming">
    <title>functional reactive programming (haskellwiki)</title>
    <dc:date>2012-09-09T18:02:01+00:00</dc:date>
    <link>http://www.haskell.org/haskellwiki/Functional_Reactive_Programming</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell functional-reactive-programming</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:75fbd30cb126/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:functional-reactive-programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://nuitka.net/pages/overview.html">
    <title>nuitka</title>
    <dc:date>2012-09-09T18:01:27+00:00</dc:date>
    <link>http://nuitka.net/pages/overview.html</link>
    <dc:creator>earl</dc:creator><description><![CDATA[python to c++ compiler, fully implementing python as per cpython 2.6/2.7]]></description>
<dc:subject>compiler c++ python</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:04b95bb522ad/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:compiler"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:c++"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:python"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/">
    <title>baking pi - operating systems development (alex chadwick, cambridge computer laboratory)</title>
    <dc:date>2012-09-09T17:59:21+00:00</dc:date>
    <link>http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/</link>
    <dc:creator>earl</dc:creator><dc:subject>os-dev os raspberry-pi</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:add662b55051/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:os-dev"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:os"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:raspberry-pi"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://playingwithpointers.com/archives/900">
    <title>logic puzzles in agda (sanjoy das)</title>
    <dc:date>2012-09-09T17:56:57+00:00</dc:date>
    <link>http://playingwithpointers.com/archives/900</link>
    <dc:creator>earl</dc:creator><dc:subject>✕ agda</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:9b237bb2fc2f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✕"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:agda"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/dmbarbour/Sirea/blob/master/README.md">
    <title>sirea readme (david barbour)</title>
    <dc:date>2012-09-09T17:55:24+00:00</dc:date>
    <link>https://github.com/dmbarbour/Sirea/blob/master/README.md</link>
    <dc:creator>earl</dc:creator><description><![CDATA["declarative orchestration in haskell using the reactive demand programming model"]]></description>
<dc:subject>by:barbour functional-reactive-programming reactive-demand-programming haskell sirea</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:df8861661a0d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:barbour"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:functional-reactive-programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:reactive-demand-programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:sirea"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/blog/1252-how-we-keep-github-fast">
    <title>how we keep github fast</title>
    <dc:date>2012-09-06T01:37:58+00:00</dc:date>
    <link>https://github.com/blog/1252-how-we-keep-github-fast</link>
    <dc:creator>earl</dc:creator><dc:subject>github monitoring performance</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:d595da1f2cac/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:github"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monitoring"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:performance"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.returninfinity.com/pure64.html">
    <title>pure64</title>
    <dc:date>2012-09-03T20:21:37+00:00</dc:date>
    <link>http://www.returninfinity.com/pure64.html</link>
    <dc:creator>earl</dc:creator><dc:subject>x64 bootloader</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:cec7845d0ce7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:x64"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bootloader"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://matt.might.net/articles/oo-cesk/">
    <title>implementing java as a cesk machine, in java (matt might)</title>
    <dc:date>2012-09-03T20:19:14+00:00</dc:date>
    <link>http://matt.might.net/articles/oo-cesk/</link>
    <dc:creator>earl</dc:creator><dc:subject>abstract-machines cesk java lang-impl</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:c6ae49c05065/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:abstract-machines"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:cesk"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:java"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-impl"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://cjdns.info/">
    <title>cjdns</title>
    <dc:date>2012-09-03T20:11:41+00:00</dc:date>
    <link>http://cjdns.info/</link>
    <dc:creator>earl</dc:creator><dc:subject>mesh-networking ipv6 routing networking</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:68014463029f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:mesh-networking"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ipv6"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:routing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:networking"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.eng.umd.edu/~blj/RiSC/">
    <title>risc-16 architecture (bruce jacob)</title>
    <dc:date>2012-08-30T19:41:45+00:00</dc:date>
    <link>http://www.eng.umd.edu/~blj/RiSC/</link>
    <dc:creator>earl</dc:creator><dc:subject>asm verilog isa cpu lc-896 risc-16</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:0a0aaf67ddf7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:asm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:verilog"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:isa"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:cpu"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lc-896"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:risc-16"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://queue.acm.org/detail.cfm?id=2349257&amp;ref=fullrss">
    <title>a generation lost in the bazaar (poul-henning kamp, acm queue)</title>
    <dc:date>2012-08-23T01:56:23+00:00</dc:date>
    <link>http://queue.acm.org/detail.cfm?id=2349257&amp;ref=fullrss</link>
    <dc:creator>earl</dc:creator><description><![CDATA[(be sure to skim over the comments by e.g. eric raymon, kamp himself, elizabeth marston, david mackenzie, etc. well worth it)]]></description>
<dc:subject>quality-engineering cathedral-bazaar open-source unix linux</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:b478f93a6203/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:quality-engineering"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:cathedral-bazaar"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:open-source"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:unix"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:linux"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/mitechie/Bookie">
    <title>bookie (mitechie@github)</title>
    <dc:date>2012-08-20T00:37:37+00:00</dc:date>
    <link>https://github.com/mitechie/Bookie</link>
    <dc:creator>earl</dc:creator><description><![CDATA["python-based open source delicious.com replacement"]]></description>
<dc:subject>bookie alembic mako sqlalchemy pyramid python open-source del.icio.us bookmarking</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:90e28fc33baf/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bookie"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:alembic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:mako"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:sqlalchemy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:pyramid"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:python"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:open-source"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:del.icio.us"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bookmarking"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://bmark.us/">
    <title>bookie</title>
    <dc:date>2012-08-20T00:37:24+00:00</dc:date>
    <link>https://bmark.us/</link>
    <dc:creator>earl</dc:creator><description><![CDATA[hosted & open-source bookmarking application]]></description>
<dc:subject>bookie bookmarking</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:f88ea0ea5006/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bookie"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bookmarking"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://nbviewer.ipython.org/urls/raw.github.com/ipython/ipython/master/docs/examples/notebooks/00_notebook_tour.ipynb">
    <title>a brief tour of the ipython notebook</title>
    <dc:date>2012-08-17T02:26:27+00:00</dc:date>
    <link>http://nbviewer.ipython.org/urls/raw.github.com/ipython/ipython/master/docs/examples/notebooks/00_notebook_tour.ipynb</link>
    <dc:creator>earl</dc:creator><dc:subject>notebook-programming ipython</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:d84538e28a2f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:notebook-programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ipython"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://matt.might.net/articles/cesk-machines/">
    <title>writing an interpreter, cesk-style (matt might)</title>
    <dc:date>2012-08-16T19:40:56+00:00</dc:date>
    <link>http://matt.might.net/articles/cesk-machines/</link>
    <dc:creator>earl</dc:creator><dc:subject>anf cesk lang-impl interpreter lambda</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:f6bf44b8af3a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:anf"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:cesk"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-impl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:interpreter"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://toastytech.com/guis/">
    <title>graphical user interface gallery (nathan lineback)</title>
    <dc:date>2012-08-15T19:27:10+00:00</dc:date>
    <link>http://toastytech.com/guis/</link>
    <dc:creator>earl</dc:creator><dc:subject>history gui</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a6cf72a93d89/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:history"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:gui"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.symantec.com/connect/articles/getting-hang-iops-v13">
    <title>getting the hang of iops v1.3 (ian atkin)</title>
    <dc:date>2012-08-13T10:56:13+00:00</dc:date>
    <link>http://www.symantec.com/connect/articles/getting-hang-iops-v13</link>
    <dc:creator>earl</dc:creator><description><![CDATA[response time, transfer rate, zone bit recording, iops, partial stroking, raid write penalties, normalised effective iops, optimum raid drive number for target iops]]></description>
<dc:identifier>https://pinboard.in/u:earl/b:ac81bf362639/</dc:identifier>
</item>
<item rdf:about="http://www.michaelnielsen.org/ddi/how-to-crawl-a-quarter-billion-webpages-in-40-hours/">
    <title>how to crawl a quarter billion webpages in 40 hours (michael nielsen)</title>
    <dc:date>2012-08-10T22:35:17+00:00</dc:date>
    <link>http://www.michaelnielsen.org/ddi/how-to-crawl-a-quarter-billion-webpages-in-40-hours/</link>
    <dc:creator>earl</dc:creator><dc:subject>webcrawling via:chl crawler</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:4a054ebe4e6b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:webcrawling"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:chl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:crawler"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://wiki.freebsd.org/AvoidingLinuxisms">
    <title>avoiding linuxisms - freebsd wiki</title>
    <dc:date>2012-08-08T01:30:01+00:00</dc:date>
    <link>http://wiki.freebsd.org/AvoidingLinuxisms</link>
    <dc:creator>earl</dc:creator><dc:subject>linuxisms sysprog freebsd linux</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:186cdafce6ac/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:linuxisms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:sysprog"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:freebsd"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:linux"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.datadoghq.com/2012/08/easy-app-metrics-with-pup/">
    <title>easy app metrics with pup (datadog)</title>
    <dc:date>2012-08-07T13:32:52+00:00</dc:date>
    <link>http://www.datadoghq.com/2012/08/easy-app-metrics-with-pup/</link>
    <dc:creator>earl</dc:creator><dc:subject>via:chl pup statsd graphing metrics ops</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:8f9f096bb36f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:chl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:pup"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:statsd"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:graphing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:metrics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ops"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/pcwalton/fempeg">
    <title>pcwalton/fempeg · github</title>
    <dc:date>2012-08-07T12:27:46+00:00</dc:date>
    <link>https://github.com/pcwalton/fempeg</link>
    <dc:creator>earl</dc:creator><dc:subject>code-sample via:chl mp2 rust</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:3915f6f0e8e7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:code-sample"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:chl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:mp2"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:rust"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://archive.vector.org.uk/art10010830">
    <title>k (arthur whitney, vector vol 10 no 1, jul 1993)</title>
    <dc:date>2012-08-06T16:42:44+00:00</dc:date>
    <link>http://archive.vector.org.uk/art10010830</link>
    <dc:creator>earl</dc:creator><dc:subject>array-language kdb k</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:b769f59c7213/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:array-language"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:kdb"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:k"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://hackaday.com/2012/08/05/wireless-sensors-without-a-microcontroller/">
    <title>wireless sensors without a microcontroller (hack a day)</title>
    <dc:date>2012-08-05T23:50:14+00:00</dc:date>
    <link>http://hackaday.com/2012/08/05/wireless-sensors-without-a-microcontroller/</link>
    <dc:creator>earl</dc:creator><dc:subject>electronics hw</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:3792dc3345d8/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:electronics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:hw"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.asciiflow.com/">
    <title>asciiflow - ascii flow diagram tool</title>
    <dc:date>2012-08-02T13:42:02+00:00</dc:date>
    <link>http://www.asciiflow.com/</link>
    <dc:creator>earl</dc:creator><dc:subject>ascii diagramming</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:1c5ce57105b1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ascii"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:diagramming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.gbkr.com/subjects/q/">
    <title>kdb+ and q (gordon baker)</title>
    <dc:date>2012-08-02T12:39:10+00:00</dc:date>
    <link>http://www.gbkr.com/subjects/q/</link>
    <dc:creator>earl</dc:creator><description><![CDATA["[an] occasional series of articles on kdb+ and the q language"]]></description>
<dc:subject>q kdb+</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:2d4ee7868a59/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:q"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:kdb+"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.codeproject.com/Articles/432071/Computational-Types-in-Csharp-and-Fsharp">
    <title>computational types in c# and f# (marc clifton)</title>
    <dc:date>2012-08-01T21:04:17+00:00</dc:date>
    <link>http://www.codeproject.com/Articles/432071/Computational-Types-in-Csharp-and-Fsharp</link>
    <dc:creator>earl</dc:creator><dc:subject>via:manuel f# c# types</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:7a21b4859d2c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:manuel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:f#"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:c#"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:types"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lists.scheme-reports.org/pipermail/scheme-reports/2012-February/001824.html">
    <title>[scheme-reports] fwd: comments on draft 6 about call/cc (oleg kiselyov)</title>
    <dc:date>2012-07-29T20:23:18+00:00</dc:date>
    <link>http://lists.scheme-reports.org/pipermail/scheme-reports/2012-February/001824.html</link>
    <dc:creator>earl</dc:creator><dc:subject>scheme r7rs call-cc continuations</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:c33106fa8024/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:scheme"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:r7rs"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:call-cc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:continuations"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://woboq.com/blog/utf-8-processing-using-simd.html">
    <title>utf-8 processing using simd/sse4 (olivier goffart)</title>
    <dc:date>2012-07-28T10:35:22+00:00</dc:date>
    <link>http://woboq.com/blog/utf-8-processing-using-simd.html</link>
    <dc:creator>earl</dc:creator><dc:subject>sse utf-8 unicode simd</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:2833030f191e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:sse"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:utf-8"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:unicode"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:simd"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://cr.yp.to/talks/2012.06.04/slides.pdf">
    <title>the dns security mess (djb, 2012-06-04)</title>
    <dc:date>2012-07-24T17:32:38+00:00</dc:date>
    <link>http://cr.yp.to/talks/2012.06.04/slides.pdf</link>
    <dc:creator>earl</dc:creator><dc:subject>dnssec dns</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:ff090c817f6e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dnssec"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dns"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://canopy.jcoglan.com/">
    <title>canopy</title>
    <dc:date>2012-07-18T23:11:39+00:00</dc:date>
    <link>http://canopy.jcoglan.com/</link>
    <dc:creator>earl</dc:creator><dc:subject>javascript parser peg</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:03e7e07c2019/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:javascript"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:parser"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:peg"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lambda-the-ultimate.org/node/4565#comment-71759">
    <title>compiler-only bootstrap notes (manuel simoni)</title>
    <dc:date>2012-07-18T21:00:00+00:00</dc:date>
    <link>http://lambda-the-ultimate.org/node/4565#comment-71759</link>
    <dc:creator>earl</dc:creator><dc:subject>lang-impl bootstrapping compiler</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:22be19a967ae/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-impl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bootstrapping"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:compiler"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://vincent.bernat.im/en/blog/2011-ssl-perfect-forward-secrecy.html">
    <title>ssl/tls &amp; perfect forward secrecy (vincent bernat)</title>
    <dc:date>2012-07-18T00:12:46+00:00</dc:date>
    <link>http://vincent.bernat.im/en/blog/2011-ssl-perfect-forward-secrecy.html</link>
    <dc:creator>earl</dc:creator><dc:subject>https-performance diffie-hellman perfect-forward-secrecy tls ssl security</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:c2fe2e511798/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:https-performance"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:diffie-hellman"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:perfect-forward-secrecy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:tls"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ssl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:security"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.instructables.com/id/Palm-Arduino-Kit/?ALLSTEPS">
    <title>palm arduino kit</title>
    <dc:date>2012-07-17T09:34:28+00:00</dc:date>
    <link>http://www.instructables.com/id/Palm-Arduino-Kit/?ALLSTEPS</link>
    <dc:creator>earl</dc:creator><dc:subject>arduino electronics diy</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:be3902f95d28/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:arduino"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:electronics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:diy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lambda-the-ultimate.org/node/4564">
    <title>7 languages built with xtext (ltu)</title>
    <dc:date>2012-07-16T21:31:19+00:00</dc:date>
    <link>http://lambda-the-ultimate.org/node/4564</link>
    <dc:creator>earl</dc:creator><dc:subject>xtext dsl lang-impl lang-design lambda</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:4e0ea099362b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:xtext"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-impl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-design"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://pointersgonewild.wordpress.com/2012/07/10/radical-intro-to-programming/">
    <title>a radical introduction to programming (maxime chevalier)</title>
    <dc:date>2012-07-14T16:54:20+00:00</dc:date>
    <link>http://pointersgonewild.wordpress.com/2012/07/10/radical-intro-to-programming/</link>
    <dc:creator>earl</dc:creator><dc:subject>✓</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:4634ae43ed1a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://discrete.gr/complexity/">
    <title>a gentle introduction to algorithm complexity analysis (dionysis zindros)</title>
    <dc:date>2012-07-14T16:53:53+00:00</dc:date>
    <link>http://discrete.gr/complexity/</link>
    <dc:creator>earl</dc:creator><dc:subject>via:chl enkindled complexity-analysis algorithm</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:2b2d20c115cc/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:chl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:enkindled"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:complexity-analysis"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:algorithm"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://morepypy.blogspot.co.at/2012/07/hello-everyone.html">
    <title>hippy vim: prototype php interpreter using the pypy toolchain (maciej fijalkowski)</title>
    <dc:date>2012-07-14T00:04:13+00:00</dc:date>
    <link>http://morepypy.blogspot.co.at/2012/07/hello-everyone.html</link>
    <dc:creator>earl</dc:creator><dc:subject>meta-tracing lang-impl php pypy</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:d70cd9213849/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:meta-tracing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-impl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:php"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:pypy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://erlangonxen.org/">
    <title>erlang on xen - a low-latency vm for zero-footprint clouds</title>
    <dc:date>2012-07-13T14:20:54+00:00</dc:date>
    <link>http://erlangonxen.org/</link>
    <dc:creator>earl</dc:creator><dc:subject>bare-metal xen erlang os</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:d61fc92bef52/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bare-metal"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:xen"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:erlang"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:os"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ellcc.org/">
    <title>ellcc - the embedded llvm compiler collection</title>
    <dc:date>2012-07-09T19:28:48+00:00</dc:date>
    <link>http://ellcc.org/</link>
    <dc:creator>earl</dc:creator><dc:subject>cross-compiler embedded musl clang llvm compiler</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:576a301a9640/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:cross-compiler"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:embedded"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:musl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:clang"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:llvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:compiler"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://liftoffsoftware.com/Products/GateOne">
    <title>gate one (liftoff software)</title>
    <dc:date>2012-07-06T14:43:21+00:00</dc:date>
    <link>http://liftoffsoftware.com/Products/GateOne</link>
    <dc:creator>earl</dc:creator><description><![CDATA["Gate One is a web-based Terminal Emulator and SSH client"]]></description>
<dc:subject>webapp ssh terminal</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:27a3385769fc/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:webapp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ssh"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:terminal"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.securecoding.cert.org/confluence/display/seccode/CERT+C+Secure+Coding+Standard">
    <title>cert c secure coding standard</title>
    <dc:date>2012-07-06T11:52:08+00:00</dc:date>
    <link>https://www.securecoding.cert.org/confluence/display/seccode/CERT+C+Secure+Coding+Standard</link>
    <dc:creator>earl</dc:creator><dc:subject>security style-guide c</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:8a640eab41a9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:style-guide"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:c"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://lkml.org/lkml/2012/7/1/203">
    <title>lkml: john stultz: re: [patch 0/2][rfc] potential fix for leapsecond caused futex issue (v2)</title>
    <dc:date>2012-07-06T10:45:16+00:00</dc:date>
    <link>https://lkml.org/lkml/2012/7/1/203</link>
    <dc:creator>earl</dc:creator><dc:subject>leapsecond-fiasco-201206 leapsecond linux</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:f8102f2c4eac/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:leapsecond-fiasco-201206"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:leapsecond"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:linux"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.latrobe.edu.au/phimvt/joy/j08cnt.html">
    <title>joy compared with other functional languages (manfred von thun)</title>
    <dc:date>2012-07-06T10:42:39+00:00</dc:date>
    <link>http://www.latrobe.edu.au/phimvt/joy/j08cnt.html</link>
    <dc:creator>earl</dc:creator><dc:subject>lambda functional via:manuel joy enkindled</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:151c872f36b9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:manuel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:joy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:enkindled"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://code.google.com/p/pymothoa/">
    <title>pymothoa - a jit extension to python</title>
    <dc:date>2012-07-03T22:49:50+00:00</dc:date>
    <link>http://code.google.com/p/pymothoa/</link>
    <dc:creator>earl</dc:creator><dc:subject>jit llvm python</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:8723434dc96b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:jit"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:llvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:python"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.ewherry.com/2012/06/the-recruiter-honeypot/">
    <title>the recruiter honeypot (elaine wherry)</title>
    <dc:date>2012-06-27T00:07:08+00:00</dc:date>
    <link>http://www.ewherry.com/2012/06/the-recruiter-honeypot/</link>
    <dc:creator>earl</dc:creator><dc:subject>via:terrorobe silicon-valley recruiting career</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:695d64edf0af/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:terrorobe"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:silicon-valley"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:recruiting"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:career"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.empathybox.com/post/24415262152/ssds-and-distributed-data-systems#notes-container">
    <title>ssds and distributed data systems (jay kreps)</title>
    <dc:date>2012-06-26T23:33:24+00:00</dc:date>
    <link>http://blog.empathybox.com/post/24415262152/ssds-and-distributed-data-systems#notes-container</link>
    <dc:creator>earl</dc:creator><dc:subject>data-systems ssd</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:01532b73f6f3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:data-systems"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ssd"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://comjnl.oxfordjournals.org/content/18/4/318.full.pdf">
    <title>is apl a viable programming language? (r. a. earnshaw)</title>
    <dc:date>2012-06-26T22:55:29+00:00</dc:date>
    <link>http://comjnl.oxfordjournals.org/content/18/4/318.full.pdf</link>
    <dc:creator>earl</dc:creator><dc:subject>year:1975 by:earnshaw apl</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:60c4e833c533/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:1975"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:earnshaw"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:apl"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://archive.vector.org.uk/art10009240">
    <title>rowan.net: an apl-like interpreter for .net (richard smith)</title>
    <dc:date>2012-06-26T22:54:04+00:00</dc:date>
    <link>http://archive.vector.org.uk/art10009240</link>
    <dc:creator>earl</dc:creator><dc:subject>year:2005 apl lang-impl</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a72b6485576a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2005"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:apl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-impl"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://algs4.cs.princeton.edu/home/">
    <title>algorithms, 4th edition (robert sedgewick &amp; kevin wayne)</title>
    <dc:date>2012-06-26T22:50:27+00:00</dc:date>
    <link>http://algs4.cs.princeton.edu/home/</link>
    <dc:creator>earl</dc:creator><dc:subject>via:chl by:wayne by:sedgewick algorithm booksite book</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:5091741ca30b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:chl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:wayne"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:sedgewick"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:algorithm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:booksite"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:book"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.nczonline.net/blog/2012/06/12/the-care-and-feeding-of-software-engineers-or-why-engineers-are-grumpy/">
    <title>the care and feeding of software engineers (or, why engineers are grumpy) (nicolas zakas)</title>
    <dc:date>2012-06-26T22:47:52+00:00</dc:date>
    <link>http://www.nczonline.net/blog/2012/06/12/the-care-and-feeding-of-software-engineers-or-why-engineers-are-grumpy/</link>
    <dc:creator>earl</dc:creator><dc:subject>enkindled</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:dcc93e4ad4ad/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:enkindled"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial">
    <title>interactive tutorial of the sequent calculus (edward yang)</title>
    <dc:date>2012-06-26T22:28:26+00:00</dc:date>
    <link>http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial</link>
    <dc:creator>earl</dc:creator><dc:subject>first-order-logic sequent-calculus logic tutorial</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:fe7022f324dc/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:first-order-logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:sequent-calculus"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:tutorial"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://commandcenter.blogspot.co.at/2012/06/less-is-exponentially-more.html">
    <title>less is exponentially more (rob pike)</title>
    <dc:date>2012-06-26T22:21:41+00:00</dc:date>
    <link>http://commandcenter.blogspot.co.at/2012/06/less-is-exponentially-more.html</link>
    <dc:creator>earl</dc:creator><dc:subject>lang-design c++ by:pike go</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:2d875bb60310/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-design"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:c++"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:pike"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:go"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://pypi.python.org/pypi/clize">
    <title>clize (@pypi)</title>
    <dc:date>2012-06-25T23:40:48+00:00</dc:date>
    <link>http://pypi.python.org/pypi/clize</link>
    <dc:creator>earl</dc:creator><dc:subject>cli python</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:4963b92f71a7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:cli"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:python"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.imperialviolet.org/2012/06/25/wireshark.html">
    <title>decrypting ssl packet dumps (adam langley)</title>
    <dc:date>2012-06-25T20:18:50+00:00</dc:date>
    <link>http://www.imperialviolet.org/2012/06/25/wireshark.html</link>
    <dc:creator>earl</dc:creator><dc:subject>wireshark tls ssl</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:4144af10a64c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:wireshark"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:tls"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ssl"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.xach.com/naggum/articles/3065048088243385@naggum.no.html">
    <title>re: why lisp failed in the marketplace (erik naggum)</title>
    <dc:date>2012-06-24T20:09:36+00:00</dc:date>
    <link>http://www.xach.com/naggum/articles/3065048088243385@naggum.no.html</link>
    <dc:creator>earl</dc:creator><description><![CDATA[source of the "workbench quote": "this is my _workbench_, dammit, it's not a pretty box to impress people with graphics and sounds.  when I work at this system up to 12 hours a day, I'm profoundly uninterested in what user interface a novice user would prefer."]]></description>
<dc:subject>by:naggum quote</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:ffe45f9b1760/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:naggum"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:quote"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>