<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<feed xmlns="http://www.w3.org/2005/Atom">

	<title>Planet Scheme</title>
	<!--<link rel="self" type="text/atom" href=""/>-->
	<link rel="alternate" type="text/html" href="http://scheme.dk/planet/"/>
	<id></id>
	<updated>2013-05-19T23:02:03+00:00</updated>
	<generator uri="http://www.planetplanet.org/">http://intertwingly.net/code/venus/</generator>

	<entry>
		<title>Programming Praxis: Coin Change, Part 1</title>
		<link rel="alternate" type="text/html" href="http://programmingpraxis.com/2013/05/17/coin-change-part-1/"/>
		<id>http://programmingpraxis.com/?p=7131</id>
		<updated>2013-05-17T09:00:15+00:00</updated>
		<content type="html">&lt;p&gt;It is a classic problem from computer science to determine the number of ways in which coins can be combined to form a particular target; as an example, there are 31 ways to form 40 cents from an unlimited supply of pennies (1 cent), nickels (5 cents), dimes (10 cents) and quarters (25 cents), ranging from the 3-coin set (5 10 25) to the 40-coin set consisting only of pennies.&lt;/p&gt;
&lt;p&gt;The solution is usually stated in recursive form: if &lt;em&gt;c&lt;/em&gt; is the first coin in the set of coins &lt;em&gt;cs&lt;/em&gt; and &lt;em&gt;n&lt;/em&gt; is the target, the solution is the number of ways to reach the target after removing &lt;em&gt;c&lt;/em&gt; from &lt;em&gt;cs&lt;/em&gt; plus the number of ways to reach &lt;em&gt;n&lt;/em&gt; − &lt;em&gt;c&lt;/em&gt; using all the coins in &lt;em&gt;cs&lt;/em&gt;. The algorithm to make a list of the coins, instead of the count, is the same, but keeping track of the list of coins instead of the count.&lt;/p&gt;
&lt;p&gt;Your task is to write two functions, one to determine the count and one to determine the list of coins. When you are finished, you are welcome to &lt;a href=&quot;http://programmingpraxis.com/2013/05/17/coin-change-part-1/2/&quot;&gt;read&lt;/a&gt; or &lt;a href=&quot;http://programmingpraxis.codepad.org/RekApsRy&quot;&gt;run&lt;/a&gt; a suggested solution, or to post your own solution or discuss the exercise in the comments below.&lt;/p&gt;
&lt;br /&gt;  &lt;a href=&quot;http://feeds.wordpress.com/1.0/gocomments/programmingpraxis.wordpress.com/7131/&quot; rel=&quot;nofollow&quot;&gt;&lt;img src=&quot;http://feeds.wordpress.com/1.0/comments/programmingpraxis.wordpress.com/7131/&quot; alt=&quot;&quot; border=&quot;0&quot; /&gt;&lt;/a&gt; &lt;img src=&quot;http://stats.wordpress.com/b.gif?host=programmingpraxis.com&amp;amp;blog=6649073&amp;amp;post=7131&amp;amp;subd=programmingpraxis&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>programmingpraxis</name>
			<uri>http://programmingpraxis.com</uri>
		</author>
	</entry>

	<entry>
		<title>Jeremy Kun: Properties of Morphisms</title>
		<link rel="alternate" type="text/html" href="http://jeremykun.com/2013/05/15/properties-of-morphisms/"/>
		<id>http://jeremykun.com/?p=3376</id>
		<updated>2013-05-15T17:43:42+00:00</updated>
		<content type="html">This post is mainly mathematical. We left it out of our introduction to categories for brevity, but we should lay these definitions down and some examples before continuing on to universal properties and doing more computation. The reader should feel … &lt;a href=&quot;http://jeremykun.com/2013/05/15/properties-of-morphisms/&quot;&gt;Continue reading &lt;span class=&quot;meta-nav&quot;&gt;→&lt;/span&gt;&lt;/a&gt;&lt;img src=&quot;http://stats.wordpress.com/b.gif?host=jeremykun.com&amp;amp;blog=23934684&amp;amp;post=3376&amp;amp;subd=jeremykun&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>j2kun</name>
			<uri>http://jeremykun.com</uri>
		</author>
	</entry>

	<entry>
		<title>Grant Rettke: ISLISP</title>
		<link rel="alternate" type="text/html" href="http://www.wisdomandwonder.com/link/7835/islisp"/>
		<id>http://www.wisdomandwonder.com/?p=7835</id>
		<updated>2013-05-15T16:39:30+00:00</updated>
		<content type="html">&lt;blockquote&gt;&lt;p&gt;
The ISLISP programming language is a member of the Lisp family of programming languages. It attempts to bridge the gap between the various incompatible members of the Lisp family of languages (most notably Common Lisp, Eulisp, LeLisp, and Scheme) by focusing on standardizing those areas of widespread agreement. It is a small language, closer to the size of Scheme than to Common Lisp, for example.&lt;/p&gt;
&lt;p&gt;The most recent change to the specification occurred in 2007.&lt;/p&gt;
&lt;p&gt;The design of ISLISP had these design goals:&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;Compatible with existing Lisp dialects where feasible.
&lt;/li&gt;
&lt;li&gt;Provide basic functionality.&lt;/li&gt;
&lt;li&gt;Object-oriented.&lt;/li&gt;
&lt;li&gt;Designed with extensibility in mind.&lt;/li&gt;
&lt;li&gt;Gives priority to industrial needs over academic needs.&lt;/li&gt;
&lt;li&gt;Promotes efficient implementations and applications.&lt;/li&gt;
&lt;/ul&gt;
&lt;/blockquote&gt;
&lt;p&gt;(via &lt;a href=&quot;http://www.islisp.info/&quot;&gt;islisp.info&lt;/a&gt;)&lt;/p&gt;
&lt;p&gt;John Cowan mentioned it on scheme-reports, so I was curious.&lt;/p&gt;</content>
		<author>
			<name>Grant</name>
			<uri>http://www.wisdomandwonder.com</uri>
		</author>
	</entry>

	<entry>
		<title>Programming Praxis: Optimal Alphabetical Order</title>
		<link rel="alternate" type="text/html" href="http://programmingpraxis.com/2013/05/14/optimal-alphabetical-order/"/>
		<id>http://programmingpraxis.com/?p=7125</id>
		<updated>2013-05-14T09:00:53+00:00</updated>
		<content type="html">&lt;p&gt;Today’s exercise comes from the book &lt;em&gt;Making the Alphabet Dance: Recreational Wordplay&lt;/em&gt; by Ross Eckler, but I found it at &lt;a href=&quot;http://www.math.cmu.edu/~bkell/alpha-order/&quot;&gt;http://www.math.cmu.edu/~bkell/alpha-order/&lt;/a&gt;:&lt;/p&gt;
&lt;blockquote&gt;&lt;p&gt;Assume we have a list of all the words in the English language. Under the normal ordering of the alphabet in English (A, B, C, …, Z), some number of these words have all their letters in alphabetical order (for example, DEEP, FLUX, and CHIMPS). However, if we change the ordering of the alphabet, we will change the number of words having their letters in “alphabetical” order. What arrangement of the letters of the alphabet maximizes this number?&lt;/p&gt;&lt;/blockquote&gt;
&lt;p&gt;Your task is to write a program to find such an arrangement. When you are finished, you are welcome to &lt;a href=&quot;http://programmingpraxis.com/2013/05/14/optimal-alphabetical-order/2/&quot;&gt;read&lt;/a&gt; or &lt;a href=&quot;http://programmingpraxis.codepad.org/DLzOQf2A&quot;&gt;run&lt;/a&gt; a suggested solution, or to post your own solution or discuss the exercise in the comments below.&lt;/p&gt;
&lt;br /&gt;  &lt;a href=&quot;http://feeds.wordpress.com/1.0/gocomments/programmingpraxis.wordpress.com/7125/&quot; rel=&quot;nofollow&quot;&gt;&lt;img src=&quot;http://feeds.wordpress.com/1.0/comments/programmingpraxis.wordpress.com/7125/&quot; alt=&quot;&quot; border=&quot;0&quot; /&gt;&lt;/a&gt; &lt;img src=&quot;http://stats.wordpress.com/b.gif?host=programmingpraxis.com&amp;amp;blog=6649073&amp;amp;post=7125&amp;amp;subd=programmingpraxis&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>programmingpraxis</name>
			<uri>http://programmingpraxis.com</uri>
		</author>
	</entry>

	<entry>
		<title>Jeremy Kun: “Dog” Print Available for Sale</title>
		<link rel="alternate" type="text/html" href="http://jeremykun.com/2013/05/13/dog-print-available-for-sale/"/>
		<id>http://jeremykun.com/?p=3518</id>
		<updated>2013-05-13T17:58:03+00:00</updated>
		<content type="html">My girlfriend and I decided we want a print of my recent artistic creation from the post Bezier Curves and Picasso. I set up an account at Society6, which does professional art printing (framed or unframed).  I can’t imagine anyone … &lt;a href=&quot;http://jeremykun.com/2013/05/13/dog-print-available-for-sale/&quot;&gt;Continue reading &lt;span class=&quot;meta-nav&quot;&gt;→&lt;/span&gt;&lt;/a&gt;&lt;img src=&quot;http://stats.wordpress.com/b.gif?host=jeremykun.com&amp;amp;blog=23934684&amp;amp;post=3518&amp;amp;subd=jeremykun&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>j2kun</name>
			<uri>http://jeremykun.com</uri>
		</author>
	</entry>

	<entry>
		<title>Grant Rettke: mickey-scheme</title>
		<link rel="alternate" type="text/html" href="http://www.wisdomandwonder.com/link/7832/mickey-scheme-2"/>
		<id>http://www.wisdomandwonder.com/?p=7832</id>
		<updated>2013-05-13T12:59:47+00:00</updated>
		<content type="html">&lt;blockquote&gt;&lt;p&gt;&lt;a href=&quot;https://github.com/cslarsen/mickey-scheme#readme&quot;&gt;Mickey Scheme&lt;/a&gt; is an interpreter for R7RS Scheme written in C++&lt;/p&gt;&lt;/blockquote&gt;</content>
		<author>
			<name>Grant</name>
			<uri>http://www.wisdomandwonder.com</uri>
		</author>
	</entry>

	<entry>
		<title>Jay McCarthy: Writing a Vi-like Graphics Editor in Racket</title>
		<link rel="alternate" type="text/html" href="http://jeapostrophe.github.com/2013-05-13-vi-post.html"/>
		<id>http://jeapostrophe.github.com/2013-05-13-vi-post.html</id>
		<updated>2013-05-13T00:00:00+00:00</updated>
		<content type="html">&lt;p&gt;For the complete post, please visit &lt;a href=&quot;http://jeapostrophe.github.com/2013-05-13-vi-post.html&quot;&gt;http://jeapostrophe.github.com/2013-05-13-vi-post.html&lt;/a&gt;.&lt;/p&gt;</content>
		<author>
			<name>Jay McCarthy</name>
			<uri>http://jeapostrophe.github.com</uri>
		</author>
	</entry>

	<entry>
		<title>Jeremy Kun: Bezier Curves and Picasso</title>
		<link rel="alternate" type="text/html" href="http://jeremykun.com/2013/05/11/bezier-curves-and-picasso/"/>
		<id>http://jeremykun.com/?p=3383</id>
		<updated>2013-05-11T05:32:05+00:00</updated>
		<content type="html">Simplicity and the Artist Some of my favorite of Pablo Picasso’s works are his line drawings. He did a number of them about animals: an owl, a camel, a butterfly, etc. This piece called “Dog” is on my wall: These … &lt;a href=&quot;http://jeremykun.com/2013/05/11/bezier-curves-and-picasso/&quot;&gt;Continue reading &lt;span class=&quot;meta-nav&quot;&gt;→&lt;/span&gt;&lt;/a&gt;&lt;img src=&quot;http://stats.wordpress.com/b.gif?host=jeremykun.com&amp;amp;blog=23934684&amp;amp;post=3383&amp;amp;subd=jeremykun&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>j2kun</name>
			<uri>http://jeremykun.com</uri>
		</author>
	</entry>

	<entry>
		<title>Programming Praxis: MindCipher</title>
		<link rel="alternate" type="text/html" href="http://programmingpraxis.com/2013/05/10/mindcipher/"/>
		<id>http://programmingpraxis.com/?p=7121</id>
		<updated>2013-05-10T09:00:13+00:00</updated>
		<content type="html">&lt;p&gt;According to their masthead, the &lt;a href=&quot;http://www.mindcipher.com&quot;&gt;MindCipher&lt;/a&gt; website is “a social repository of the world’s greatest brain teasers, logic puzzles and mental challenges.” Some of the problems lend themselves to brute force computation, others are better solved with pencil-and-paper or solely with mental effort. We look at three MindCipher exercises today.&lt;/p&gt;
&lt;blockquote&gt;&lt;p&gt;&lt;strong&gt;1: &lt;a href=&quot;http://www.mindcipher.com/puzzles/58&quot;&gt;Coin Flip&lt;/a&gt;:&lt;/strong&gt; On Monday, you flip a coin all day. You start flipping it until you see the pattern Head, Tail, Head. You record the number of flips required to reach this pattern, and start flipping again (and counting up from 1 again) until you see that pattern again, you record the second number, and start again. At the end of the day you average all of the numbers you’ve recorded. On Tuesday you do the EXACT same thing except you flip until you see the pattern Head, Tail, Tail.&lt;/p&gt;
&lt;p&gt;Will Monday’s number be higher than Tuesday’s, equal to Tuesday’s, or lower than Tuesday’s?&lt;/p&gt;&lt;/blockquote&gt;
&lt;blockquote&gt;&lt;p&gt;&lt;strong&gt;2: &lt;a href=&quot;http://www.mindcipher.com/puzzles/145&quot;&gt;1978&lt;/a&gt;:&lt;/strong&gt; The year 1978 is such that the sum of the first two digits and the latter two digits is equal to the middle two digits, i.e. 19 + 78 = 97. What is the next year (after 1978) for which this is true?&lt;/p&gt;&lt;/blockquote&gt;
&lt;blockquote&gt;&lt;p&gt;&lt;strong&gt;3: &lt;a href=&quot;http://www.mindcipher.com/puzzles/136&quot;&gt;Sum of Two Prime Numbers&lt;/a&gt;:&lt;/strong&gt; If &lt;em&gt;p&lt;/em&gt;, &lt;em&gt;q&lt;/em&gt; &amp;gt; 2 are consecutive in set of primes. Since &lt;em&gt;p&lt;/em&gt;,&lt;em&gt;q&lt;/em&gt; can only be odd number, (&lt;em&gt;p&lt;/em&gt;+&lt;em&gt;q&lt;/em&gt;) is an even number.&lt;/p&gt;
&lt;p&gt;Can (&lt;em&gt;p&lt;/em&gt;+&lt;em&gt;q&lt;/em&gt;)/2 be prime?&lt;/p&gt;&lt;/blockquote&gt;
&lt;p&gt;Your task is to solve the three problems given above; write a computer program to help you if you wish. When you are finished, you are welcome to &lt;a href=&quot;http://programmingpraxis.com/2013/05/10/mindcipher/2/&quot;&gt;read&lt;/a&gt; or &lt;a href=&quot;http://programmingpraxis.codepad.org/fpSuFV7A&quot;&gt;run&lt;/a&gt; a suggested solution, or to post your own solution or discuss the exercise in the comments below.&lt;/p&gt;
&lt;br /&gt;  &lt;a href=&quot;http://feeds.wordpress.com/1.0/gocomments/programmingpraxis.wordpress.com/7121/&quot; rel=&quot;nofollow&quot;&gt;&lt;img src=&quot;http://feeds.wordpress.com/1.0/comments/programmingpraxis.wordpress.com/7121/&quot; alt=&quot;&quot; border=&quot;0&quot; /&gt;&lt;/a&gt; &lt;img src=&quot;http://stats.wordpress.com/b.gif?host=programmingpraxis.com&amp;amp;blog=6649073&amp;amp;post=7121&amp;amp;subd=programmingpraxis&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>programmingpraxis</name>
			<uri>http://programmingpraxis.com</uri>
		</author>
	</entry>

	<entry>
		<title>PLT Scheme: Racket v5.3.4</title>
		<link rel="alternate" type="text/html" href="http://blog.racket-lang.org/2013/05/racket-v534.html"/>
		<id>tag:blogger.com,1999:blog-2080885971644496896.post-7167816348718621286</id>
		<updated>2013-05-08T16:44:41+00:00</updated>
		<content type="html">Racket version 5.3.4 is now available from
&lt;pre&gt;&lt;a href=&quot;http://racket-lang.org/&quot;&gt;http://racket-lang.org/&lt;/a&gt;&lt;/pre&gt;
&lt;ul&gt;
&lt;li&gt;Extflonums (80-bit floating-point numbers) are supported on some x86/x86_64 platforms — including Windows, and including platforms where Racket is compiled to use SSE instructions for flonum arithmetic.  Thanks to Michael Filonenko.&lt;/li&gt;
&lt;li&gt;OS X: DrRacket and all of the other apps are now signed with an official key.&lt;/li&gt;
&lt;li&gt;Tally Maze: a new game based an enumeration of 2d mazes.&lt;/li&gt;
&lt;li&gt;The Optimization Coach, a DrRacket plugin, has been moved from the Racket distribution to the Racket package repository.  Install it with: &lt;tt&gt;raco pkg install optimization-coach&lt;/tt&gt;.&lt;/li&gt;
&lt;li&gt;Redex: &lt;tt&gt;define-union-language&lt;/tt&gt; now merges productions when languages define the same nonterminals.  Thanks to William Bowman.&lt;/li&gt;
&lt;li&gt;The &lt;tt&gt;srfi/19&lt;/tt&gt; library is now compatible with the date structure type exported by &lt;tt&gt;racket/base&lt;/tt&gt;.&lt;/li&gt;
&lt;/ul&gt;</content>
		<author>
			<name>Eli Barzilay (noreply@blogger.com)</name>
			<uri>http://blog.racket-lang.org/</uri>
		</author>
	</entry>

	<entry>
		<title>PLT Scheme: RacketCon 2013</title>
		<link rel="alternate" type="text/html" href="http://blog.racket-lang.org/2013/05/racketcon-2013.html"/>
		<id>tag:blogger.com,1999:blog-2080885971644496896.post-1317541501753090960</id>
		<updated>2013-05-08T15:53:39+00:00</updated>
		<content type="html">We are pleased to announce that &lt;span class=&quot;RktPn&quot;&gt;(&lt;/span&gt;&lt;span class=&quot;RktSym&quot;&gt;third&lt;/span&gt;&lt;span class=&quot;hspace&quot;&gt; &lt;/span&gt;&lt;span class=&quot;RktVal&quot;&gt;RacketCon&lt;/span&gt;&lt;span class=&quot;RktPn&quot;&gt;)&lt;/span&gt; will take place on September 29, 2013 at Northeastern University in Boston.  This year, we plan to bring in several speakers from industry, as well as host talks from Racket developers and users.&lt;br /&gt;
&lt;br /&gt;
Lunch will be provided.&lt;br /&gt;
&lt;br /&gt;
On the Saturday (28th) before RacketCon, we plan to hold a hackathon to work on various Racket projects.&lt;br /&gt;
&lt;br /&gt;
Registration will open during the summer, and we will post a detailed schedule of events around the same time. The conference website is at&lt;br /&gt;
&lt;br /&gt;
&lt;a href=&quot;http://con.racket-lang.org/&quot;&gt;http://con.racket-lang.org/&lt;/a&gt;&lt;br /&gt;
&lt;br /&gt;</content>
		<author>
			<name>Asumu Takikawa (noreply@blogger.com)</name>
			<uri>http://blog.racket-lang.org/</uri>
		</author>
	</entry>

	<entry>
		<title>Programming Praxis: Three List Exercises</title>
		<link rel="alternate" type="text/html" href="http://programmingpraxis.com/2013/05/07/three-list-exercises/"/>
		<id>http://programmingpraxis.com/?p=7114</id>
		<updated>2013-05-07T09:00:40+00:00</updated>
		<content type="html">&lt;p&gt;Today’s exercise provides three little exercises on linked lists, designed to help beginning programmers learn more about how lists work; there is also a special invitation for more experienced programmers.&lt;/p&gt;
&lt;blockquote&gt;&lt;p&gt;1. Write a function that takes an input list and an interval &lt;em&gt;n&lt;/em&gt; and returns a new list with all the elements of the original list, in order, except that every &lt;em&gt;n&lt;/em&gt;th item has been removed. For instance, given the input list (1 2 3 4 5 6 7 8 9 10) and &lt;em&gt;n&lt;/em&gt; = 4, the function should return the list (1 2 3 5 6 7 9 10).&lt;/p&gt;&lt;/blockquote&gt;
&lt;blockquote&gt;&lt;p&gt;2. Write a function that takes an input list and returns a new list with all the elements of the original list, in order, except that in the case of duplicate elements all of the duplicates except the first has been removed. For instance, all of the following lists should be transformed into the list (1 2 3 4 5): (1 2 3 4 5), (1 1 2 3 4 5), (1 2 1 3 1 4 1 5 1), and (1 2 2 3 3 3 4 4 4 4 5 5 5 5 5).&lt;/p&gt;&lt;/blockquote&gt;
&lt;blockquote&gt;&lt;p&gt;3. Write a function that takes an input list and splits the list in half; for instance, given the input list (1 2 3 4 5) the two outputs are the lists (1 2) and (3 4 5). If the list has odd length the middle element can be placed in either half, at your option, so the lists (1 2 3) and (4 5) are an alternate acceptable solution for the example problem.&lt;/p&gt;&lt;/blockquote&gt;
&lt;p&gt;Your task is to write the three indicated functions. If you find that to be too simple, write one or more exercises for your student friends. When you are finished, you are welcome to &lt;a href=&quot;http://programmingpraxis.com/2013/05/07/three-list-exercises/2/&quot;&gt;read&lt;/a&gt; or &lt;a href=&quot;http://programmingpraxis.codepad.org/TiCFpjxN&quot;&gt;run&lt;/a&gt; a suggested solution, or to post your own solution or discuss the exercise in the comments below.&lt;/p&gt;
&lt;br /&gt;  &lt;a href=&quot;http://feeds.wordpress.com/1.0/gocomments/programmingpraxis.wordpress.com/7114/&quot; rel=&quot;nofollow&quot;&gt;&lt;img src=&quot;http://feeds.wordpress.com/1.0/comments/programmingpraxis.wordpress.com/7114/&quot; alt=&quot;&quot; border=&quot;0&quot; /&gt;&lt;/a&gt; &lt;img src=&quot;http://stats.wordpress.com/b.gif?host=programmingpraxis.com&amp;amp;blog=6649073&amp;amp;post=7114&amp;amp;subd=programmingpraxis&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>programmingpraxis</name>
			<uri>http://programmingpraxis.com</uri>
		</author>
	</entry>

	<entry>
		<title>Jay McCarthy: Creating Texture Atlases in Racket</title>
		<link rel="alternate" type="text/html" href="http://jeapostrophe.github.com/2013-05-06-texture--post.html"/>
		<id>http://jeapostrophe.github.com/2013-05-06-texture--post.html</id>
		<updated>2013-05-06T00:00:00+00:00</updated>
		<content type="html">&lt;p&gt;For the complete post, please visit &lt;a href=&quot;http://jeapostrophe.github.com/2013-05-06-texture--post.html&quot;&gt;http://jeapostrophe.github.com/2013-05-06-texture--post.html&lt;/a&gt;.&lt;/p&gt;</content>
		<author>
			<name>Jay McCarthy</name>
			<uri>http://jeapostrophe.github.com</uri>
		</author>
	</entry>

	<entry>
		<title>Jeremy Kun: Facebook Page, Google+ Community, and Whispers of Guest Posts</title>
		<link rel="alternate" type="text/html" href="http://jeremykun.com/2013/05/04/facebook-page-google-community-and-whispers-of-guest-posts/"/>
		<id>http://jeremykun.com/?p=3425</id>
		<updated>2013-05-05T01:01:42+00:00</updated>
		<content type="html">I recently decided to add a few new ways for readers to keep up with what’s going on at Math ∩ Programming. These come in the form of a Google+ community and a Facebook group. I also have a seasoned Twitter … &lt;a href=&quot;http://jeremykun.com/2013/05/04/facebook-page-google-community-and-whispers-of-guest-posts/&quot;&gt;Continue reading &lt;span class=&quot;meta-nav&quot;&gt;→&lt;/span&gt;&lt;/a&gt;&lt;img src=&quot;http://stats.wordpress.com/b.gif?host=jeremykun.com&amp;amp;blog=23934684&amp;amp;post=3425&amp;amp;subd=jeremykun&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>j2kun</name>
			<uri>http://jeremykun.com</uri>
		</author>
	</entry>

	<entry>
		<title>Jeremy Kun: Categories as Types</title>
		<link rel="alternate" type="text/html" href="http://jeremykun.com/2013/05/04/categories-as-types/"/>
		<id>http://jeremykun.com/?p=3390</id>
		<updated>2013-05-05T00:30:35+00:00</updated>
		<content type="html">In this post we’ll get a quick look at two ways to define a category as a type in ML. The first way will be completely trivial: we’ll just write it as a tuple of functions. The second will involve … &lt;a href=&quot;http://jeremykun.com/2013/05/04/categories-as-types/&quot;&gt;Continue reading &lt;span class=&quot;meta-nav&quot;&gt;→&lt;/span&gt;&lt;/a&gt;&lt;img src=&quot;http://stats.wordpress.com/b.gif?host=jeremykun.com&amp;amp;blog=23934684&amp;amp;post=3390&amp;amp;subd=jeremykun&amp;amp;ref=&amp;amp;feed=1&quot; alt=&quot;&quot; height=&quot;1&quot; border=&quot;0&quot; width=&quot;1&quot; /&gt;</content>
		<author>
			<name>j2kun</name>
			<uri>http://jeremykun.com</uri>
		</author>
	</entry>

</feed>
