(no subject)

[chrisamaphone]

tonight i made brownies and proved a theorem i have been working on for three years.

Comments

[dreaminventor.livejournal.com]

Um. Wow. That's probably the best entry I've seen all day.

[bubblingbeebles.livejournal.com]

congrats! so what's next - soufflés?

[chrisamaphone]

apply a known machine learning technique to a new dessert

[wjl.livejournal.com]

what, k-means?

[jcreed.livejournal.com]

Granola Nut Clustering? Support Vector Meringues? Hidden Markov Malteds?

[xsavvyx.livejournal.com]

CONGRATS!!!!

[wjl.livejournal.com]

woooooooooooooooo!

[lindseykuper]

Woooooohoooooo! Does this mean LFinLF is drawing to a close?

[chrisamaphone]

indeed!

[jcreed.livejournal.com]

Congratulations, chrisamaphone! That is some truly impressive perseverance.

[simrob.livejournal.com]

What he said!

[0436.livejournal.com]

:D

[rincebrain.livejournal.com]

Well done.

What order did you do these in?

[chrisamaphone]

brownies; theorem

[roseandsigil.livejournal.com]

Nice sequencing operator.

[gwillen.livejournal.com]

I helped!

With the brownies. Not the theorem. ;-)

[cmouse.livejournal.com]

Woo!

[jgrafton]

those must be some pretty epic brownies if you've been working on them for three years.

congrats!

[carmiendo.livejournal.com]

ahhhhhhh congratulations!!!!!!!!!!111

[xhannahbethx]

YAAAAAAAAAAAAY!! Congratulations! :)

[psifenix.livejournal.com]

Yay theorem proofz!

[nekokaze.livejournal.com]

Congratulations!

[roseandsigil.livejournal.com]

Yes. Congratulations!

[neelk]

Congratulations! How does it feel to know more about representing type theory in type theory than basically anybody else on Earth?

[gustavolacerda.livejournal.com]

congratulations! can I have a link to your research blog?

[chrisamaphone]

http://lambdamaphone.blogspot.com/

but i haven't updated it with the news. :)