<?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 (marmolubio)</title>
    <link>https://pinboard.in/u:marmolubio/public/</link>
    <description>recent bookmarks from marmolubio</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="https://news.ycombinator.com/item?id=31060400"/>
	<rdf:li rdf:resource="https://news.ycombinator.com/item?id=29768539"/>
	<rdf:li rdf:resource="https://lobste.rs/s/zhg5no/full_dependency_injection_elixir_using"/>
	<rdf:li rdf:resource="https://www.reddit.com/r/programming/comments/6xmg71/do_programmers_have_some_coding_secrets_that_are/"/>
	<rdf:li rdf:resource="https://www.neh.gov/humanities/2017/winter/feature/lot-what-known-about-pirates-not-true-and-lot-what-true-not-known"/>
	<rdf:li rdf:resource="http://www.theatlantic.com/science/archive/2016/02/when-humans-became-meateaters/463305/"/>
	<rdf:li rdf:resource="http://byorgey.wordpress.com/2014/05/08/avoiding-the-axiom-of-choice-part-i/"/>
	<rdf:li rdf:resource="http://vimeo.com/6622658"/>
	<rdf:li rdf:resource="http://mas.lvc.edu/~walck/phy261/syl261.html"/>
	<rdf:li rdf:resource="http://blog.ezyang.com/2014/05/elimination-with-a-motive-in-coq/"/>
	<rdf:li rdf:resource="http://www.craigkerstiens.com/2014/05/07/Postgres-datatypes-the-ones-youre-not-using/"/>
	<rdf:li rdf:resource="http://ocharles.org.uk/blog/posts/2014-05-02-well-typed-guide-haskell-type-system.html"/>
	<rdf:li rdf:resource="http://hackage.haskell.org/package/snap-web-routes-0.4.0.0"/>
	<rdf:li rdf:resource="http://java.dzone.com/articles/me-and-my-boss-%e2%80%93-saga"/>
	<rdf:li rdf:resource="http://caml.inria.fr/pub/docs/manual-ocaml-400/manual032.html#toc140"/>
	<rdf:li rdf:resource="http://ncatlab.org/nlab/show/principle+of+equivalence"/>
	<rdf:li rdf:resource="http://ncatlab.org/nlab/show/structural+set+theory"/>
	<rdf:li rdf:resource="http://ncatlab.org/nlab/show/generators+and+relations"/>
	<rdf:li rdf:resource="http://ncatlab.org/nlab/show/equivalence+in+an+%28infinity%2C1%29-category"/>
	<rdf:li rdf:resource="http://ncatlab.org/nlab/show/type+theory"/>
	<rdf:li rdf:resource="http://www.andrew.cmu.edu/user/awodey/preprints/TTH.pdf"/>
	<rdf:li rdf:resource="http://www.tac.mta.ca/tac/reprints/articles/7/tr7.pdf"/>
	<rdf:li rdf:resource="http://www.nytimes.com/2014/05/06/technology/high-tech-push-has-board-games-rolling-again.html?hpw&amp;rref=technology&amp;_r=0"/>
	<rdf:li rdf:resource="https://www.fpcomplete.com/user/snoyberg/general-haskell/basics/foldable-mapm-maybe-and-recursive-functions"/>
	<rdf:li rdf:resource="http://www.bloombergview.com/articles/2014-05-06/economists-show-your-assumptions"/>
	<rdf:li rdf:resource="http://www.nytimes.com/2014/05/06/upshot/everyone-wants-to-be-a-homeowner-why-not-a-foodowner.html?smid=fb-nytimes&amp;WT.z_sma=UP_EWT_20140506&amp;bicmp=AD&amp;bicmlukp=WT.mc_id&amp;bicmst=1388552400000&amp;bicmet=1420088400000&amp;_r=2"/>
	<rdf:li rdf:resource="http://www.theparisreview.org/blog/2014/05/05/escapism/"/>
	<rdf:li rdf:resource="http://www.theatlantic.com/entertainment/archive/2014/05/reminder-the-original-star-wars-movies-were-good-because-they-were-bad/361718/"/>
	<rdf:li rdf:resource="http://www.npr.org/2014/05/02/308934760/movie-monsters-monster-movies-and-why-godzilla-endures"/>
	<rdf:li rdf:resource="http://www.thisiscolossal.com/2014/05/color-book/"/>
	<rdf:li rdf:resource="http://www.cs.cmu.edu/~rwh/courses/hott/"/>
	<rdf:li rdf:resource="http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_homotopy_type_theory/chaao8d"/>
	<rdf:li rdf:resource="http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_homotopy_type_theory/"/>
	<rdf:li rdf:resource="http://boingboing.net/2014/05/04/man-attempts-to-bathe-a-great.html"/>
	<rdf:li rdf:resource="http://www.caninedistractions.com/goats-having-a-little-fun-with-their-great-pyrenees-guardian/"/>
	<rdf:li rdf:resource="http://blog.priceonomics.com/post/49946501858/nina-g-the-stand-up-comedian-who-also-stutters"/>
	<rdf:li rdf:resource="http://austingwalters.com/virtual-memory-and-you/"/>
	<rdf:li rdf:resource="http://www.slate.com/blogs/behold/2014/05/04/fabrice_fouillet_photographs_giant_monuments_in_his_series_colosses_photos.html"/>
	<rdf:li rdf:resource="http://arxiv.org/abs/1309.7979"/>
	<rdf:li rdf:resource="https://github.com/fiksu/partitioned/blob/master/PARTITIONING_EXPLAINED.txt"/>
	<rdf:li rdf:resource="http://en.wikipedia.org/wiki/Low-discrepancy_sequence"/>
	<rdf:li rdf:resource="http://en.wikipedia.org/wiki/River_(typography)"/>
	<rdf:li rdf:resource="http://mollyrocket.com/casey/stream_0015.html"/>
	<rdf:li rdf:resource="http://www.cwru.edu/artsci/phil/BJPSMacLane.pdf"/>
	<rdf:li rdf:resource="http://www.cwru.edu/artsci/phil/NumbersCanBeJustWhattheyHaveTo.pdf"/>
	<rdf:li rdf:resource="http://biology.stackexchange.com/questions/17077/why-does-evolution-not-make-our-life-longer"/>
	<rdf:li rdf:resource="http://blairvanderhoof.com/gist-embed/"/>
	<rdf:li rdf:resource="https://github.com/blairvanderhoof/gist-embed"/>
	<rdf:li rdf:resource="http://www.bloomberg.com/news/2014-04-10/trailer-parks-lure-investors-pursuing-double-wide-returns.html"/>
	<rdf:li rdf:resource="http://programmers.stackexchange.com/questions/118222/preparing-for-algorithm-related-interview-questions"/>
	<rdf:li rdf:resource="http://www.nybooks.com/blogs/gallery/2014/may/01/book-miracles/"/>
	<rdf:li rdf:resource="http://www.falkoriemenschneider.de/a__2014-05-01__Applying-core-async-to-JavaFX.html"/>
	<rdf:li rdf:resource="http://makingmaps.net/2008/04/03/map-symbols-landforms-terrain/"/>
	<rdf:li rdf:resource="http://www.theparisreview.org/interviews/5734/the-art-of-fiction-no-191-harry-mathews"/>
	<rdf:li rdf:resource="http://www.rockpapershotgun.com/2014/05/02/soren-johnson-mars-interview/#more-204663"/>
	<rdf:li rdf:resource="http://drewdevault.com/2014/02/02/The-worst-bugs.html"/>
	<rdf:li rdf:resource="http://www.slate.com/articles/arts/movies/2014/05/ida_review_pawel_pawlikowski_s_hauntingly_beautiful_road_movie_is_finally.html"/>
	<rdf:li rdf:resource="http://martijn.van.steenbergen.nl/journal/2009/11/12/gadts-in-haskell-98/"/>
	<rdf:li rdf:resource="http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/"/>
	<rdf:li rdf:resource="http://okmij.org/ftp/tagless-final/course/"/>
	<rdf:li rdf:resource="http://www.reddit.com/r/haskell/comments/1ohe9m/open_question_help_me_design_a_new_encoding_api/"/>
	<rdf:li rdf:resource="https://news.ycombinator.com/item?id=7688565"/>
	<rdf:li rdf:resource="http://www.medievalists.net/2014/05/01/cultures-death-warrior-suicide-medieval-europe-japan/"/>
	<rdf:li rdf:resource="http://www.pythoncentral.io/sqlalchemy-vs-orms/"/>
	<rdf:li rdf:resource="http://lifehacker.com/the-power-users-guide-to-better-virtual-machines-in-vir-1569943402"/>
	<rdf:li rdf:resource="http://mashable.com/2014/05/02/modern-farmer/?utm_cid=mash-com-fb-main-link"/>
	<rdf:li rdf:resource="http://robots.thoughtbot.com/thinking-in-types"/>
	<rdf:li rdf:resource="https://news.ycombinator.com/item?id=7686690"/>
	<rdf:li rdf:resource="http://ngm.nationalgeographic.com/2014/05/shipbreakers/gwin-text"/>
	<rdf:li rdf:resource="http://www.theatlantic.com/entertainment/archive/2014/05/art-decos-nearly-forgotten-quietly-feminist-master/361495/"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="https://news.ycombinator.com/item?id=31060400">
    <title>I Made an Entire Call Center Angry over Losing $94,000 | Hacker News</title>
    <dc:date>2022-04-17T21:46:17+00:00</dc:date>
    <link>https://news.ycombinator.com/item?id=31060400</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>scam</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:c42fde5c7c32/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:scam"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://news.ycombinator.com/item?id=29768539">
    <title>Your attention didn't collapse. It was stolen | Hacker News</title>
    <dc:date>2022-01-02T16:29:09+00:00</dc:date>
    <link>https://news.ycombinator.com/item?id=29768539</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>psychology</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:d568339b3e7a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:psychology"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://lobste.rs/s/zhg5no/full_dependency_injection_elixir_using">
    <title>Full Dependency Injection in Elixir using closures | Lobsters</title>
    <dc:date>2021-10-04T20:29:48+00:00</dc:date>
    <link>https://lobste.rs/s/zhg5no/full_dependency_injection_elixir_using</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>di</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:8f8b63bf0342/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:di"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.reddit.com/r/programming/comments/6xmg71/do_programmers_have_some_coding_secrets_that_are/">
    <title>Do programmers have some coding secrets that are only learnt by experience? : programming</title>
    <dc:date>2017-09-02T19:53:30+00:00</dc:date>
    <link>https://www.reddit.com/r/programming/comments/6xmg71/do_programmers_have_some_coding_secrets_that_are/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>life career programming work tips advice</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:6341f49b16df/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:life"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:career"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:work"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:tips"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:advice"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.neh.gov/humanities/2017/winter/feature/lot-what-known-about-pirates-not-true-and-lot-what-true-not-known">
    <title>A Lot of What Is Known about Pirates Is Not True, and a Lot of What Is True Is Not Known. | Humanities</title>
    <dc:date>2017-05-07T21:09:03+00:00</dc:date>
    <link>https://www.neh.gov/humanities/2017/winter/feature/lot-what-known-about-pirates-not-true-and-lot-what-true-not-known</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>history</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:143c8b2fbbd0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:history"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.theatlantic.com/science/archive/2016/02/when-humans-became-meateaters/463305/">
    <title>How Humans Became Carnivores - The Atlantic</title>
    <dc:date>2016-02-19T15:29:45+00:00</dc:date>
    <link>http://www.theatlantic.com/science/archive/2016/02/when-humans-became-meateaters/463305/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>history</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:753118438e11/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:history"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://byorgey.wordpress.com/2014/05/08/avoiding-the-axiom-of-choice-part-i/">
    <title>Avoiding the axiom of choice, part I | blog :: Brent -&gt; [String]</title>
    <dc:date>2014-05-08T19:46:32+00:00</dc:date>
    <link>http://byorgey.wordpress.com/2014/05/08/avoiding-the-axiom-of-choice-part-i/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>functional types theory</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:0e932ef23688/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:theory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://vimeo.com/6622658">
    <title>Beautiful Diﬀerentiation on Vimeo</title>
    <dc:date>2014-05-08T19:19:46+00:00</dc:date>
    <link>http://vimeo.com/6622658</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell video calculus</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:9d665c103538/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:calculus"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://mas.lvc.edu/~walck/phy261/syl261.html">
    <title>Intro to Computational Physics (PHY 261)</title>
    <dc:date>2014-05-08T19:19:28+00:00</dc:date>
    <link>http://mas.lvc.edu/~walck/phy261/syl261.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>course haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:9f186543c98d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:course"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.ezyang.com/2014/05/elimination-with-a-motive-in-coq/">
    <title>Elimination with a Motive (in Coq) : Inside 206-105</title>
    <dc:date>2014-05-08T06:18:08+00:00</dc:date>
    <link>http://blog.ezyang.com/2014/05/elimination-with-a-motive-in-coq/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>coq</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:e98e1073d619/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:coq"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.craigkerstiens.com/2014/05/07/Postgres-datatypes-the-ones-youre-not-using/">
    <title>Postgres Datatypes – The ones you're not using. Craig Kerstiens</title>
    <dc:date>2014-05-08T06:10:37+00:00</dc:date>
    <link>http://www.craigkerstiens.com/2014/05/07/Postgres-datatypes-the-ones-youre-not-using/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>postgres</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:e1d1811c3249/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:postgres"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ocharles.org.uk/blog/posts/2014-05-02-well-typed-guide-haskell-type-system.html">
    <title>Well Typed's &quot;The Haskell Type System&quot; Course</title>
    <dc:date>2014-05-07T21:31:10+00:00</dc:date>
    <link>http://ocharles.org.uk/blog/posts/2014-05-02-well-typed-guide-haskell-type-system.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell lecture video</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:da77ae89422a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:lecture"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:video"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://hackage.haskell.org/package/snap-web-routes-0.4.0.0">
    <title>Hackage: snap-web-routes: Type safe URLs for Snap</title>
    <dc:date>2014-05-07T21:09:45+00:00</dc:date>
    <link>http://hackage.haskell.org/package/snap-web-routes-0.4.0.0</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell libraries</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:86aa492758d2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:libraries"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://java.dzone.com/articles/me-and-my-boss-%e2%80%93-saga">
    <title>Me and My Boss – The Saga Continues With Basic Tier Azure Virtual Machines | Javalobby</title>
    <dc:date>2014-05-07T19:37:49+00:00</dc:date>
    <link>http://java.dzone.com/articles/me-and-my-boss-%e2%80%93-saga</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>windows cloud</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:001083b8feca/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:windows"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:cloud"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://caml.inria.fr/pub/docs/manual-ocaml-400/manual032.html#toc140">
    <title>The ocamlbuild compilation manager</title>
    <dc:date>2014-05-07T19:17:10+00:00</dc:date>
    <link>http://caml.inria.fr/pub/docs/manual-ocaml-400/manual032.html#toc140</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>linux</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:3fba5fe00f91/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:linux"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ncatlab.org/nlab/show/principle+of+equivalence">
    <title>principle of equivalence in nLab</title>
    <dc:date>2014-05-06T21:58:25+00:00</dc:date>
    <link>http://ncatlab.org/nlab/show/principle+of+equivalence</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>categories</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:3f424b8635bf/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:categories"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ncatlab.org/nlab/show/structural+set+theory">
    <title>structural set theory in nLab</title>
    <dc:date>2014-05-06T21:55:59+00:00</dc:date>
    <link>http://ncatlab.org/nlab/show/structural+set+theory</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>categories</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:ffc3eda8965a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:categories"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ncatlab.org/nlab/show/generators+and+relations">
    <title>generators and relations in nLab</title>
    <dc:date>2014-05-06T21:51:44+00:00</dc:date>
    <link>http://ncatlab.org/nlab/show/generators+and+relations</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>categories mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:ef80c37e92c1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:categories"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ncatlab.org/nlab/show/equivalence+in+an+%28infinity%2C1%29-category">
    <title>equivalence in an (infinity,1)-category in nLab</title>
    <dc:date>2014-05-06T21:28:52+00:00</dc:date>
    <link>http://ncatlab.org/nlab/show/equivalence+in+an+%28infinity%2C1%29-category</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>homotopy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:29ddfd4ef638/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:homotopy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ncatlab.org/nlab/show/type+theory">
    <title>type theory in nLab</title>
    <dc:date>2014-05-06T21:27:57+00:00</dc:date>
    <link>http://ncatlab.org/nlab/show/type+theory</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>categories homotopy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:7b2bcfd09b73/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:categories"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:homotopy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.andrew.cmu.edu/user/awodey/preprints/TTH.pdf">
    <title>[untitled]</title>
    <dc:date>2014-05-06T21:22:00+00:00</dc:date>
    <link>http://www.andrew.cmu.edu/user/awodey/preprints/TTH.pdf</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>homotopy math categories pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:5b65c3f36361/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:homotopy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:categories"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.tac.mta.ca/tac/reprints/articles/7/tr7.pdf">
    <title>[untitled]</title>
    <dc:date>2014-05-06T21:20:09+00:00</dc:date>
    <link>http://www.tac.mta.ca/tac/reprints/articles/7/tr7.pdf</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>categories pdf book</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:2709956ed5eb/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:categories"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:pdf"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:book"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.nytimes.com/2014/05/06/technology/high-tech-push-has-board-games-rolling-again.html?hpw&amp;rref=technology&amp;_r=0">
    <title>High-Tech Push Has Board Games Rolling Again - NYTimes.com</title>
    <dc:date>2014-05-06T20:59:50+00:00</dc:date>
    <link>http://www.nytimes.com/2014/05/06/technology/high-tech-push-has-board-games-rolling-again.html?hpw&amp;rref=technology&amp;_r=0</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>boardgames</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:89862fa91d43/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:boardgames"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.fpcomplete.com/user/snoyberg/general-haskell/basics/foldable-mapm-maybe-and-recursive-functions">
    <title>Foldable.mapM_, Maybe, and recursive functions - School of Haskell | FP Complete</title>
    <dc:date>2014-05-06T20:23:08+00:00</dc:date>
    <link>https://www.fpcomplete.com/user/snoyberg/general-haskell/basics/foldable-mapm-maybe-and-recursive-functions</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell performance</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:9d3a6bc5bf1a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:performance"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.bloombergview.com/articles/2014-05-06/economists-show-your-assumptions">
    <title>Economists, Show Your Assumptions - Bloomberg View</title>
    <dc:date>2014-05-06T20:17:38+00:00</dc:date>
    <link>http://www.bloombergview.com/articles/2014-05-06/economists-show-your-assumptions</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>economics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:1db34ce1b82e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:economics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.nytimes.com/2014/05/06/upshot/everyone-wants-to-be-a-homeowner-why-not-a-foodowner.html?smid=fb-nytimes&amp;WT.z_sma=UP_EWT_20140506&amp;bicmp=AD&amp;bicmlukp=WT.mc_id&amp;bicmst=1388552400000&amp;bicmet=1420088400000&amp;_r=2">
    <title>Everyone Wants to Be a Homeowner. Why Not a Foodowner? - NYTimes.com</title>
    <dc:date>2014-05-06T20:03:40+00:00</dc:date>
    <link>http://www.nytimes.com/2014/05/06/upshot/everyone-wants-to-be-a-homeowner-why-not-a-foodowner.html?smid=fb-nytimes&amp;WT.z_sma=UP_EWT_20140506&amp;bicmp=AD&amp;bicmlukp=WT.mc_id&amp;bicmst=1388552400000&amp;bicmet=1420088400000&amp;_r=2</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>economy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:d989a37e540b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:economy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.theparisreview.org/blog/2014/05/05/escapism/">
    <title>Paris Review – On the Commodification of Literature, Sadie Stein</title>
    <dc:date>2014-05-06T06:34:17+00:00</dc:date>
    <link>http://www.theparisreview.org/blog/2014/05/05/escapism/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>literature</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:733386bd6fa1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:literature"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.theatlantic.com/entertainment/archive/2014/05/reminder-the-original-star-wars-movies-were-good-because-they-were-bad/361718/">
    <title>Star Wars' Original, Scum-Caked Brilliance - Noah Berlatsky - The Atlantic</title>
    <dc:date>2014-05-06T06:29:43+00:00</dc:date>
    <link>http://www.theatlantic.com/entertainment/archive/2014/05/reminder-the-original-star-wars-movies-were-good-because-they-were-bad/361718/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>film</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:4fb89676d9af/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:film"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.npr.org/2014/05/02/308934760/movie-monsters-monster-movies-and-why-godzilla-endures">
    <title>Movie Monsters, Monster Movies And Why 'Godzilla' Endures : NPR</title>
    <dc:date>2014-05-05T21:15:59+00:00</dc:date>
    <link>http://www.npr.org/2014/05/02/308934760/movie-monsters-monster-movies-and-why-godzilla-endures</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>film</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:34bfd23f51c6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:film"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.thisiscolossal.com/2014/05/color-book/">
    <title>271 Years Before Pantone, an Artist Mixed and Described Every Color Imaginable in an 800-Page Book | Colossal</title>
    <dc:date>2014-05-05T21:14:35+00:00</dc:date>
    <link>http://www.thisiscolossal.com/2014/05/color-book/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>color books</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:7564f3d9a1a0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:color"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:books"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.cmu.edu/~rwh/courses/hott/">
    <title>15-819 Homotopy Type Theory</title>
    <dc:date>2014-05-05T19:57:41+00:00</dc:date>
    <link>http://www.cs.cmu.edu/~rwh/courses/hott/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>homotopy theory types course typetheory</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:28591eaba734/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:homotopy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:course"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:typetheory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_homotopy_type_theory/chaao8d">
    <title>nbouscal comments on $7.5m DoD grant to develop Homotopy Type Theory</title>
    <dc:date>2014-05-05T19:52:39+00:00</dc:date>
    <link>http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_homotopy_type_theory/chaao8d</link>
    <dc:creator>marmolubio</dc:creator><description><![CDATA[Start by understanding dependent types and homotopy. Then, add homotopy to dependent types by making equality only hold up to homotopy, and declaring equality to be equivalent to equivalence1 . Then, start using equalities in your type formation rules to construct types with non-trivial homotopy. Then build mathematics.
So, what you probably want first is ELI5 dependent types and ELI5 homotopy.
1: There are many equivalent notions of equivalence for this, but your intuition of an isomorphism from any other area of math should be roughly close enough. I assume most five-year-olds have learned what an isomorphism is.]]></description>
<dc:subject>types haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:671d00f8ce63/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_homotopy_type_theory/">
    <title>$7.5m DoD grant to develop Homotopy Type Theory : haskell</title>
    <dc:date>2014-05-05T19:41:56+00:00</dc:date>
    <link>http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_homotopy_type_theory/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>types homotopy academic</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:64718df25874/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:homotopy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:academic"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://boingboing.net/2014/05/04/man-attempts-to-bathe-a-great.html">
    <title>Man attempts to bathe a Great Pyrenees - Boing Boing</title>
    <dc:date>2014-05-05T18:49:58+00:00</dc:date>
    <link>http://boingboing.net/2014/05/04/man-attempts-to-bathe-a-great.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>animals</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:e259295e3752/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:animals"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.caninedistractions.com/goats-having-a-little-fun-with-their-great-pyrenees-guardian/">
    <title>Goats Having a Little Fun with their Great Pyrenees Guardian</title>
    <dc:date>2014-05-05T18:49:48+00:00</dc:date>
    <link>http://www.caninedistractions.com/goats-having-a-little-fun-with-their-great-pyrenees-guardian/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>animals</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:30cbab1a13b3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:animals"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.priceonomics.com/post/49946501858/nina-g-the-stand-up-comedian-who-also-stutters">
    <title>Nina G: The Stand-Up Comedian Who Also Stutters</title>
    <dc:date>2014-05-05T06:20:01+00:00</dc:date>
    <link>http://blog.priceonomics.com/post/49946501858/nina-g-the-stand-up-comedian-who-also-stutters</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>humor</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:5558d5554a83/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:humor"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://austingwalters.com/virtual-memory-and-you/">
    <title>Virtual Memory and You | Austin G. Walters</title>
    <dc:date>2014-05-05T06:13:22+00:00</dc:date>
    <link>http://austingwalters.com/virtual-memory-and-you/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>memory hardware</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:b16de76fee84/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:memory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:hardware"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.slate.com/blogs/behold/2014/05/04/fabrice_fouillet_photographs_giant_monuments_in_his_series_colosses_photos.html">
    <title>Fabrice Fouillet photographs giant monuments in his series, “Colosses.” (PHOTOS.)</title>
    <dc:date>2014-05-04T21:26:58+00:00</dc:date>
    <link>http://www.slate.com/blogs/behold/2014/05/04/fabrice_fouillet_photographs_giant_monuments_in_his_series_colosses_photos.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>architecture</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:9ddef9994c5c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:architecture"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://arxiv.org/abs/1309.7979">
    <title>[1309.7979] When does a physical system compute?</title>
    <dc:date>2014-05-04T18:44:58+00:00</dc:date>
    <link>http://arxiv.org/abs/1309.7979</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>computing cs philosophy papers pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:552a6c279e95/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:computing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:cs"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/fiksu/partitioned/blob/master/PARTITIONING_EXPLAINED.txt">
    <title>partitioned/PARTITIONING_EXPLAINED.txt at master · fiksu/partitioned</title>
    <dc:date>2014-05-04T10:16:54+00:00</dc:date>
    <link>https://github.com/fiksu/partitioned/blob/master/PARTITIONING_EXPLAINED.txt</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>database postgres postgresql reference</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:78c23a4d3ad2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:database"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:postgres"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:postgresql"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:reference"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://en.wikipedia.org/wiki/Low-discrepancy_sequence">
    <title>Low-discrepancy sequence - Wikipedia, the free encyclopedia</title>
    <dc:date>2014-05-04T09:06:34+00:00</dc:date>
    <link>http://en.wikipedia.org/wiki/Low-discrepancy_sequence</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>stats</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:56fb0d0dbbf2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:stats"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://en.wikipedia.org/wiki/River_(typography)">
    <title>River (typography) - Wikipedia, the free encyclopedia</title>
    <dc:date>2014-05-04T09:06:24+00:00</dc:date>
    <link>http://en.wikipedia.org/wiki/River_(typography)</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>typography</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:24caf98024b0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:typography"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://mollyrocket.com/casey/stream_0015.html">
    <title>Working on The Witness, Part 7</title>
    <dc:date>2014-05-04T09:06:01+00:00</dc:date>
    <link>http://mollyrocket.com/casey/stream_0015.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>gamedev</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:cc7677e61954/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:gamedev"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cwru.edu/artsci/phil/BJPSMacLane.pdf">
    <title>[untitled]</title>
    <dc:date>2014-05-04T08:56:58+00:00</dc:date>
    <link>http://www.cwru.edu/artsci/phil/BJPSMacLane.pdf</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>mathematics categories pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:f4b216589c73/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:categories"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cwru.edu/artsci/phil/NumbersCanBeJustWhattheyHaveTo.pdf">
    <title>[untitled]</title>
    <dc:date>2014-05-04T08:56:52+00:00</dc:date>
    <link>http://www.cwru.edu/artsci/phil/NumbersCanBeJustWhattheyHaveTo.pdf</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>mathematics categories pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:0bbc80e0cb30/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:categories"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://biology.stackexchange.com/questions/17077/why-does-evolution-not-make-our-life-longer">
    <title>senescence - Why does evolution not make our life longer? - Biology Stack Exchange</title>
    <dc:date>2014-05-04T07:23:37+00:00</dc:date>
    <link>http://biology.stackexchange.com/questions/17077/why-does-evolution-not-make-our-life-longer</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>stackoverflow</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:9cc0ffc75488/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:stackoverflow"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blairvanderhoof.com/gist-embed/">
    <title>gist-embed</title>
    <dc:date>2014-05-04T07:21:20+00:00</dc:date>
    <link>http://blairvanderhoof.com/gist-embed/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>git github blogging tools</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:aeb0c68f7fcb/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:git"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:github"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:blogging"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:tools"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/blairvanderhoof/gist-embed">
    <title>blairvanderhoof/gist-embed</title>
    <dc:date>2014-05-04T07:19:39+00:00</dc:date>
    <link>https://github.com/blairvanderhoof/gist-embed</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>git github tools</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:aad7afe207bf/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:git"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:github"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:tools"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.bloomberg.com/news/2014-04-10/trailer-parks-lure-investors-pursuing-double-wide-returns.html">
    <title>Trailer Parks Lure Wall Street Investors Looking for Double-Wide Returns - Bloomberg</title>
    <dc:date>2014-05-03T16:46:46+00:00</dc:date>
    <link>http://www.bloomberg.com/news/2014-04-10/trailer-parks-lure-investors-pursuing-double-wide-returns.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>economics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:70c33b759a81/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:economics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://programmers.stackexchange.com/questions/118222/preparing-for-algorithm-related-interview-questions">
    <title>Preparing for algorithm-related interview questions - Programmers Stack Exchange</title>
    <dc:date>2014-05-03T16:03:45+00:00</dc:date>
    <link>http://programmers.stackexchange.com/questions/118222/preparing-for-algorithm-related-interview-questions</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>algorithms</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:f9c93760c5ec/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:algorithms"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.nybooks.com/blogs/gallery/2014/may/01/book-miracles/">
    <title>‘The Book of Miracles’ by Marina Warner | NYRgallery | The New York Review of Books</title>
    <dc:date>2014-05-03T13:48:43+00:00</dc:date>
    <link>http://www.nybooks.com/blogs/gallery/2014/may/01/book-miracles/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>art medieval</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:154aed6039a2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:art"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:medieval"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.falkoriemenschneider.de/a__2014-05-01__Applying-core-async-to-JavaFX.html">
    <title>Applying Clojure core.async to JavaFX - falkoriemenschneider.de</title>
    <dc:date>2014-05-03T13:46:01+00:00</dc:date>
    <link>http://www.falkoriemenschneider.de/a__2014-05-01__Applying-core-async-to-JavaFX.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>frp</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:322546e272da/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:frp"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://makingmaps.net/2008/04/03/map-symbols-landforms-terrain/">
    <title>Map Symbols: Landforms &amp; Terrain | Making Maps: DIY Cartography</title>
    <dc:date>2014-05-03T13:43:55+00:00</dc:date>
    <link>http://makingmaps.net/2008/04/03/map-symbols-landforms-terrain/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>maps cartography geography</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:0b809341bdca/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:maps"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:cartography"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:geography"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.theparisreview.org/interviews/5734/the-art-of-fiction-no-191-harry-mathews">
    <title>Paris Review - The Art of Fiction No. 191, Harry Mathews</title>
    <dc:date>2014-05-03T13:36:10+00:00</dc:date>
    <link>http://www.theparisreview.org/interviews/5734/the-art-of-fiction-no-191-harry-mathews</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>literature</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:c356c7bdd192/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:literature"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.rockpapershotgun.com/2014/05/02/soren-johnson-mars-interview/#more-204663">
    <title>Former Civilization IV Lead On Mars Game, Revitalizing RTS | Rock, Paper, Shotgun</title>
    <dc:date>2014-05-03T13:15:55+00:00</dc:date>
    <link>http://www.rockpapershotgun.com/2014/05/02/soren-johnson-mars-interview/#more-204663</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>gamedesign</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:04cdbfa2b3ef/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:gamedesign"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://drewdevault.com/2014/02/02/The-worst-bugs.html">
    <title>The bug that hides from breakpoints</title>
    <dc:date>2014-05-03T12:52:04+00:00</dc:date>
    <link>http://drewdevault.com/2014/02/02/The-worst-bugs.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>debugging bug</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:c781934d541b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:debugging"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:bug"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.slate.com/articles/arts/movies/2014/05/ida_review_pawel_pawlikowski_s_hauntingly_beautiful_road_movie_is_finally.html">
    <title>Ida review: Pawel Pawlikowski’s hauntingly beautiful road movie is finally here. Don’t miss it.</title>
    <dc:date>2014-05-03T08:07:13+00:00</dc:date>
    <link>http://www.slate.com/articles/arts/movies/2014/05/ida_review_pawel_pawlikowski_s_hauntingly_beautiful_road_movie_is_finally.html</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>film</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:8c783bffb360/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:film"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://martijn.van.steenbergen.nl/journal/2009/11/12/gadts-in-haskell-98/">
    <title>Martijn's Journal » GADTs in Haskell 98</title>
    <dc:date>2014-05-03T07:59:12+00:00</dc:date>
    <link>http://martijn.van.steenbergen.nl/journal/2009/11/12/gadts-in-haskell-98/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:92f3a40f2754/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/">
    <title>Martijn's Journal » Transforming polymorphic values</title>
    <dc:date>2014-05-03T07:59:04+00:00</dc:date>
    <link>http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>dsl functional haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:f61dd4353b7b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:dsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://okmij.org/ftp/tagless-final/course/">
    <title>Typed tagless-final interpretations: Lecture notes</title>
    <dc:date>2014-05-03T07:50:34+00:00</dc:date>
    <link>http://okmij.org/ftp/tagless-final/course/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell types patterns programming</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:749437221f82/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:patterns"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.reddit.com/r/haskell/comments/1ohe9m/open_question_help_me_design_a_new_encoding_api/">
    <title>Open question: help me design a new encoding API for aeson : haskell</title>
    <dc:date>2014-05-03T07:48:37+00:00</dc:date>
    <link>http://www.reddit.com/r/haskell/comments/1ohe9m/open_question_help_me_design_a_new_encoding_api/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell tips</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:a44cd9575c75/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:tips"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://news.ycombinator.com/item?id=7688565">
    <title>With IPO Hopes Fading, Square and Box Face Reality Of Commodity Products | Hacker News</title>
    <dc:date>2014-05-03T07:13:26+00:00</dc:date>
    <link>https://news.ycombinator.com/item?id=7688565</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>business</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:53e6c3d0a260/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:business"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.medievalists.net/2014/05/01/cultures-death-warrior-suicide-medieval-europe-japan/">
    <title>Cultures of Death: Warrior Suicide in Medieval Europe and Japan</title>
    <dc:date>2014-05-03T07:04:51+00:00</dc:date>
    <link>http://www.medievalists.net/2014/05/01/cultures-death-warrior-suicide-medieval-europe-japan/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>history war</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:ca91d9701476/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:history"/>
	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:war"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.pythoncentral.io/sqlalchemy-vs-orms/">
    <title>SQLAlchemy vs Other ORMs | Python Central</title>
    <dc:date>2014-05-02T21:27:22+00:00</dc:date>
    <link>http://www.pythoncentral.io/sqlalchemy-vs-orms/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>python</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:d7708d79da40/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:python"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lifehacker.com/the-power-users-guide-to-better-virtual-machines-in-vir-1569943402">
    <title>The Power User's Guide to Better Virtual Machines in VirtualBox</title>
    <dc:date>2014-05-02T20:02:58+00:00</dc:date>
    <link>http://lifehacker.com/the-power-users-guide-to-better-virtual-machines-in-vir-1569943402</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>virtualbox</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:2cc987130577/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:virtualbox"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://mashable.com/2014/05/02/modern-farmer/?utm_cid=mash-com-fb-main-link">
    <title>A 1-Year-Old Magazine About Farming Is the Talk of the Media World</title>
    <dc:date>2014-05-02T19:32:23+00:00</dc:date>
    <link>http://mashable.com/2014/05/02/modern-farmer/?utm_cid=mash-com-fb-main-link</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>magazines</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:2625c5242fc6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:magazines"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://robots.thoughtbot.com/thinking-in-types">
    <title>Thinking in Types</title>
    <dc:date>2014-05-02T19:27:37+00:00</dc:date>
    <link>http://robots.thoughtbot.com/thinking-in-types</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:861d243709f7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://news.ycombinator.com/item?id=7686690">
    <title>Thinking in Types | Hacker News</title>
    <dc:date>2014-05-02T17:52:24+00:00</dc:date>
    <link>https://news.ycombinator.com/item?id=7686690</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:0bb91de19c33/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ngm.nationalgeographic.com/2014/05/shipbreakers/gwin-text">
    <title>The Ship-Breakers</title>
    <dc:date>2014-05-02T16:09:38+00:00</dc:date>
    <link>http://ngm.nationalgeographic.com/2014/05/shipbreakers/gwin-text</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>naval</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:fe224d6c4776/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:naval"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.theatlantic.com/entertainment/archive/2014/05/art-decos-nearly-forgotten-quietly-feminist-master/361495/">
    <title>The Best Art Deco Designer Who Almost No One Remembers - Steven Heller - The Atlantic</title>
    <dc:date>2014-05-02T16:02:19+00:00</dc:date>
    <link>http://www.theatlantic.com/entertainment/archive/2014/05/art-decos-nearly-forgotten-quietly-feminist-master/361495/</link>
    <dc:creator>marmolubio</dc:creator><dc:subject>art</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:marmolubio/b:e469d6e03b65/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:marmolubio/t:art"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>