Daniel Friedman

f new insights. That (0 1 1) is 6. So we called it the "Sixes Problem.

ways you can generate the value (0 1 1), then you should be able to find all the Quine numbers." He was right. And that observation led...

It was one of the most memorable since at this talk, Stuart Holloway made the following observation: "if you can write the relation tha...

@virtualwineknow please contact me, Dan Friedman, if you are indeed the person who named "snoc"

The School of Informatics and Computing at Indiana University Bloomington invites applications for Chair of CS. bit.ly/1AAImlU

When you early bird register for @clojure_conj, remember to register for #schemeworkshop as well

There's no problem so hard that choosing the wrong programming language can't make it harder.

@littlecalculist I've done that about 6 times!

A Micro-Manual for LISP - Not the Whole Truth - John McCarthy bit.ly/14tHmlf

Binders full of coal and oil? What a stark difference -- check out this #debate infographic: facebook.com/photo.php?fbid…

The purely functional miniKanren that generates quines, twines, and thrines in now on github.com/webyrd/quines.

We now have a fully tested and much simpler version of the Strange Loop talk. Soon the github will show the improvement. Be watching for it.

The uf.scm is 3 to 4 times slower than mk.scm on the really big logo and expo examples. Time for a miracle. :)

Pure union-find with a benign set-cdr! for compression terminates with all miniKanren test program! Appears to run faster than before.

Don't ask, just take an hour off and just watch. flowingdata.com/2012/02/20/liv…

Finally appear to have some semblance of union-find (functional) working. Getting ready to go to Sir Andre Geim's graphene talk.

Just got the union-find to work in a purely functional style for miniKanren, but I have not yet tested it for comparative efficiency.

I am up against an October 1st deadline. I hope It will be worth waiting for, but it has kept me from tweeting.

Been away for awhile. The semester was as exciting as any I have. I will be trying a bit harder to remember to tweet from time to time.