You could make a content sidebar with DHTML, the layer can be re-positioned dynamically and it's much more flexible than a sucky FRAME. I guess you want to index your content somehow. Take a look at the skins at csszengarden.com, it's a clean way to switch interfaces.
from your site: "My working memory is often clogged up with quantifiers. I have a hard time keeping track of which goal I am trying to prove, while proof assistants would put this right in front of me."
I think sometimes, the key to understanding a complicated mathematical concept is connect to why all those quantifiers ARE important. Often times working through some hairy statement to either use it or prove it will make me realize why all that hariness is necessary. (This is, of course, assuming it is a statement that is complicated for a useful reason.)
from your site: "My working memory is often clogged up with quantifiers. I have a hard time keeping track of which goal I am trying to prove, while proof assistants would put this right in front of me."
I think sometimes, the key to understanding a complicated mathematical concept is connect to why all those quantifiers ARE important. Often times working through some hairy statement to either use it or prove it will make me realize why all that hariness is necessary. (This is, of course, assuming it is a statement that is complicated for a useful reason.)
(no subject)
Date: 2005-08-15 11:11 pm (UTC)(no subject)
Date: 2005-08-15 11:13 pm (UTC)(no subject)
Date: 2005-08-15 11:17 pm (UTC)http://www.flickr.com/photos/51917107@N00/18720407/
if you must look unhappy.
(no subject)
Date: 2005-08-15 11:21 pm (UTC)"pants-in-wash" = "blah"?
(no subject)
Date: 2005-08-15 11:41 pm (UTC)layout improvement
Date: 2005-08-16 11:25 am (UTC)http://wannabegirl.org/firdamatic/
also, the picture kb size is over 100kb, that's way to big, you should compress it down to 15 kb or so, it makes the page more efficient in firefox
Re: layout improvement
Date: 2005-08-16 03:21 pm (UTC)I think I have to automatically generate all my HTMLs, or maybe use a link tag to get the code from an external file.
What I'd really like to see is a meta-interface that lets you switch between different kinds of interfaces at any point.
Re: layout improvement
Date: 2005-08-16 03:27 pm (UTC)This comment has nothing to do with website design
Date: 2005-08-19 09:32 pm (UTC)"My working memory is often clogged up with quantifiers. I have a hard time keeping track of which goal I am trying to prove, while proof assistants would put this right in front of me."
I think sometimes, the key to understanding a complicated mathematical concept is connect to why all those quantifiers ARE important. Often times working through some hairy statement to either use it or prove it will make me realize why all that hariness is necessary. (This is, of course, assuming it is a statement that is complicated for a useful reason.)
This comment has nothing to do with website design
Date: 2005-08-19 09:32 pm (UTC)"My working memory is often clogged up with quantifiers. I have a hard time keeping track of which goal I am trying to prove, while proof assistants would put this right in front of me."
I think sometimes, the key to understanding a complicated mathematical concept is connect to why all those quantifiers ARE important. Often times working through some hairy statement to either use it or prove it will make me realize why all that hariness is necessary. (This is, of course, assuming it is a statement that is complicated for a useful reason.)
(no subject)
Date: 2005-09-06 03:03 pm (UTC)(no subject)
Date: 2005-09-06 04:14 pm (UTC)(no subject)
Date: 2005-09-06 04:36 pm (UTC)You have lots of better pics.
(no subject)
Date: 2005-09-06 04:48 pm (UTC)what's your favorite from here?
http://www.flickr.com/photos/51917107@N00/tags/gustavo/
(no subject)
Date: 2005-09-06 04:51 pm (UTC)Never put up a photo taken by yourself :)
(no subject)
Date: 2005-09-06 04:54 pm (UTC)(no subject)
Date: 2005-09-06 05:02 pm (UTC)Well then use the other one I suggested ages ago. Check the thread!
(no subject)
Date: 2005-09-06 05:50 pm (UTC)Maybe I'll upload more good pics when I get home.
how 'bout this: http://www.flickr.com/photos/51917107@N00/34373777/ ?
(no subject)
Date: 2005-09-06 08:24 pm (UTC)Go on, choose one taken by someone else :)
In the one you have at the moment you look absolutely stoned. Also resize the goddamn thing!!!1111!111