<?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 (emk)</title>
    <link>https://pinboard.in/u:emk/public/</link>
    <description>recent bookmarks from emk</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://jeremykun.com/2016/02/08/big-dimensions-and-what-you-can-do-about-it/"/>
	<rdf:li rdf:resource="http://qz.com/535443/the-best-way-to-understand-math-is-learning-how-to-fail-productively/?linkId=18512366"/>
	<rdf:li rdf:resource="https://github.com/shaih/HElib"/>
	<rdf:li rdf:resource="http://kieranhealy.org/blog/archives/2013/06/09/using-metadata-to-find-paul-revere/"/>
	<rdf:li rdf:resource="http://tauday.com/tau-manifesto"/>
	<rdf:li rdf:resource="http://www.spaceandgames.com/?p=27"/>
	<rdf:li rdf:resource="http://matt.might.net/articles/partial-orders/"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://jeremykun.com/2016/02/08/big-dimensions-and-what-you-can-do-about-it/">
    <title>Math ∩ Programming: Big Dimensions, and What You Can Do About It</title>
    <dc:date>2016-02-24T13:33:59+00:00</dc:date>
    <link>http://jeremykun.com/2016/02/08/big-dimensions-and-what-you-can-do-about-it/</link>
    <dc:creator>emk</dc:creator><dc:subject>svd mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:emk/b:43b40b1182d2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:svd"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://qz.com/535443/the-best-way-to-understand-math-is-learning-how-to-fail-productively/?linkId=18512366">
    <title>The best way to learn math is to learn how to fail productively - Quartz</title>
    <dc:date>2015-11-06T17:11:44+00:00</dc:date>
    <link>http://qz.com/535443/the-best-way-to-understand-math-is-learning-how-to-fail-productively/?linkId=18512366</link>
    <dc:creator>emk</dc:creator><dc:subject>education mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:emk/b:bdc3e3620786/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/shaih/HElib">
    <title>shaih/HElib</title>
    <dc:date>2013-07-13T22:32:40+00:00</dc:date>
    <link>https://github.com/shaih/HElib</link>
    <dc:creator>emk</dc:creator><description><![CDATA[Performing computations under encryption with AND and OR (and thus Turing complete). Not currently practical in any general sense, but wow. Does this make it a functor from computations to obscured computations?]]></description>
<dc:subject>encryption computation mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:emk/b:8be3b9be1ad7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:encryption"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:computation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://kieranhealy.org/blog/archives/2013/06/09/using-metadata-to-find-paul-revere/">
    <title>Using Metadata to find Paul Revere - Kieran Healy</title>
    <dc:date>2013-06-10T11:36:57+00:00</dc:date>
    <link>http://kieranhealy.org/blog/archives/2013/06/09/using-metadata-to-find-paul-revere/</link>
    <dc:creator>emk</dc:creator><description><![CDATA[What a nice picture! The analytical engine has arranged everyone neatly, picking out clusters of individuals and also showing both peripheral individuals and—more intriguingly—people who seem to bridge various groups in ways that might perhaps be relevant to national security. Look at that person right in the middle there. Zoom in if you wish. He seems to bridge several groups in an unusual (though perhaps not unique) way. His name is Paul Revere.]]></description>
<dc:subject>politics mathematics security</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:emk/b:e5bcc0a3fa42/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:politics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:security"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://tauday.com/tau-manifesto">
    <title>Tau Day | No, really, pi is wrong: The Tau Manifesto by Michael Hartl</title>
    <dc:date>2012-03-14T20:35:33+00:00</dc:date>
    <link>http://tauday.com/tau-manifesto</link>
    <dc:creator>emk</dc:creator><dc:subject>mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:emk/b:ef6df5f9628d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.spaceandgames.com/?p=27">
    <title>space and games » Infinite Certainty</title>
    <dc:date>2012-02-06T14:33:24+00:00</dc:date>
    <link>http://www.spaceandgames.com/?p=27</link>
    <dc:creator>emk</dc:creator><description><![CDATA[Can you tell which numbers are prime? ]]></description>
<dc:subject>logic mathematics humor</dc:subject>
<dc:identifier>https://pinboard.in/u:emk/b:e34fd0d8a20b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:humor"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://matt.might.net/articles/partial-orders/">
    <title>Order theory for computer scientists</title>
    <dc:date>2011-12-21T17:21:53+00:00</dc:date>
    <link>http://matt.might.net/articles/partial-orders/</link>
    <dc:creator>emk</dc:creator><description><![CDATA[A comprehensive set of definitions for patrol orders and lattices.]]></description>
<dc:subject>mathematics haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:emk/b:34adadf40e5f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:emk/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>