http://jhw.vox.com/library/posts/page/1/ fantasy, beer and functional code by j h woodyatt en Vox Sat, 29 Aug 2009 13:24:46 -0700 Copyright 2009 http://blogs.law.harvard.edu/tech/rss http://jhw.vox.com/library/post/jackie-speier-disappoints-me.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/jackie-speier-disappoints-me.html?_c=feed-rss http://jhw.vox.com/library/post/jackie-speier-disappoints-me.html?_c=feed-rss Sat, 29 Aug 2009 13:24:46 -0700 My member of the U.S. House of Representatives is Jackie Speier (D-San Mateo). I have just returned from her Families and Health Care Forum Event at Burton Park in San Carlos, which was attended by a few hundred constituents of which only a handf... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/jackie-speier-disappoints-me.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f219011018690ed4860f?_c=feed-rss">Send to a friend</a> </p> politics congress villainy spier hr 3200 health insurance reform http://jhw.vox.com/library/post/persistent-union-find-data-structure.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/persistent-union-find-data-structure.html?_c=feed-rss http://jhw.vox.com/library/post/persistent-union-find-data-structure.html?_c=feed-rss Thu, 02 Jul 2009 12:05:23 -0700 In my previous post, I whined about how it didn't seem to me that a pure-functional union-find data structure should be so hard to make as computationally efficient as the well-known imperative algorithms. After some wonkulation on the subject, I... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/persistent-union-find-data-structure.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f219011018469553860f?_c=feed-rss">Send to a friend</a> </p> code functional programming union-find http://jhw.vox.com/library/post/pure-functional-disjoint-set-union-find.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/pure-functional-disjoint-set-union-find.html?_c=feed-rss http://jhw.vox.com/library/post/pure-functional-disjoint-set-union-find.html?_c=feed-rss Wed, 01 Jul 2009 11:26:26 -0700 ...is apparently not terribly efficient. This makes me sad. The problem doesn't seem like it should be as hard as it appears to be. This makes me more sad. I've been doing a lot of pure functional programming. I wonder if I can discover a pu... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/pure-functional-disjoint-set-union-find.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f21901101845c41d860f?_c=feed-rss">Send to a friend</a> </p> code algorithms functional programming http://jhw.vox.com/library/post/i-am-officially-weirded-out.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/i-am-officially-weirded-out.html?_c=feed-rss http://jhw.vox.com/library/post/i-am-officially-weirded-out.html?_c=feed-rss Tue, 26 May 2009 20:17:25 -0700 Apparently, the ghost of Jon Postel is leading a pack of superheroes determined to defend the Internet from Fear Uncertainty and Doubt. Promote The Internet Way with Team ARIN! Welcome to the world of Team ARIN! We hope you find these publicatio... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/i-am-officially-weirded-out.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f2190110165187a2860c?_c=feed-rss">Send to a friend</a> </p> fantasy villainy kill me now ietf ipv6 http://jhw.vox.com/library/post/a-fine-rant-for-colleagues-to-read.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/a-fine-rant-for-colleagues-to-read.html?_c=feed-rss http://jhw.vox.com/library/post/a-fine-rant-for-colleagues-to-read.html?_c=feed-rss Tue, 28 Apr 2009 16:25:52 -0700 The Problem With Software Transactional Memory: Your Languages Still Suck. He's right, too. Parallelism is a bitch. Anyone who has ever had this experience... Classic threads and locks (or threads and synchronized, for you Java programmers) l... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/a-fine-rant-for-colleagues-to-read.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f2190110164300d3860c?_c=feed-rss">Send to a friend</a> </p> code computer science parallelism language design http://jhw.vox.com/library/post/apparently.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/apparently.html?_c=feed-rss http://jhw.vox.com/library/post/apparently.html?_c=feed-rss Wed, 18 Mar 2009 16:53:53 -0700 I am:Kurt VonnegutFor years, this unique creator of absurd and haunting tales denied that he had anything to do with science fiction. Which science fiction writer are you? For the record, yes I do continue to insist that I'm a writer of fan... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/apparently.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f21901101637566d860c?_c=feed-rss">Send to a friend</a> </p> sf/f fiction meme vector http://jhw.vox.com/library/post/an-abstract-machine.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/an-abstract-machine.html?_c=feed-rss http://jhw.vox.com/library/post/an-abstract-machine.html?_c=feed-rss Thu, 12 Mar 2009 21:16:04 -0700 I seem to have one. Here's the OCaml signature. The module file is all of 250 lines at this point, but I expect to define a lot of built-in processes for the preamble. That will bloat out the module file. type 'a t module Op: sig val ( >>= )... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/an-abstract-machine.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f219011015f0c51d860b?_c=feed-rss">Send to a friend</a> </p> computer science language design π-calculus http://jhw.vox.com/library/post/hey-ecuador.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/hey-ecuador.html?_c=feed-rss http://jhw.vox.com/library/post/hey-ecuador.html?_c=feed-rss Tue, 10 Mar 2009 10:15:20 -0700 I want my coins back. <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/hey-ecuador.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f219011017b04894860e?_c=feed-rss">Send to a friend</a> </p> rant currency http://jhw.vox.com/library/post/toward-an-abstract-syntax.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/toward-an-abstract-syntax.html?_c=feed-rss http://jhw.vox.com/library/post/toward-an-abstract-syntax.html?_c=feed-rss Mon, 09 Mar 2009 18:43:12 -0700 I continue to noodle around with an abstract syntax for types in my internal language. (Sigh. This is taking forever.) Here's what I'm looking at now: τ ::= α | ν⟨σ⟩ | λ(σ)σ ::= ∀δ,σ | ∃α,σ | τ,σ | ϵδ ::= α | α = τ | α > τ Explanation. A ty... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/toward-an-abstract-syntax.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f219011017b00bec860e?_c=feed-rss">Send to a friend</a> </p> computer science language design π-calculus http://jhw.vox.com/library/post/monads-in-the-%CF%80-calculus.html?_c=feed-rss nobody@vox.com(j h woodyatt) http://jhw.vox.com/library/post/monads-in-the-%CF%80-calculus.html?_c=feed-rss http://jhw.vox.com/library/post/monads-in-the-%CF%80-calculus.html?_c=feed-rss Mon, 09 Mar 2009 09:10:44 -0700 While I was in the shower this morning, it occurred to me that I should make a note for myself about how monads work in the polyadic D-fusion calculus. The type construction is simply a channel (να) for sending a value of the underlying type. ... <p style="clear:both;"> <a href="http://jhw.vox.com/library/post/monads-in-the-%CF%80-calculus.html?_c=feed-rss#comments">Read and post comments</a> | <a href="http://www.vox.com/share/6a00c225245f69f2190110180ee8c3860f?_c=feed-rss">Send to a friend</a> </p> computer science language design π-calculus