<?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 (yfel)</title>
    <link>https://pinboard.in/u:yfel/public/</link>
    <description>recent bookmarks from yfel</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://www.haskellforall.com/2014/07/equational-reasoning-at-scale.html?m=1"/>
	<rdf:li rdf:resource="https://news.ycombinator.com/item?id=13296502"/>
	<rdf:li rdf:resource="https://en.wikiquote.org/wiki/John_von_Neumann"/>
	<rdf:li rdf:resource="http://karpathy.github.io/2016/05/31/rl/"/>
	<rdf:li rdf:resource="http://arxiv.org/abs/1605.06640"/>
	<rdf:li rdf:resource="https://affinemess.quora.com/What-is-math-pi-math-and-while-were-at-it-whats-math-e-math?__snids__=1596646755&amp;__nsrc__=2"/>
	<rdf:li rdf:resource="https://docs.google.com/presentation/d/11vNi2CxPMV_wFhfhpXBK8qe1o4KN59hNVaPeD4zagNA/edit?pref=2&amp;pli=1#slide=id.g11c7e027ab_0_135"/>
	<rdf:li rdf:resource="https://github.com/candera/causatum"/>
	<rdf:li rdf:resource="http://www.mta.ca/~rrosebru/articles/lfut.pdf"/>
	<rdf:li rdf:resource="http://arxiv.org/abs/1408.2055"/>
	<rdf:li rdf:resource="http://www.cse.buffalo.edu/~atri/courses/coding-theory/book/"/>
	<rdf:li rdf:resource="http://www.cns.nyu.edu/pub/eero/simoncelli95b.pdf"/>
	<rdf:li rdf:resource="http://www.jaist.ac.jp/~bjorner/ae-is-budapest/talks/Sept20pm2_Zimmermann.pdf"/>
	<rdf:li rdf:resource="http://research.microsoft.com/en-us/um/redmond/projects/hyperlapse/"/>
	<rdf:li rdf:resource="http://www.pulse-project.org/pulsemathsmaths/"/>
	<rdf:li rdf:resource="http://mathfactor.uark.edu/"/>
	<rdf:li rdf:resource="http://opensurfaces.cs.cornell.edu/"/>
	<rdf:li rdf:resource="http://mathmutation.blogspot.com/"/>
	<rdf:li rdf:resource="https://news.ycombinator.com/item?id=8199219"/>
	<rdf:li rdf:resource="http://nothings.org/gamedev/herringbone/"/>
	<rdf:li rdf:resource="http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf"/>
	<rdf:li rdf:resource="https://music-suite.github.io/docs/ref/"/>
	<rdf:li rdf:resource="http://science.raphael.poss.name/categories-from-scratch.html"/>
	<rdf:li rdf:resource="http://www.liv.ac.uk/~spmr02/rings/"/>
	<rdf:li rdf:resource="http://dkeenan.com/Lambda/index.htm"/>
	<rdf:li rdf:resource="http://arxiv.org/abs/1108.1791"/>
	<rdf:li rdf:resource="http://www.infoq.com/presentations/functional-pros-cons"/>
	<rdf:li rdf:resource="http://www.reddit.com/r/AskEngineers/comments/v520e/diy_quadcopter_what_are_some_of_the_design/"/>
	<rdf:li rdf:resource="http://andrew.gibiansky.com/blog/physics/quadcopter-dynamics/"/>
	<rdf:li rdf:resource="https://github.com/TKJElectronics/KalmanFilter"/>
	<rdf:li rdf:resource="http://www.geom.uiuc.edu/~banchoff/Flatland/"/>
	<rdf:li rdf:resource="http://www.ecalc.ch/"/>
	<rdf:li rdf:resource="http://arxiv.org/abs/1208.6416"/>
	<rdf:li rdf:resource="http://www.smbc-comics.com/index.php?db=comics&amp;id=3161"/>
	<rdf:li rdf:resource="http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf"/>
	<rdf:li rdf:resource="http://www.ccs.neu.edu/racket/pubs/icfp10-thf.pdf"/>
	<rdf:li rdf:resource="http://justinpombrio.net/show/color-clock.html"/>
	<rdf:li rdf:resource="http://ncatlab.org/nlab/show/HomePage"/>
	<rdf:li rdf:resource="https://github.com/nodename/async-plgd"/>
	<rdf:li rdf:resource="http://boingboing.net/2013/06/27/creativity-math-and-12-tone.html"/>
	<rdf:li rdf:resource="http://web.mit.edu/~ezyang/Public/threemonads.pdf"/>
	<rdf:li rdf:resource="http://www.georgehart.com/bagel/bagel.html"/>
	<rdf:li rdf:resource="https://twitter.com/pickover/status/301874411596812288"/>
	<rdf:li rdf:resource="https://twitter.com/AnalysisFact/statuses/312201877498519553"/>
	<rdf:li rdf:resource="https://twitter.com/CompSciFact/statuses/311496960928534529"/>
	<rdf:li rdf:resource="https://twitter.com/AlgebraFact/statuses/309074030084902913"/>
	<rdf:li rdf:resource="https://twitter.com/CompSciFact/statuses/308967678738055169"/>
	<rdf:li rdf:resource="https://www.youtube.com/watch?v=2nkMUr1YC-M"/>
	<rdf:li rdf:resource="https://www.youtube.com/watch?v=RVmY2lQ4DHE"/>
	<rdf:li rdf:resource="https://twitter.com/headinthebox/status/303588840180944896"/>
	<rdf:li rdf:resource="https://www.youtube.com/watch?v=WkmPDOq2WfA"/>
	<rdf:li rdf:resource="http://www.tex.ac.uk/cgi-bin/texfaq2html?label=TeXfuture"/>
	<rdf:li rdf:resource="https://plus.google.com/u/0/101584889282878921052/posts/gt37jDDS8CN"/>
	<rdf:li rdf:resource="http://scattered-thoughts.net/blog/2012/12/19/search-trees-and-core-dot-logic/"/>
	<rdf:li rdf:resource="http://www.smbc-comics.com/index.php?db=comics&amp;id=2821"/>
	<rdf:li rdf:resource="http://www.dspguide.com/"/>
	<rdf:li rdf:resource="http://martinsprogrammingblog.blogspot.com/2012/11/the-m-word.html"/>
	<rdf:li rdf:resource="http://programming-puzzler.blogspot.com/2012/11/coin-change-kata-in-racket-and-clojure.html"/>
	<rdf:li rdf:resource="http://maverick.inria.fr/Publications/2008/OBWBTS08/index.php"/>
	<rdf:li rdf:resource="http://haskell.cs.yale.edu/euterpea-2/haskell-school-of-music/"/>
	<rdf:li rdf:resource="http://www.aleph.se/andart/archives/2012/08/there_is_an_ill_wind_that_blows_no_minds.html"/>
	<rdf:li rdf:resource="https://github.com/rogerallen/irso"/>
	<rdf:li rdf:resource="http://incanter.org/"/>
	<rdf:li rdf:resource="http://www.chrisstucchio.com/blog/2012/dont_use_scatterplots.html"/>
	<rdf:li rdf:resource="http://www.pnas.org/content/early/2012/05/16/1206569109.full.pdf+html"/>
	<rdf:li rdf:resource="http://www.math.utah.edu/~pa/math/polya.html"/>
	<rdf:li rdf:resource="http://twitter.com/#!/luqui/status/206116100096794625"/>
	<rdf:li rdf:resource="http://stackoverflow.com/questions/10657503/find-running-median-from-a-stream-of-integers"/>
	<rdf:li rdf:resource="http://math.stackexchange.com/questions/2755/why-can-you-turn-clothing-right-side-out"/>
	<rdf:li rdf:resource="https://en.wikipedia.org/wiki/Two_Generals_Problem"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://www.haskellforall.com/2014/07/equational-reasoning-at-scale.html?m=1">
    <title>Haskell for all: Equational reasoning at scale</title>
    <dc:date>2017-01-20T01:09:39+00:00</dc:date>
    <link>http://www.haskellforall.com/2014/07/equational-reasoning-at-scale.html?m=1</link>
    <dc:creator>yfel</dc:creator><dc:subject>haskell functional programming geek technology software mathematics</dc:subject>
<dc:identifier>https://pinboard.in/u:yfel/b:be2f868febbd/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://news.ycombinator.com/item?id=13296502">
    <title>The moving sofa problem | Hacker News</title>
    <dc:date>2017-01-02T02:26:59+00:00</dc:date>
    <link>https://news.ycombinator.com/item?id=13296502</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["""
In static analysis of forces you can in fact have an irreversible couch/sofa event (as in Dirk Gently's ). It is usually is described as jamming or wedging of the peg in hole problem (see here http://www.cs.cmu.edu/afs/cs/academic/class/16741-s07/www/ol... ) and arises when the implied forces can oppose any force to move the object. In this model you can stick a peg in at the wrong angle and it will jam and never come out.

I ran into this when I tried to explain the sofa stuck in the staircase mystery in Dirk Gently's Holistic Detective Agency. She (a Ph.D. in robotics specializing in dynamics and physics) pointed out an idealized rigid system could jam in this way without any additional exotic explanation (beyond the exoticness of idealized rigid physics).
"""]]></description>
<dc:subject>physics mathematics forums geek geometry furniture</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:1c6075ebe049/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:forums"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geometry"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:furniture"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://en.wikiquote.org/wiki/John_von_Neumann">
    <title>John von Neumann - Wikiquote</title>
    <dc:date>2016-12-22T02:22:05+00:00</dc:date>
    <link>https://en.wikiquote.org/wiki/John_von_Neumann</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[All processes that are stable we shall predict. All processes that are unstable we shall control.]]></description>
<dc:subject>quotes compsci mathematics philosophy geek technology culture futurism</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:1d63aa7f82aa/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quotes"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:compsci"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:culture"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:futurism"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://karpathy.github.io/2016/05/31/rl/">
    <title>Deep Reinforcement Learning: Pong from Pixels</title>
    <dc:date>2016-06-01T02:12:41+00:00</dc:date>
    <link>http://karpathy.github.io/2016/05/31/rl/</link>
    <dc:creator>yfel</dc:creator><dc:subject>neural ai games geek technology software programming mathematics howto</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:979f6d51287c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:neural"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:ai"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:games"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://arxiv.org/abs/1605.06640">
    <title>[1605.06640] Programming with a Differentiable Forth Interpreter</title>
    <dc:date>2016-05-25T02:04:58+00:00</dc:date>
    <link>http://arxiv.org/abs/1605.06640</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["There are families of neural networks that can learn to compute any function, provided sufficient training data. However, given that in practice training data is scarce for all but a small set of problems, a core question is how to incorporate prior knowledge into a model. Here we consider the case of prior procedural knowledge such as knowing the overall recursive structure of a sequence transduction program or the fact that a program will likely use arithmetic operations on real numbers to solve a task. To this end we present a differentiable interpreter for the programming language Forth. Through a neural implementation of the dual stack machine that underlies Forth, programmers can write program sketches with slots that can be filled with learnable behaviour. As the program interpreter is end-to-end differentiable, we can optimize this behaviour directly through gradient descent techniques on user specified objectives, and also integrate the program into any larger neural computation graph. We show empirically that our interpreter is able to effectively leverage different levels of prior program structure and learn complex transduction tasks such as sequence sorting or addition with substantially less data and better generalisation over problem sizes. In addition, we introduce neural program optimisations based on symbolic computation and parallel branching that lead to significant speed improvements."
holy crap]]></description>
<dc:subject>forth neural optimization mathematics papers ai geek technology software programming howto</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:11eb26f3951f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:forth"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:neural"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:optimization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:ai"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://affinemess.quora.com/What-is-math-pi-math-and-while-were-at-it-whats-math-e-math?__snids__=1596646755&amp;__nsrc__=2">
    <title>What is [math]pi[/math]? (and while we're at i... - Affine Mess - Quora</title>
    <dc:date>2016-03-19T21:07:47+00:00</dc:date>
    <link>https://affinemess.quora.com/What-is-math-pi-math-and-while-were-at-it-whats-math-e-math?__snids__=1596646755&amp;__nsrc__=2</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[Pi is not about circles as much as it's about the period of "the most important function on mathematics", which is the complex exponential function.]]></description>
<dc:subject>mathematics physics geek science philosophy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:4335f8b7e6a1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://docs.google.com/presentation/d/11vNi2CxPMV_wFhfhpXBK8qe1o4KN59hNVaPeD4zagNA/edit?pref=2&amp;pli=1#slide=id.g11c7e027ab_0_135">
    <title>Fairness in Machine Learning - Google Slides</title>
    <dc:date>2016-03-19T06:07:56+00:00</dc:date>
    <link>https://docs.google.com/presentation/d/11vNi2CxPMV_wFhfhpXBK8qe1o4KN59hNVaPeD4zagNA/edit?pref=2&amp;pli=1#slide=id.g11c7e027ab_0_135</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[yikes, did not realize some of this horrible stuff]]></description>
<dc:subject>machine-learning neural statistics sociology geek technology software programming mathematics presentation slides</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:bb6ad3fc4456/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:machine-learning"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:neural"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:sociology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:presentation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:slides"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/candera/causatum">
    <title>candera/causatum</title>
    <dc:date>2014-10-18T00:05:13+00:00</dc:date>
    <link>https://github.com/candera/causatum</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["A Clojure library designed to generate streams of timed events based on stochastic state machines."]]></description>
<dc:subject>clojure geek technology functional programming statistics mathematics simulation modeling opensource libs</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:179da09ba7ee/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:simulation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:modeling"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:opensource"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:libs"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.mta.ca/~rrosebru/articles/lfut.pdf">
    <title>Lenses, Fibrations, and universal translations</title>
    <dc:date>2014-10-17T23:51:41+00:00</dc:date>
    <link>http://www.mta.ca/~rrosebru/articles/lfut.pdf</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["""
Michael Johnson
School of Mathematics and Computing
Macquarie University
Robert Rosebrugh
Department of Mathematics and Computer Science
Mount Allison University
RJ Wood
Department of Mathematics and Statistics
Dalhousie University

This article is extends the \lens" concept for view updating in Computer Science beyond the categories of sets and ordered sets. It is first shown that a constant complement view updating strategy also corresponds to a lens for a categorical database model. A variation on the lens concept called c-lens is introduced, and shown to correspond to the categorical notion of Grothendieck opfibration. This variant guarantees a universal solution to the view update problem for functorial update processes.
"""]]></description>
<dc:subject>mathematics database functional programming categorytheory geek technology software papers pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:dde5c0eb17a0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:database"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:categorytheory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://arxiv.org/abs/1408.2055">
    <title>[1408.2055] Guess Who Rated This Movie: Identifying Users Through Subspace Clustering</title>
    <dc:date>2014-09-26T03:51:31+00:00</dc:date>
    <link>http://arxiv.org/abs/1408.2055</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["It is often the case that, within an online recommender system, multiple users share a common account. Can such shared accounts be identified solely on the basis of the userprovided ratings? Once a shared account is identified, can the different users sharing it be identified as well? Whenever such user identification is feasible, it opens the way to possible improvements in personalized recommendations, but also raises privacy concerns. We develop a model for composite accounts based on unions of linear subspaces, and use subspace clustering for carrying out the identification task. We show that a significant fraction of such accounts is identifiable in a reliable manner, and illustrate potential uses for personalized recommendation. "]]></description>
<dc:subject>papers mathematics statistics visualization datamining geek technology software programming howto pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:ecca32ae1db2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:datamining"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cse.buffalo.edu/~atri/courses/coding-theory/book/">
    <title>Error Correcting Codes: Combinatorics, Algorithms and Applications</title>
    <dc:date>2014-09-18T05:59:16+00:00</dc:date>
    <link>http://www.cse.buffalo.edu/~atri/courses/coding-theory/book/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[free book on coding theory]]></description>
<dc:subject>books mathematics algorithms programming geek technology software theory pdf communication</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:88e789093255/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:books"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:pdf"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:communication"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cns.nyu.edu/pub/eero/simoncelli95b.pdf">
    <title>THE STEERABLE PYRAMID: A FLEXIBLE ARCHITECTURE FOR MULTI-SCALE DERIVATIVE COMPUTATION - simoncelli95b.pdf</title>
    <dc:date>2014-09-18T04:54:07+00:00</dc:date>
    <link>http://www.cns.nyu.edu/pub/eero/simoncelli95b.pdf</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["We describe an architecture for efffcient and accurate linear decomposition of an image into scale and orientation subbands.  The basis functions of this decomposition are directional derivative operators of any desired order.  We describe the construction and implementation of the transform."]]></description>
<dc:subject>mathematics images geek technology software programming howto papers pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:c458c08911cc/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:images"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.jaist.ac.jp/~bjorner/ae-is-budapest/talks/Sept20pm2_Zimmermann.pdf">
    <title>Can we trust floating-point numbers? Paul Zimmermann - Sept20pm2_Zimmermann.pdf</title>
    <dc:date>2014-09-17T03:32:30+00:00</dc:date>
    <link>http://www.jaist.ac.jp/~bjorner/ae-is-budapest/talks/Sept20pm2_Zimmermann.pdf</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[slideshow presentation showing some pitfalls and problems, and partial solutions]]></description>
<dc:subject>mathematics programming geek technology software floatingpoint presentation slides pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:776197aeb657/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:floatingpoint"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:presentation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:slides"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://research.microsoft.com/en-us/um/redmond/projects/hyperlapse/">
    <title>First-person Hyperlapse Videos</title>
    <dc:date>2014-09-12T22:12:59+00:00</dc:date>
    <link>http://research.microsoft.com/en-us/um/redmond/projects/hyperlapse/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["""
We present a method for converting first-person videos, for example, captured with a helmet camera during activities such as rock climbing or bicycling, into hyper-lapse videos, i.e., time-lapse videos with a smoothly moving camera.

At high speed-up rates, simple frame sub-sampling coupled with existing video stabilization methods does not work, because the erratic camera shake present in first-person videos is amplified by the speed-up.


Our algorithm first reconstructs the 3D input camera path as well as dense, per-frame proxy geometries. We then optimize a novel camera path for the output video (shown in red) that is smooth and passes near the input cameras while ensuring that the virtual camera looks in directions that can be rendered well from the input.
Next, we compute geometric proxies for each input frame. These allow us to render the frames from the novel viewpoints on the optimized path. 

Finally, we generate the novel smoothed, time-lapse video by rendering, stitching, and blending appropriately selected source frames for each output frame. We present a number of results for challenging videos that cannot be processed using traditional techniques. 
"""]]></description>
<dc:subject>photography timelapse video mathematics geek technology software programming microsoft algorithms</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:15ca86eba16a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:photography"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:timelapse"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:microsoft"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algorithms"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.pulse-project.org/pulsemathsmaths/">
    <title>Pulse-Project Math/Maths Weekly Podcasts | Pulse-Project.org</title>
    <dc:date>2014-09-12T22:10:47+00:00</dc:date>
    <link>http://www.pulse-project.org/pulsemathsmaths/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["A conversation about mathematics between the UK and USA from Pulse-Project.org. Peter Rowlett in Nottingham calls Samuel Hansen in Las Vegas and the pair chat about math and maths that has been in the news, that they've noticed and that has happened to them."]]></description>
<dc:subject>podcast mathematics science geek technology</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:8b2301196b5a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:podcast"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://mathfactor.uark.edu/">
    <title>The Math Factor Podcast</title>
    <dc:date>2014-09-12T22:10:27+00:00</dc:date>
    <link>http://mathfactor.uark.edu/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Quality Math Talk Since 2004, on the web and on KUAF 91.3 FM
A production of the University of Arkansas, Fayetteville, Ark USA"]]></description>
<dc:subject>mathematics podcast geek technology science</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:fecab4d82408/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:podcast"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:science"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://opensurfaces.cs.cornell.edu/">
    <title>OpenSurfaces - A Richly Annotated Catalog of Surface Appearance</title>
    <dc:date>2014-09-12T22:04:36+00:00</dc:date>
    <link>http://opensurfaces.cs.cornell.edu/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["OpenSurfaces is a large database of annotated surfaces created from real-world consumer photographs. Our annotation framework draws on crowdsourcing to segment surfaces from photos, and then annotate them with rich surface properties, including material, texture and contextual information."]]></description>
<dc:subject>3d reference geek technology software programming crowdsourcing opensource mathematics physics science visualization</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:fcd4e914402e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:3d"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:reference"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:crowdsourcing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:opensource"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://mathmutation.blogspot.com/">
    <title>Math Mutation</title>
    <dc:date>2014-09-03T21:59:35+00:00</dc:date>
    <link>http://mathmutation.blogspot.com/</link>
    <dc:creator>yfel</dc:creator><dc:subject>podcast mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:390f6f81a816/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:podcast"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://news.ycombinator.com/item?id=8199219">
    <title>interesting hn comment about derivatives</title>
    <dc:date>2014-08-27T19:44:32+00:00</dc:date>
    <link>https://news.ycombinator.com/item?id=8199219</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["""

That's the intuition used to develop the concept, but it becomes increasingly difficult to apply that intuition to in more exotic locales.

Thus, it's important to eventually seek out more abstract ways of characterizing the derivative (and integral). In more advanced mathematics, you usually state that the derivative is any operation which follows two rules

    1. Linearity, d(ax + by) = a d(x) + b d(y)
    2. The Product Rule, d(xy) = x d(y) + d(x) y

and then try to squeeze things until that operation is defined uniquely.[0]

Likewise, it's often valuable to define integration as nothing more than the relationship such that

      I(region, derivative(quantity)) 
    = I(boundary(region), quantity)

which is known as the Generalized Stokes Rule. It basically is the "Fundamental Theorem of Calculus" on steroids and it gives a characterization of integration in terms of nothing more than it's algebraic/topological relationship with derivation... which is itself abstracted as mentioned above.

---

Why do all this? Because you can squeeze most of Calculus so that it depends only upon this "abstract interface" and then apply things you learned from calculus all over the place.

---

Finally, note that this is more like a "proposed" derivative than "the" derivative on natural numbers. The author notes that linearity fails, for instance. Thus, some intuition might "port over" but we shouldn't expect too much of it to do so.

Which echoes back to your original question—there's not really a notion of instantaneous change for us to be talking about... so how much sense does it make to talk about a derivative here?

Apparently, more than no sense at all, but less than you might want.

[0] Note that all we need to state this property of the derivative is a notion of multiplication and addition. This structure is, at its most abstract usually called a ring (but can be made even weaker if needed). An example "exotic" ring might be concurrent processes. If P and Q are two processes then P*Q is P "followed by" Q and P + Q is P and Q "together". Can we write a derivative here? Who knows? (As another comment in this thread suggests, this kind of formulation can be used to consider the "derivative of a grammar" to be a parser! It's also well-known that the derivative of an algebraic data type is its "zipper"!)
"""]]></description>
<dc:subject>mathematics forums geek technology programming logic philosophy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:b9cb8e40d4f0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:forums"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://nothings.org/gamedev/herringbone/">
    <title>Herringbone Wang Tiles</title>
    <dc:date>2014-07-07T16:38:13+00:00</dc:date>
    <link>http://nothings.org/gamedev/herringbone/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["This is a collection of articles about, code for, and sample data sets of Herringbone Wang Tiles. Herringbone Wang Tiling is a technique for "randomly" tiling the plane with a set of tiles.

Noteworthy for game developers:

    Levels can be generated in arbitrary order (Minecraft-style)
    Compared to regular Wang tiles, one can produce results that less obviously lie on a grid
    One can introduce a more complicated (semi-random) connectivity then the obvious "every tile is connected to every other tile" without writing any code to do so "]]></description>
<dc:subject>games algorithms programming graphics geek technology software howto papers mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:3275eec7e3ed/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:games"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:graphics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf">
    <title>calculus-indexed.dvi - calculus-indexed.pdf</title>
    <dc:date>2014-06-12T19:12:41+00:00</dc:date>
    <link>http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[Functional Differential Geometry (teaching math in Scheme)]]></description>
<dc:subject>mathematics physics scheme lisp functional programming geometry geek technology software pdf</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:6fe04b11dfb0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:scheme"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:lisp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geometry"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:pdf"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://music-suite.github.io/docs/ref/">
    <title>The Music Suite</title>
    <dc:date>2014-06-05T15:32:11+00:00</dc:date>
    <link>https://music-suite.github.io/docs/ref/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[a haskell lib providing an algebra for the manipulation of musical scores]]></description>
<dc:subject>music haskell functional programming libs geek technology software composition visualization mathematics algebra</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:f00c1c7bfee1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:music"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:libs"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:composition"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algebra"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://science.raphael.poss.name/categories-from-scratch.html">
    <title>Categories from scratch</title>
    <dc:date>2014-06-05T15:29:38+00:00</dc:date>
    <link>http://science.raphael.poss.name/categories-from-scratch.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[best intro to category theory i've seen.  it generalizes from known cases: unix pipes, electronic circuits, and compilers.  from there it builds up intuition for the abstract stuff.]]></description>
<dc:subject>mathematics categorytheory unix electronics compiler examples geek technology software programming functional haskell algebra</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:5f643c40530f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:categorytheory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:unix"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:electronics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:compiler"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:examples"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algebra"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.liv.ac.uk/~spmr02/rings/">
    <title>Borromean rings - Homepage</title>
    <dc:date>2014-05-27T20:15:50+00:00</dc:date>
    <link>http://www.liv.ac.uk/~spmr02/rings/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["This design of three interlinked circles is known as the Borromean Rings. The three rings taken together are inseparable, but remove any one ring and the other two fall apart. Because of this property, they have been used in many fields as a symbol of strength in unity.

Here you will find some historical background, examples of Borromean symbolism from many sources including physics, chemistry, theology, psychology and mythology, and pictures of emblems, sculptures, and other symbols or logos based on the rings. "]]></description>
<dc:subject>history mathematics art culture philosophy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:60fc9f7dfa7d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:history"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:art"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:culture"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://dkeenan.com/Lambda/index.htm">
    <title>To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction</title>
    <dc:date>2014-05-05T18:05:53+00:00</dc:date>
    <link>http://dkeenan.com/Lambda/index.htm</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation."]]></description>
<dc:subject>mathematics visualization functional programming education papers geek technology software compsci</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:95e00551a268/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:compsci"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://arxiv.org/abs/1108.1791">
    <title>[1108.1791] Why Philosophers Should Care About Computational Complexity</title>
    <dc:date>2014-04-09T20:35:36+00:00</dc:date>
    <link>http://arxiv.org/abs/1108.1791</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["One might think that, once we know something is computable, how efficiently it can be computed is a practical question with little further philosophical importance. In this essay, I offer a detailed case that one would be wrong. In particular, I argue that computational complexity theory---the field that studies the resources (such as time, space, and randomness) needed to solve computational problems---leads to new perspectives on the nature of mathematical knowledge, the strong AI debate, computationalism, the problem of logical omniscience, Hume's problem of induction, Goodman's grue riddle, the foundations of quantum mechanics, economic rationality, closed timelike curves, and several other topics of philosophical interest. I end by discussing aspects of complexity theory itself that could benefit from philosophical analysis. "]]></description>
<dc:subject>complexity philosophy compsci physics papers geek mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:1dd7ec9f9813/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:complexity"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:compsci"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.infoq.com/presentations/functional-pros-cons">
    <title>Deconstructing Functional Programming</title>
    <dc:date>2013-12-20T15:44:29+00:00</dc:date>
    <link>http://www.infoq.com/presentations/functional-pros-cons</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[" Gilad Bracha explains how to distinguish FP hype from reality and to apply key ideas of FP in non-FP languages, separating the good parts of FP from its unnecessary cultural baggage. "]]></description>
<dc:subject>functional programming video presentation slides geek technology software culture mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:c297825a8a94/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:presentation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:slides"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:culture"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.reddit.com/r/AskEngineers/comments/v520e/diy_quadcopter_what_are_some_of_the_design/">
    <title>DIY Quadcopter. What are some of the design barriers? : AskEngineers</title>
    <dc:date>2013-12-12T16:11:27+00:00</dc:date>
    <link>http://www.reddit.com/r/AskEngineers/comments/v520e/diy_quadcopter_what_are_some_of_the_design/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[a thread in which it is argued that LQR (linear quadratic regulator) controllers are superior to PID controllers for aerospace applications]]></description>
<dc:subject>multicopter forums control-theory mathematics debate geek technology hardware software</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:08c596ff1149/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:multicopter"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:forums"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:control-theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:debate"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:hardware"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://andrew.gibiansky.com/blog/physics/quadcopter-dynamics/">
    <title>Quadcopter Dynamics and Simulation - Andrew Gibiansky</title>
    <dc:date>2013-12-05T02:34:04+00:00</dc:date>
    <link>http://andrew.gibiansky.com/blog/physics/quadcopter-dynamics/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["""
We derived equations of motion for a quadcopter, starting with the voltage-torque relation for the brushless motors and working through the quadcopter kinematics and dynamics. We ignored aerodynamical effects such as blade-flapping and non-zero free stream velocity, but included air friction as a linear drag force in all directions. We used the equations of motion to create a simulator in which to test and visualize quadcopter control mechanisms.

We began with a simple PD controller. Although the PD controller worked, it left a significant steady-state error. In order to decrease the steady-state error, we added an integral term in order to create a PID controller. We tested the PID controller (with minor modifications to prevent integral wind-up) and found that it was better at preventing steady-state error than the PD controller when presented with the same disturbances and using the same proportional and derivative gains. We also found that tuning the PID controller was difficult, and would often lead to an unstable system for unknown reasons. In order to avoid the difficulty of PID tuning and find the optimal set of parameters, we used a gradient-descent based extremum seeking method in order to numerically estimate gradients of a cost function in PID-parameter space and iteratively choose a set of parameters to minimize the cost function. We found that the resulting controller was significantly better than the one using manually turned parameters.
"""]]></description>
<dc:subject>multicopter physics simulation optimization mathematics visualization control-theory geek technology software matlab robots</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:14ae6b201231/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:multicopter"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:simulation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:optimization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:control-theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:matlab"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:robots"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/TKJElectronics/KalmanFilter">
    <title>TKJElectronics/KalmanFilter</title>
    <dc:date>2013-11-21T19:34:38+00:00</dc:date>
    <link>https://github.com/TKJElectronics/KalmanFilter</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["This is a Kalman filter used to calculate the angle, rate and bias from from the input of accelerometer and a gyroscope"]]></description>
<dc:subject>multicopter physics libs sensors mathematics geek technology software programming opensource embedded</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:447e99cff382/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:multicopter"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:libs"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:sensors"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:opensource"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:embedded"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.geom.uiuc.edu/~banchoff/Flatland/">
    <title>Flatland: A romance of many dimensions</title>
    <dc:date>2013-11-15T16:16:32+00:00</dc:date>
    <link>http://www.geom.uiuc.edu/~banchoff/Flatland/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[full book as a single html page, with illustrations]]></description>
<dc:subject>mathematics books fiction geek culture humour</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:7d2433cca37c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:books"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:fiction"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:culture"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:humour"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.ecalc.ch/">
    <title>eCalc - the most reliable RC Calculators on the Web for electric Motors</title>
    <dc:date>2013-11-15T04:52:22+00:00</dc:date>
    <link>http://www.ecalc.ch/</link>
    <dc:creator>yfel</dc:creator><dc:subject>rc quadrotor motors mathematics physics calculator</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:47150379abe6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:rc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quadrotor"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:motors"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:calculator"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://arxiv.org/abs/1208.6416">
    <title>[1208.6416] Relational Databases and Bell's Theorem</title>
    <dc:date>2013-10-31T19:17:35+00:00</dc:date>
    <link>http://arxiv.org/abs/1208.6416</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Our aim in this paper is to point out a surprising formal connection, between two topics which seem on face value to have nothing to do with each other: relational database theory, and the study of non-locality and contextuality in the foundations of quantum mechanics. We shall show that there is a remarkably direct correspondence between central results such as Bell's theorem in the foundations of quantum mechanics, and questions which arise naturally and have been well-studied in relational database theory. "]]></description>
<dc:subject>papers database quantum physics mathematics algebra science geek technology software programming</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:c7c0498fce88/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:database"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quantum"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algebra"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.smbc-comics.com/index.php?db=comics&amp;id=3161">
    <title>Saturday Morning Breakfast Cereal</title>
    <dc:date>2013-10-31T18:59:11+00:00</dc:date>
    <link>http://www.smbc-comics.com/index.php?db=comics&amp;id=3161</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["well at least MY THEORY provides an answer"]]></description>
<dc:subject>mathematics debate religion politics comics humour</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:e49c7e385855/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:debate"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:religion"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:politics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:comics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:humour"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf">
    <title>The Design and Implementation of Typed Scheme - popl08-thf.pdf</title>
    <dc:date>2013-10-03T13:56:06+00:00</dc:date>
    <link>http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Sam Tobin-Hochstadt Matthias Felleisen
When scripts in untyped languages grow into large programs,
maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)discover critical pieces of design information every time they wish to change a program. This analysis step both slows down the maintenance process and may even introduce mistakes due to the violation of undiscovered invariants.
This paper presents Typed Scheme, an explicitly typed extension of an untyped scripting language. Its type system is based on
the novel notion of occurrence typing, which we formalize and mechanically prove sound. The implementation of Typed Scheme
additionally borrows elements from a range of approaches, including recursive types, true unions and subtyping, plus polymorphism combined with a modicum of local inference. Initial experiments with the implementation suggest that Typed Scheme naturally accommodates the programming style of the underlying scripting language, at least for the first few thousand lines of ported code."]]></description>
<dc:subject>papers typetheory racket scheme lisp functional programming geek technology software mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:992e9cc69fc2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:typetheory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:racket"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:scheme"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:lisp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.ccs.neu.edu/racket/pubs/icfp10-thf.pdf">
    <title>Logical Types for Untyped Languages - icfp10-thf.pdf</title>
    <dc:date>2013-10-03T13:30:17+00:00</dc:date>
    <link>http://www.ccs.neu.edu/racket/pubs/icfp10-thf.pdf</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Logical Types for Untyped Languages
Sam Tobin-Hochstadt Matthias Felleisen
Northeastern University
Programmers reason about their programs using a wide variety of
formal and informal methods. Programmers in untyped languages
such as Scheme or Erlang are able to use any such method to reason
about the type behavior of their programs. Our type system for
Scheme accommodates common reasoning methods by assigning
variable occurrences a subtype of their declared type based on the
predicates prior to the occurrence, a discipline dubbed
occurrence
typing
. It thus enables programmers to enrich existing Scheme code
with types, while requiring few changes to the code itself.
Three years of practical experience has revealed serious short-
comings of our type system. In particular, it relied on a system of
ad-hoc rules to relate combinations of predicates, it could not rea-
son about subcomponents of data structures, and it could not fol-
low sophisticated reasoning about the relationship among predicate
tests, all of which are used in existing code.
In this paper, we reformulate occurrence typing to eliminate
these shortcomings. The new formulation derives propositional
logic formulas that hold when an expression evaluates to true or
false, respectively. A simple proof system is then used to determine
types of variable occurrences from these propositions. Our imple-
mentation of this revised occurrence type system thus copes with
many more untyped programming idioms than the original system."]]></description>
<dc:subject>papers typetheory scheme racket lisp functional programming geek technology software howto proof mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:a2c66217bbb3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:typetheory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:scheme"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:racket"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:lisp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:proof"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://justinpombrio.net/show/color-clock.html">
    <title>Hilbert Color Clock</title>
    <dc:date>2013-09-04T23:17:33+00:00</dc:date>
    <link>http://justinpombrio.net/show/color-clock.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[It displays the time of day as a color chosen from a 3D hilbert curve through RGB space.]]></description>
<dc:subject>color mathematics algorithms visualization javascript time</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:00f80ecd78aa/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:color"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:javascript"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:time"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://ncatlab.org/nlab/show/HomePage">
    <title>nLab</title>
    <dc:date>2013-08-28T19:46:24+00:00</dc:date>
    <link>http://ncatlab.org/nlab/show/HomePage</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["This is a wiki-lab for collaborative work on Mathematics, Physics and Philosophy — especially from the n-point of view: insofar as these subjects are usefully treated with tools and notions of category theory or higher category theory."]]></description>
<dc:subject>mathematics categorytheory physics wiki reference geek</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:97bcbc61f0bd/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:categorytheory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:physics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:wiki"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:reference"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/nodename/async-plgd">
    <title>nodename/async-plgd</title>
    <dc:date>2013-08-06T21:27:05+00:00</dc:date>
    <link>https://github.com/nodename/async-plgd</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Examples corresponding to those in C.A.R. Hoare, "Communicating Sequential Processes" (CACM 21:8 August 1978). This paper is the precursor to his book of the same title, which can be obtained at http://www.usingcsp.com/"]]></description>
<dc:subject>async clojure functional programming examples concurrency mathematics papers geek technology software</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:3f08474d2275/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:async"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:examples"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:concurrency"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://boingboing.net/2013/06/27/creativity-math-and-12-tone.html">
    <title>Creativity, math, and 12-tone music - Boing Boing</title>
    <dc:date>2013-06-28T03:59:11+00:00</dc:date>
    <link>http://boingboing.net/2013/06/27/creativity-math-and-12-tone.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[""]]></description>
<dc:subject>video music mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:a2f3f20b810a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:music"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://web.mit.edu/~ezyang/Public/threemonads.pdf">
    <title>Adventures in Three Monads - threemonads.pdf</title>
    <dc:date>2013-06-26T19:48:33+00:00</dc:date>
    <link>http://web.mit.edu/~ezyang/Public/threemonads.pdf</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["The standard monad libraries define a number of bread and butter" monads, including the State, Reader, Writer, List and Maybe monads. However, they are not the only monads available to an enterprising Haskeller's toolbox. In this text, we look at three other monads|the Logic monad, the Prompt monad, and the Failure monad| each of which tackle a common problem found in the engineering of programs."]]></description>
<dc:subject>pdf haskell monads functional programming logic mathematics geek technology software papers</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:dd206ec63c6c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:pdf"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.georgehart.com/bagel/bagel.html">
    <title>Mathematically Correct Breakfast -- Linked Bagel Halves</title>
    <dc:date>2013-04-18T13:24:40+00:00</dc:date>
    <link>http://www.georgehart.com/bagel/bagel.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[how to slice a bagel into two linked halves]]></description>
<dc:subject>mathematics geometry food topology geek culture humour</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:550657078323/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geometry"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:food"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:topology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:culture"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:humour"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://twitter.com/pickover/status/301874411596812288">
    <title>Twitter / pickover: &quot;Mathematics is the art of ...</title>
    <dc:date>2013-03-19T13:31:44+00:00</dc:date>
    <link>https://twitter.com/pickover/status/301874411596812288</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Mathematics is the art of giving the same name to different things." ~Henri Poincaré]]></description>
<dc:subject>quotes mathematics philosophy geek culture</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:276830394813/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quotes"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:culture"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://twitter.com/AnalysisFact/statuses/312201877498519553">
    <title>Twitter / AnalysisFact: &quot;By relieving the brain of ...</title>
    <dc:date>2013-03-14T16:10:08+00:00</dc:date>
    <link>https://twitter.com/AnalysisFact/statuses/312201877498519553</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["By relieving the brain of all unnecessary work, a good notation sets it free to concentrate on more advanced problems."
 -- Alfred Whitehead]]></description>
<dc:subject>quotes mathematics philosophy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:b97abbfc85b1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quotes"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://twitter.com/CompSciFact/statuses/311496960928534529">
    <title>Twitter / CompSciFact: RT @JohnDCook: &quot;When a measure ...</title>
    <dc:date>2013-03-13T14:14:55+00:00</dc:date>
    <link>https://twitter.com/CompSciFact/statuses/311496960928534529</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["When a measure becomes a target it ceases to be a good measure."
 -- Goodhart's law]]></description>
<dc:subject>quotes mathematics optimization psychology philosophy politics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:5608e28cea94/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quotes"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:optimization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:psychology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:politics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://twitter.com/AlgebraFact/statuses/309074030084902913">
    <title>Twitter / AlgebraFact: &quot;A functor is like a conductor ...</title>
    <dc:date>2013-03-05T23:58:56+00:00</dc:date>
    <link>https://twitter.com/AlgebraFact/statuses/309074030084902913</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["A functor is like a conductor of mathematical truth." -- David Spivak]]></description>
<dc:subject>quotes mathematics categorytheory</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:98e438a7f5ba/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quotes"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:categorytheory"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://twitter.com/CompSciFact/statuses/308967678738055169">
    <title>Twitter / CompSciFact: &quot;Constraints are not limitations; ...</title>
    <dc:date>2013-03-05T17:43:40+00:00</dc:date>
    <link>https://twitter.com/CompSciFact/statuses/308967678738055169</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Constraints are not limitations; they are insight." -- Steve Sanderson
]]></description>
<dc:subject>quotes programming philosophy mathematics geek technology</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:2322c397ddd1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quotes"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.youtube.com/watch?v=2nkMUr1YC-M">
    <title>Unreasonable Effectiveness of (High School) Mathematics - Jesus Graduate Conference 2012 - YouTube</title>
    <dc:date>2013-02-27T06:43:02+00:00</dc:date>
    <link>https://www.youtube.com/watch?v=2nkMUr1YC-M</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[non-technical introduction to monoids]]></description>
<dc:subject>video categorytheory mathematics education geek technology compsci color</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:78015e85762c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:categorytheory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:compsci"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:color"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.youtube.com/watch?v=RVmY2lQ4DHE">
    <title>Clojure Data Science - Edmund Jackson - YouTube</title>
    <dc:date>2013-02-20T01:28:11+00:00</dc:date>
    <link>https://www.youtube.com/watch?v=RVmY2lQ4DHE</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[excellent presentation about clojure as a platform for 'data science', including incanter.]]></description>
<dc:subject>clojure java jvm statistics visualization repl interactive presentation geek technology software programming functional mathematics video</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:91dd03b8da89/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:java"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:jvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:repl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:interactive"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:presentation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:video"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://twitter.com/headinthebox/status/303588840180944896">
    <title>Twitter / headinthebox: Math:Programming = Spinach:Popeye</title>
    <dc:date>2013-02-19T02:55:00+00:00</dc:date>
    <link>https://twitter.com/headinthebox/status/303588840180944896</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Math:Programming = Spinach:Popeye"
- Erik Meijer]]></description>
<dc:subject>quotes programming philosophy mathematics geek technology software</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:49b751b4ec31/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:quotes"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.youtube.com/watch?v=WkmPDOq2WfA">
    <title>Folding Space-Time - YouTube</title>
    <dc:date>2013-02-12T14:54:44+00:00</dc:date>
    <link>https://www.youtube.com/watch?v=WkmPDOq2WfA</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["if you fold space-time into a Möbius strip, you get your melody and its inversion..."

Various uses of symmetry for algorithmic composition in terms of a paper tape.]]></description>
<dc:subject>video music mathematics geek</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:6d7d0532d03a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:music"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.tex.ac.uk/cgi-bin/texfaq2html?label=TeXfuture">
    <title>TeX Frequently Asked Questions -- question label &quot;TeXfuture&quot;</title>
    <dc:date>2013-01-28T15:29:09+00:00</dc:date>
    <link>http://www.tex.ac.uk/cgi-bin/texfaq2html?label=TeXfuture</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Knuth has declared that he will do no further development of TeX; he will continue to fix any bugs that are reported to him (though bugs are rare). This decision was made soon after TeX version 3.0 was released; at each bug-fix release the version number acquires one more digit, so that it tends to the limit pi (at the time of writing, Knuth’s latest release is version 3.1415926). Knuth wants TeX to be frozen at version pi when he dies; thereafter, no further changes may be made to Knuth’s source. (A similar rule is applied to Metafont; its version number tends to the limit e, and currently stands at 2.718281.)"]]></description>
<dc:subject>versioning humour mathematics geek technology software programming history typography</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:f3a3ff4a1ff3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:versioning"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:humour"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:history"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:typography"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://plus.google.com/u/0/101584889282878921052/posts/gt37jDDS8CN">
    <title>Richard Green - Google+ - What if I told you: you're playing tic-tac-toe, but both…</title>
    <dc:date>2013-01-15T15:33:21+00:00</dc:date>
    <link>https://plus.google.com/u/0/101584889282878921052/posts/gt37jDDS8CN</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[nice use of monoids in combinatorial games]]></description>
<dc:subject>algebra mathematics combinatorics games gametheory geek culture</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:64e10a328e17/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algebra"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:combinatorics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:games"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:gametheory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:culture"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://scattered-thoughts.net/blog/2012/12/19/search-trees-and-core-dot-logic/">
    <title>Search trees and core.logic - Scattered Thoughts</title>
    <dc:date>2012-12-20T20:38:52+00:00</dc:date>
    <link>http://scattered-thoughts.net/blog/2012/12/19/search-trees-and-core-dot-logic/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["""

 From a high-level point of view, a constraint solver does three things:
specifies a search space in the form of a set of constraints
turns that search space into a search tree
searches the resulting tree for non-failed leaves
Currently core.logic (and cKanren before it) complects all three of these. My patch partly decomplects the latter from the first two, allowing different search algorithms to be specified independently of the problem specification.
"""]]></description>
<dc:subject>clojure logic functional programming mathematics geek technology software monads search</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:70722bc87ab5/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:search"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.smbc-comics.com/index.php?db=comics&amp;id=2821">
    <title>Saturday Morning Breakfast Cereal</title>
    <dc:date>2012-12-12T14:29:18+00:00</dc:date>
    <link>http://www.smbc-comics.com/index.php?db=comics&amp;id=2821</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[mathy sex jokes / sexy math jokes]]></description>
<dc:subject>topology mathematics sex humour comics geek culture</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:15c8295e4318/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:topology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:sex"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:humour"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:comics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:culture"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.dspguide.com/">
    <title>The Scientist and Engineer's Guide to Digital Signal Processing</title>
    <dc:date>2012-12-03T15:04:01+00:00</dc:date>
    <link>http://www.dspguide.com/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[seems pretty nice]]></description>
<dc:subject>audio signals mathematics engineering images geek technology software programming howto books</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:b1adc2aa1fc0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:audio"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:signals"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:engineering"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:images"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:books"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://martinsprogrammingblog.blogspot.com/2012/11/the-m-word.html">
    <title>Martin's Programming Blog: The M Word</title>
    <dc:date>2012-11-26T14:39:40+00:00</dc:date>
    <link>http://martinsprogrammingblog.blogspot.com/2012/11/the-m-word.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[simple monads implementation for clojure in a gist]]></description>
<dc:subject>clojure monads functional programming mathematics geek technology software opensource howto lisp haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:d2c4ba819f38/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:opensource"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:lisp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://programming-puzzler.blogspot.com/2012/11/coin-change-kata-in-racket-and-clojure.html">
    <title>Thoughts on Programming: Coin Change Kata in Racket and Clojure</title>
    <dc:date>2012-11-22T03:34:19+00:00</dc:date>
    <link>http://programming-puzzler.blogspot.com/2012/11/coin-change-kata-in-racket-and-clojure.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[i feel like core.logic should make short work of this]]></description>
<dc:subject>clojure scheme lisp racket logic combinatorics geek technology software programming howto mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:a6fa56ecd397/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:scheme"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:lisp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:racket"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:combinatorics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://maverick.inria.fr/Publications/2008/OBWBTS08/index.php">
    <title>Diffusion Curves: A Vector Representation for Smooth-Shaded Images</title>
    <dc:date>2012-10-31T23:42:08+00:00</dc:date>
    <link>http://maverick.inria.fr/Publications/2008/OBWBTS08/index.php</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["We describe a new vector-based primitive for creating smooth-shaded images, called the diffusion curve. A diffusion curve partitions the space through which it is drawn, defining different colors on either side. These colors may vary smoothly along the curve. In addition, the sharpness of the color transition from one side of the curve to the other can be controlled. Given a set of diffusion curves, the final image is constructed by solving a Poisson equation whose constraints are specified by the set of gradients across all diffusion curves. Like all vector-based primitives, diffusion curves conveniently support a variety of operations, including geometry-based editing, keyframe animation, and ready stylization. Moreover, their representation is compact and inherently resolution-independent. We describe a GPU-based implementation for rendering images defined by a set of diffusion curves in realtime. We then demonstrate an interactive drawing system for allowing artists to create artworks using diffusion curves, either by drawing the curves in a freehand style, or by tracing existing imagery. The system is simple and intuitive: we show results created by artists after just a few minutes of instruction. Furthermore, we describe a completely automatic conversion process for taking an image and turning it into a set of diffusion curves that closely approximate the original image content."]]></description>
<dc:subject>algorithms vector drawing svg images graphics programming mathematics geek technology software howto papers video</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:237423fde301/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:vector"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:drawing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:svg"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:images"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:graphics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:papers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:video"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://haskell.cs.yale.edu/euterpea-2/haskell-school-of-music/">
    <title>Haskell School of Music | The Yale Haskell Group</title>
    <dc:date>2012-09-28T13:27:36+00:00</dc:date>
    <link>http://haskell.cs.yale.edu/euterpea-2/haskell-school-of-music/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["The Haskell School of Music — From Signals to Symphonies is a textbook on functional programming in Haskell, with a strong focus on computer music concepts and applications. The book describes Euterpea, a computer music library developed in Haskell, that allows programming computer music applications both at the note level and the signal level. The book also teaches functional programming in Haskell from scratch. It is suitable for use in the classroom to teach functional programming concepts, Haskell language details, computer music and audio processing concepts and applications — or all of the above."]]></description>
<dc:subject>haskell music book pdf generative art design sound synthesizer sequencer algebra mathematics geek technology software functional programming</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:75fc36e52c53/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:music"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:pdf"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:generative"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:art"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:design"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:sound"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:synthesizer"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:sequencer"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algebra"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.aleph.se/andart/archives/2012/08/there_is_an_ill_wind_that_blows_no_minds.html">
    <title>Andart: There is an ill wind that blows no minds</title>
    <dc:date>2012-09-04T15:56:55+00:00</dc:date>
    <link>http://www.aleph.se/andart/archives/2012/08/there_is_an_ill_wind_that_blows_no_minds.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[a first order model of the human b-hole for understanding flatulence waveforms

"Obviously, for predictive purposes (i.e. when investigating how to achieve a silent one, or to deduce bodily parameters from sampled sound spectra) a full model of rectal tension and gas density, as well as more carefully chosen material parameters should have been used. But I think this serves as a preliminary analysis of how different frequency embarrassments are produced. It is all about the eigenvalues."]]></description>
<dc:subject>humour science biology sound audio mathematics geek technology</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:7b64f818a862/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:humour"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:biology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:sound"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:audio"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/rogerallen/irso">
    <title>rogerallen/irso - An Album of Irrational Songs in Overtone</title>
    <dc:date>2012-06-13T04:10:29+00:00</dc:date>
    <link>https://github.com/rogerallen/irso</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["I am going to explore using irrational numbers as a basis for musical
melodies.  I want to use only Overtone to create the audio, so the
source code will be the score.  I like ambient soundscape music and
I'd like to create an album of songs."]]></description>
<dc:subject>clojure music overtone mathematics geek technology programming software opensource</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:fc5900314fff/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:music"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:overtone"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:opensource"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://incanter.org/">
    <title>Incanter: Statistical Computing and Graphics Environment for Clojure</title>
    <dc:date>2012-05-30T16:03:38+00:00</dc:date>
    <link>http://incanter.org/</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Incanter is a Clojure-based, R-like platform for statistical computing and graphics."]]></description>
<dc:subject>clojure r statistics visualization graphics geek technology software programming datamining jvm mathematics linearalgebra</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:4d0b979b27b6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:r"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:graphics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:datamining"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:jvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:linearalgebra"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.chrisstucchio.com/blog/2012/dont_use_scatterplots.html">
    <title>Don't use Scatterplots</title>
    <dc:date>2012-05-27T04:31:14+00:00</dc:date>
    <link>http://www.chrisstucchio.com/blog/2012/dont_use_scatterplots.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Don’t use scatterplots. Use a density plot such as a hexbin instead."]]></description>
<dc:subject>visualization statistics mathematics python graphics geek technology software tips</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:b697f8631099/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:visualization"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:python"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:graphics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:tips"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.pnas.org/content/early/2012/05/16/1206569109.full.pdf+html">
    <title>Iterated Prisoner’s Dilemma contains strategies that dominate any evolutionary opponent</title>
    <dc:date>2012-05-26T07:52:11+00:00</dc:date>
    <link>http://www.pnas.org/content/early/2012/05/16/1206569109.full.pdf+html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["The two-player Iterated Prisoner’s Dilemma game is a model for
both sentient and evolutionary behaviors, especially including the
emergence of cooperation. It is generally assumed that there
exists no simple ultimatum strategy whereby one player can enforce
a unilateral claim to an unfair share of rewards. Here, we
show that such strategies unexpectedly do exist. In particular,
a player X who is witting of these strategies can (i) deterministically
set her opponent Y’s score, independently of his strategy or
response, or (ii) enforce an extortionate linear relation between
her and his scores. Against such a player, an evolutionary player’s
best response is to accede to the extortion. Only a player with
a theory of mind about his opponent can do better, in which case
Iterated Prisoner’s Dilemma is an Ultimatum Game."]]></description>
<dc:subject>gametheory mathematics psychology cogsci evolution evolutionaryalgorithms games geek technology philosophy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:2a6275525eb4/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:gametheory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:psychology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:cogsci"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:evolution"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:evolutionaryalgorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:games"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.math.utah.edu/~pa/math/polya.html">
    <title>G. Polya, How to Solve It.</title>
    <dc:date>2012-05-26T07:35:18+00:00</dc:date>
    <link>http://www.math.utah.edu/~pa/math/polya.html</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["Summary taken from G. Polya, "How to Solve It", 2nd ed., Princeton University Press, 1957, ISBN 0-691-08097-6.
UNDERSTANDING THE PROBLEM
First. You have to understand the problem.
What is the unknown? What are the data? What is the condition?
Is it possible to satisfy the condition? Is the condition sufficient to determine the unknown? Or is it insufficient? Or redundant? Or contradictory?
Draw a figure. Introduce suitable notation.
Separate the various parts of the condition. Can you write them down?
DEVISING A PLAN
Second. Find the connection between the data and the unknown. You may be obliged to consider auxiliary problems if an immediate connection cannot be found. You should obtain eventually a plan of the solution.
Have you seen it before? Or have you seen the same problem in a slightly different form?
Do you know a related problem? Do you know a theorem that could be useful?
Look at the unknown! And try to think of a familiar problem having the same or a similar unknown.
Here is a problem related to yours and solved before. Could you use it? Could you use its result? Could you use its method? Should you introduce some auxiliary element in order to make its use possible?
Could you restate the problem? Could you restate it still differently? Go back to definitions.
If you cannot solve the proposed problem try to solve first some related problem. Could you imagine a more accessible related problem? A more general problem? A more special problem? An analogous problem? Could you solve a part of the problem? Keep only a part of the condition, drop the other part; how far is the unknown then determined, how can it vary? Could you derive something useful from the data? Could you think of other data appropriate to determine the unknown? Could you change the unknown or data, or both if necessary, so that the new unknown and the new data are nearer to each other?
Did you use all the data? Did you use the whole condition? Have you taken into account all essential notions involved in the problem?
CARRYING OUT THE PLAN
Third. Carry out your plan.
Carrying out your plan of the solution, check each step. Can you see clearly that the step is correct? Can you prove that it is correct?
Looking Back
Fourth. Examine the solution obtained.
Can you check the result? Can you check the argument?
Can you derive the solution differently? Can you see it at a glance?
Can you use the result, or the method, for some other problem?"]]></description>
<dc:subject>mathematics howto tips geek books</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:c0febe1c9540/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:tips"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:books"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://twitter.com/#!/luqui/status/206116100096794625">
    <title>Twitter / @luqui: @greenrd I think one of th ...</title>
    <dc:date>2012-05-26T07:15:18+00:00</dc:date>
    <link>http://twitter.com/#!/luqui/status/206116100096794625</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["I think one of the main benefits of formal methods is to force you to say what you mean by "right". Proving is secondary."]]></description>
<dc:subject>mathematics proof logic staticassurance geek technology software functional programming philosophy</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:091e2bb6eb11/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:proof"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:staticassurance"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:philosophy"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://stackoverflow.com/questions/10657503/find-running-median-from-a-stream-of-integers">
    <title>algorithm - Find running median from a stream of integers - Stack Overflow</title>
    <dc:date>2012-05-21T20:41:25+00:00</dc:date>
    <link>http://stackoverflow.com/questions/10657503/find-running-median-from-a-stream-of-integers</link>
    <dc:creator>yfel</dc:creator><description><![CDATA[by using heaps]]></description>
<dc:subject>algorithms streaming programming geek technology software howto statistics mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:3784ace31342/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:streaming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:howto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://math.stackexchange.com/questions/2755/why-can-you-turn-clothing-right-side-out">
    <title>general topology - Why can you turn clothing right-side-out? - Mathematics</title>
    <dc:date>2012-05-14T14:35:02+00:00</dc:date>
    <link>http://math.stackexchange.com/questions/2755/why-can-you-turn-clothing-right-side-out</link>
    <dc:creator>yfel</dc:creator><dc:subject>forums mathematics topology clothing geek education</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:e2538602a56b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:forums"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:topology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:clothing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:education"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://en.wikipedia.org/wiki/Two_Generals_Problem">
    <title>Two Generals' Problem - Wikipedia, the free encyclopedia</title>
    <dc:date>2012-05-07T15:45:48+00:00</dc:date>
    <link>https://en.wikipedia.org/wiki/Two_Generals_Problem</link>
    <dc:creator>yfel</dc:creator><description><![CDATA["In computing, the Two Generals' Problem is a thought experiment meant to illustrate the pitfalls and design challenges of attempting to coordinate an action by communicating over an unreliable link. It is related to the more general Byzantine Generals' Problem (though published long before that later generalization) and appears often in introductory classes about computer networking (particularly with regard to the Transmission Control Protocol), though it can also apply to other types of communication. It is also an important concept in epistemic logic, and the importance of common knowledge. Some authors refer to this as the Two Armies Problem or the Coordinated Attack Problem."]]></description>
<dc:subject>mathematics protocol network compsci crypto programming geek technology software examples</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:yfel/b:8de2c3998ebc/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:protocol"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:network"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:compsci"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:crypto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:technology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:yfel/t:examples"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>