Daniel Friedman

[Daniel Friedman @dfried00]

@katieporteroc

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

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...

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

The School of Informatics and Computing at Indiana University Bloomington invites applications for Chair of CS. http://t.co/DBfIoTwzTC

[Scheme Workshop @schemeworkshop]

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

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

@littlecalculist I've done that about 6 times!

[Maxime Chevalier @Love2Code]

A Micro-Manual for LISP - Not the Whole Truth - John McCarthy http://t.co/Ije8hhpT

[Daniel Friedman @dfried00]

Binders full of coal and oil? What a stark difference -- check out this #debate infographic: https://t.co/eLcCu9fw

[Daniel Friedman @dfried00]

The purely functional miniKanren that
generates quines, twines, and thrines
in now on http://t.co/jxS8OXvU.

[Daniel Friedman @dfried00]

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.

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

Don't ask, just take an hour off and just
watch.

http://t.co/lgNR8f0j

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

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

[Daniel Friedman @dfried00]

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.