gwillen: (Default)
gwillen ([personal profile] gwillen) wrote2011-10-11 03:34 pm

(no subject)

I know I never post, but this is far too beautiful not to link to, and you should read it.

http://worrydream.com/LadderOfAbstraction/

(I like it totally independent of the random dig at the practicality of type theory, near the end. But I did laugh.)

[identity profile] http://users.livejournal.com/_tove/ 2011-10-11 10:46 pm (UTC)(link)
Cute!
ikeepaleopard: (Default)

[personal profile] ikeepaleopard 2011-10-12 01:11 am (UTC)(link)
I had a meeting or two with him at Apple. Smart guy. You might also like http://worrydream.com/KillMath/

[identity profile] http://users.livejournal.com/_tove/ 2011-10-12 02:37 pm (UTC)(link)
this is so good
(deleted comment)
lindseykuper: Photo of me outside. (Default)

[personal profile] lindseykuper 2011-10-13 02:23 am (UTC)(link)
Yeah. Dan Friedman says that the reason he's been excited about logic programming, relational programming, and proof assistants for the last ten years is because of the possibilities for interactive development and discovery. He often speaks of the "accidental proofs" that just turn up when a curious person starts messing with miniKanren.
ext_110843: (mascot bob)

[identity profile] oniugnip.livejournal.com 2011-10-12 02:55 am (UTC)(link)
That's so huge. We need generalizations of this sort of tool.

Maybe Processing is a good step in that direction, or StarLogo...
ext_110843: (jacked in)

[identity profile] oniugnip.livejournal.com 2011-10-12 03:00 am (UTC)(link)
Oh wow, or the rest of the software on his site!

*inspired!*
lindseykuper: Photo of me outside. (Default)

[personal profile] lindseykuper 2011-10-12 04:16 pm (UTC)(link)
Or the writing, or the pictures, or everything.

At Mozilla, there's someone who showed people this page as an argument for why they should come work for Mozilla.
ext_110843: (happy robot)

[identity profile] oniugnip.livejournal.com 2011-10-12 01:58 pm (UTC)(link)
I like Scratch a lot!

... but I don't think it's great for this sort of task, playing with algorithms at different levels of abstraction -- making a program with Scratch is a pretty concrete exercise?

(kids, once they get into it, can make some pretty crazy stuff...)