<?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 (dale.hagglund)</title>
    <link>https://pinboard.in/u:dale.hagglund/public/</link>
    <description>recent bookmarks from dale.hagglund</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="https://blog.holub.com/p/programming-is-writing-not-math"/>
	<rdf:li rdf:resource="https://www.pcg-random.org/"/>
	<rdf:li rdf:resource="https://www.johndcook.com/blog/2025/09/11/random-inside-triangle/"/>
	<rdf:li rdf:resource="https://www.johndcook.com/blog/2025/08/24/intuition-for-picks-theorem/"/>
	<rdf:li rdf:resource="https://www.johndcook.com/blog/2025/05/06/random-points-on-a-sphere/"/>
	<rdf:li rdf:resource="https://buttondown.email/hillelwayne/archive/how-knowing-math-helps-you-write-better-software/"/>
	<rdf:li rdf:resource="https://mfleck.cs.illinois.edu/building-blocks/index-sp2020.html"/>
	<rdf:li rdf:resource="https://www.johndcook.com/blog/2021/04/13/why-simple-approximations-work/"/>
	<rdf:li rdf:resource="https://www.johndcook.com/blog/2021/04/09/period-three-implies-chaos/"/>
	<rdf:li rdf:resource="https://www.johndcook.com/blog/2020/11/09/some-mathematical-art/"/>
	<rdf:li rdf:resource="http://julialang.org/"/>
	<rdf:li rdf:resource="http://www.gnu.org/software/octave/"/>
	<rdf:li rdf:resource="http://web.stonehill.edu/compsci/History_Math/math-read.htm"/>
	<rdf:li rdf:resource="http://www.mathjax.org/"/>
	<rdf:li rdf:resource="http://topics.nytimes.com/top/opinion/series/steven_strogatz_on_the_elements_of_math/index.html"/>
	<rdf:li rdf:resource="http://wildaboutmath.com/2009/10/27/dismantling-the-calculus-pyramid/"/>
	<rdf:li rdf:resource="http://www.cs.nyu.edu/acsys/cvc3/"/>
	<rdf:li rdf:resource="http://cm.bell-labs.com/cm/ms/what/shannonday/work.html"/>
	<rdf:li rdf:resource="http://www.math.ohio-state.edu/~nevai/ERDOS/erdos_washington_post.html"/>
	<rdf:li rdf:resource="http://www.inwap.com/pdp10/hbaker/hakmem/hakmem.html"/>
	<rdf:li rdf:resource="http://projecteuler.net/"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="https://blog.holub.com/p/programming-is-writing-not-math">
    <title>Programming is writing, not math - by Allen Holub</title>
    <dc:date>2026-06-22T13:04:34+00:00</dc:date>
    <link>https://blog.holub.com/p/programming-is-writing-not-math</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>allen holub programming software development writing similarity math mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:6b99257e4be3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:allen"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:holub"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:development"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:writing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:similarity"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.pcg-random.org/">
    <title>PCG, A Family of Better Random Number Generators | PCG, A Better Random Number Generator</title>
    <dc:date>2026-01-05T21:36:26+00:00</dc:date>
    <link>https://www.pcg-random.org/</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>random number generator crypto cryptography mathematics algorithms library math security programming software development</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:cc2523052348/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:random"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:number"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:generator"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:crypto"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cryptography"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:library"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:development"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.johndcook.com/blog/2025/09/11/random-inside-triangle/">
    <title>Randomly selecting points inside a triangle</title>
    <dc:date>2025-09-12T06:58:41+00:00</dc:date>
    <link>https://www.johndcook.com/blog/2025/09/11/random-inside-triangle/</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>john d cook mathematics triangle geometry algorithm algorithms programming random points statistics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:11f45770d159/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:john"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:d"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cook"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:triangle"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:geometry"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:algorithm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:random"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:points"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:statistics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.johndcook.com/blog/2025/08/24/intuition-for-picks-theorem/">
    <title>Intuition for Pick’s Theorem</title>
    <dc:date>2025-08-24T18:44:26+00:00</dc:date>
    <link>https://www.johndcook.com/blog/2025/08/24/intuition-for-picks-theorem/</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>picks theorem area perimeter grid lattice mathematics john cook programming contest</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:9aaada86fa82/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:picks"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:theorem"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:area"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:perimeter"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:grid"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:lattice"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:john"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cook"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:contest"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.johndcook.com/blog/2025/05/06/random-points-on-a-sphere/">
    <title>A simple way to generate random points on a sphere</title>
    <dc:date>2025-05-06T19:31:23+00:00</dc:date>
    <link>https://www.johndcook.com/blog/2025/05/06/random-points-on-a-sphere/</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>random points sphere john cook mathematics algorithm</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:f3d43bb3f121/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:random"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:points"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:sphere"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:john"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cook"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:algorithm"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://buttondown.email/hillelwayne/archive/how-knowing-math-helps-you-write-better-software/">
    <title>How knowing math helps you write better software • Buttondown</title>
    <dc:date>2023-03-16T17:51:29+00:00</dc:date>
    <link>https://buttondown.email/hillelwayne/archive/how-knowing-math-helps-you-write-better-software/</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>math mathematics formal methods software development hillel wayne</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:578f28cf15f1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:formal"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:methods"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:development"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:hillel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:wayne"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://mfleck.cs.illinois.edu/building-blocks/index-sp2020.html">
    <title>Building Blocks for Theoretical Computer Science</title>
    <dc:date>2023-02-18T23:17:17+00:00</dc:date>
    <link>https://mfleck.cs.illinois.edu/building-blocks/index-sp2020.html</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>building blocks theoretical computer science textbook mathematics logic proof sets functions induction</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:e05c687b9c17/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:building"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:blocks"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:theoretical"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:computer"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:textbook"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:proof"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:sets"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:functions"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:induction"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.johndcook.com/blog/2021/04/13/why-simple-approximations-work/">
    <title>Simple Padé approximations</title>
    <dc:date>2021-04-15T03:37:02+00:00</dc:date>
    <link>https://www.johndcook.com/blog/2021/04/13/why-simple-approximations-work/</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>john cook simple approximation exp log math mathematics</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:7c4449881180/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:john"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cook"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:simple"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:approximation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:exp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:log"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.johndcook.com/blog/2021/04/09/period-three-implies-chaos/">
    <title>Period three implies chaos</title>
    <dc:date>2021-04-10T06:58:46+00:00</dc:date>
    <link>https://www.johndcook.com/blog/2021/04/09/period-three-implies-chaos/</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>math mathematics chaos theory period 3 function periodic john cook</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:8ff365cee621/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:chaos"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:period"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:3"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:function"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:periodic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:john"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cook"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.johndcook.com/blog/2020/11/09/some-mathematical-art/">
    <title>Some mathematical art</title>
    <dc:date>2021-02-05T12:10:32+00:00</dc:date>
    <link>https://www.johndcook.com/blog/2020/11/09/some-mathematical-art/</link>
    <dc:creator>dale.hagglund</dc:creator><dc:subject>john cook mathematics plots circular coordinates</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:0c3691ecff87/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:john"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cook"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:plots"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:circular"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:coordinates"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://julialang.org/">
    <title>The Julia Language</title>
    <dc:date>2012-02-18T23:28:51+00:00</dc:date>
    <link>http://julialang.org/</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA[Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library. The library, mostly written in Julia itself, also integrates mature, best-of-breed C and Fortran libraries for linear algebra, random number generation, FFTs, and string processing. More libraries continue to be added over time. Julia programs are organized around defining functions, and overloading them for different combinations of argument types (which can also be user-defined).]]></description>
<dc:subject>performance source open algorithms mathematics execution parallel language programming julia</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:9a4871ffb2cf/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:performance"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:source"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:open"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:execution"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:parallel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:language"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:julia"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.gnu.org/software/octave/">
    <title>Octave</title>
    <dc:date>2011-02-11T06:02:32+00:00</dc:date>
    <link>http://www.gnu.org/software/octave/</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA["GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and for performing other numerical experiments. It also provides extensive graphics capabilities for data visualization and manipulation. Octave is normally used through its interactive command line interface, but it can also be used to write non-interactive programs. The Octave language is quite similar to Matlab so that most programs are easily portable."
]]></description>
<dc:subject>math software octave gnu programming mathematics science numerical analysis matlab</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:c1aed345c40f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:octave"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:gnu"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:numerical"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:analysis"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:matlab"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://web.stonehill.edu/compsci/History_Math/math-read.htm">
    <title>How to Read Mathematics</title>
    <dc:date>2010-10-14T01:50:38+00:00</dc:date>
    <link>http://web.stonehill.edu/compsci/History_Math/math-read.htm</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA[What are the common mistakes people make in trying to read mathematics?  How can these mistakes be corrected?
]]></description>
<dc:subject>math mathematics article reading education learning teaching science read academic study</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:b02efb3826f1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:reading"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:learning"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:teaching"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:read"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:academic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:study"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.mathjax.org/">
    <title>MathJax | Beautiful math in all browsers</title>
    <dc:date>2010-10-05T19:49:22+00:00</dc:date>
    <link>http://www.mathjax.org/</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA[MathJax is an open source JavaScript display engine for mathematics that works in all modern browsers.
]]></description>
<dc:subject>ajax browser development web display html javascript latex tex math mathematics typography equation equations mathml software</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:df1405ae10c9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:ajax"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:browser"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:development"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:web"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:display"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:html"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:javascript"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:latex"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:tex"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:typography"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:equation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:equations"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathml"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:software"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://topics.nytimes.com/top/opinion/series/steven_strogatz_on_the_elements_of_math/index.html">
    <title>Steven Strogatz on the Elements of Math - Series - The New York Times</title>
    <dc:date>2010-06-21T05:06:38+00:00</dc:date>
    <link>http://topics.nytimes.com/top/opinion/series/steven_strogatz_on_the_elements_of_math/index.html</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA["Steven Strogatz, an award-winning professor, takes readers from the basics to the baffling in a 15-part series on mathematics. Beginning with a column on why numbers are helpful, he goes on to investigate topics including negative numbers, calculus and group theory, finishing with the mysteries of infinity."
]]></description>
<dc:subject>math mathematics calculus derivative integral differential infinity education teaching tutuorial cornell steven strogatz</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:0888621eff88/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:calculus"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:derivative"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:integral"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:differential"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:infinity"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:teaching"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:tutuorial"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cornell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:steven"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:strogatz"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://wildaboutmath.com/2009/10/27/dismantling-the-calculus-pyramid/">
    <title>Dismantling the calculus pyramid » Fun Math Blog</title>
    <dc:date>2009-10-29T02:25:07+00:00</dc:date>
    <link>http://wildaboutmath.com/2009/10/27/dismantling-the-calculus-pyramid/</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA[All of elementary and high school mathematics is building up toward calculus.  In this brief video, Mathemagician Arthur Benjamin proposes replacing this pinnacle of pre-secondary math education with statistics, which he suggest would be much more relevant and useful in the daily lives of most people.
]]></description>
<dc:subject>math mathematics education calculus statistics arthur benjamin teaching</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:9857115c3c91/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:calculus"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:arthur"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:benjamin"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:teaching"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.nyu.edu/acsys/cvc3/">
    <title>CVC3 Theorem Prover</title>
    <dc:date>2009-10-18T05:25:57+00:00</dc:date>
    <link>http://www.cs.nyu.edu/acsys/cvc3/</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA["CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.  CVC3 is the last offspring of a series of popular SMT provers, which originated at Stanford University with the SVC system."
]]></description>
<dc:subject>cvc3 theorem prover math mathematics tools analysis software development formal methods programming</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:8d44b302fe1d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:cvc3"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:theorem"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:prover"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:tools"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:analysis"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:development"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:formal"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:methods"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://cm.bell-labs.com/cm/ms/what/shannonday/work.html">
    <title>The Significance of Shannon's Work</title>
    <dc:date>2009-07-13T03:57:28+00:00</dc:date>
    <link>http://cm.bell-labs.com/cm/ms/what/shannonday/work.html</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA[Claude Shannon's creation in the 1940's of the subject of information theory is arguably one of the great intellectual achievements of the twentieth century. Information theory has had an important and significant influence on mathematics, particularly on probability theory and ergodic theory, and Shannon's mathematics is in its own right a considerable and profound contribution to pure mathematics.
]]></description>
<dc:subject>claude shannon information theory compression encoding entropy math mathematics channel noise coding bell labs</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:2c9ef8343e96/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:claude"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:shannon"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:information"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:compression"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:encoding"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:entropy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:channel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:noise"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:coding"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:bell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:labs"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.math.ohio-state.edu/~nevai/ERDOS/erdos_washington_post.html">
    <title>Paul Erdos -- A life that added up to something</title>
    <dc:date>2009-05-21T22:36:46+00:00</dc:date>
    <link>http://www.math.ohio-state.edu/~nevai/ERDOS/erdos_washington_post.html</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA[The prolific mathematician Paul Erdos died on 20 September 1996.  His Washington Post obituary ends with the sentence "He left no immediate survivors."  Charles Krauthammer disputes this dismal summary by pointing out Erdos's vast intellectual legacy, and exploring the unique traits that lead to this legacy.  "No survivors, indeed."
]]></description>
<dc:subject>paul erdos mathematics writing obituary inspiration biography math article charles krauthammer</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:4cff3cc3a314/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:paul"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:erdos"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:writing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:obituary"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:inspiration"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:biography"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:charles"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:krauthammer"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.inwap.com/pdp10/hbaker/hakmem/hakmem.html">
    <title>HAKMEM -- AI Memo No. 239</title>
    <dc:date>2009-01-06T22:32:43+00:00</dc:date>
    <link>http://www.inwap.com/pdp10/hbaker/hakmem/hakmem.html</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA[This is the famous "HAKMEM" memo published at MIT in 1972.  It includes an eclectic selection of problems in computer science, number theory, algebra, bit hacking, and so on, sometimes with equally eclectic solutions.
]]></description>
<dc:subject>hakmem ai mit artificial intelligence gosper folklore culture history hacks math theory hacking geek software computer code algorithm mathematics</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:7a2ca79e075f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:hakmem"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:ai"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mit"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:artificial"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:intelligence"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:gosper"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:folklore"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:culture"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:history"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:hacks"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:hacking"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:geek"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:computer"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:code"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:algorithm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://projecteuler.net/">
    <title>Project Euler</title>
    <dc:date>2008-11-15T19:09:52+00:00</dc:date>
    <link>http://projecteuler.net/</link>
    <dc:creator>dale.hagglund</dc:creator><description><![CDATA["Project Euler is a series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve. Although mathematics will help you arrive at elegant and efficient methods, the use of a computer and programming skills will be required to solve most problems. The motivation for starting Project Euler, and its continuation, is to provide a platform for the inquiring mind to delve into unfamiliar areas and learn new concepts in a fun and recreational context. The intended audience include students for whom the basic curriculum is not feeding their hunger to learn, adults whose background was not primarily mathematics but had an interest in things mathematical, and professionals who want to keep their problem solving and mathematics on the edge."
]]></description>
<dc:subject>math mathematics education puzzle project euler programming science learning logic fun algorithms problems interesting challenge algorithm computing number theory</dc:subject>
<dc:identifier>https://pinboard.in/u:dale.hagglund/b:013224c7e7a2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:puzzle"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:project"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:euler"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:learning"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:fun"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:algorithms"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:problems"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:interesting"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:challenge"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:algorithm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:computing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:number"/>
	<rdf:li rdf:resource="https://pinboard.in/u:dale.hagglund/t:theory"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>