Juan Carlos Muñoz Ilabaca <[EMAIL PROTECTED]> wrote: > Disque el Lunes 10 Octubre 2005 23:43, Horst von Brand escribiosese: > > Alvaro Herrera <[EMAIL PROTECTED]> wrote: > > > Horst von Brand escribio: > > > > Alvaro Herrera <[EMAIL PROTECTED]> wrote:
[...] > > > Esta aproximacion me ha permitido > > > resolver problemas grandes, y usar depuradores para ver errores en mis > > > soluciones. El paradigma "programacion por contrato" ayuda mucho en > > > este aspecto, y el depurador es una buena herramienta para buscar nuevas > > > clausulas para los contratos, y ver donde estan fallando. > > > > Podrias detallar? No veo como un debugger ayude alli [...] > La programación con contratos permite mantener la consistencia de los > metodos de las clases, No. Se refiere a que cada interfaz se toma como un contrato: Al efectuar esta operacion, siempre se cumplen X condiciones, con ese punto de partida los resultados cumplen Y condiciones. Y no, no requiero que me expliquen en que consiste, o como se puede implementar a traves del (bastante debil) mecanismo de assert.h en C o C++, me interesa saber como un debugger pueda ayudar a definir los contratos. Por definicion, un contrato es una propiedad /global/ (aplicable a (casi) todos los estados del programa), un debugger te permite ver (parte de) una situacion /puntual/ (un estado del programa), y no veo la relacion. Pensar globalmente es lo que IMHO distingue al verdadero programador del mero trazador de programas, el debugger es la herramienta por excelencia del ultimo. Uno de los problemas de esto es que si se quiere llevar la programacion por contrato a su conclusion final, terminas con contratos aun mas grandes y complejos que lo que describen, con lo que en vez de simplificar, complica. Por algo lenguajes que lo incorporan como parte integrante nunca llegaron a ser populares... Su aplicacion cuerda es mas o menos informal, y llevar eso a assert() (o contratos formales) es bastante trabajo. Una opcion practica puede ser splint (<http://www.splint.org> da punteros, muchas distribuciones lo traen), o hacer algo con sparse (el sistema de revision del nucleo Linux). [...] > para el caso del uso de malloc, para mi ha sido muy importante el tema > del debug, debido a que aveces uno no hace un free donde corresponde y al > final el error se muestra varias lineas (cientas en mi caso) despues sin > tener como saber por que se cayó ahÃ. En mi caso, los problemas por mala administracion de memoria han sido poco frecuentes (si, cuando comence a usarla cometi cualquier cantidad de aberraciones, ya no). -- Dr. Horst H. von Brand User #22616 counter.li.org Departamento de Informatica Fono: +56 32 654431 Universidad Tecnica Federico Santa Maria +56 32 654239 Casilla 110-V, Valparaiso, Chile Fax: +56 32 797513 From [EMAIL PROTECTED] Tue Oct 11 11:33:50 2005 From: [EMAIL PROTECTED] (Horst von Brand) Date: Tue Oct 11 11:32:50 2005 Subject: Visual Basis para LINUX In-Reply-To: Your message of "Tue, 11 Oct 2005 00:14:40 -0300." <[EMAIL PROTECTED]> Message-ID: <[EMAIL PROTECTED]> Alvaro Gajardo <[EMAIL PROTECTED]> wrote: > El 10/10/05, Horst von Brand<[EMAIL PROTECTED]> escribió: > > Javier Uribe <[EMAIL PROTECTED]> wrote: > > [...] > > > Claro. Y si te gusta compilar, gentoo is your friend. > > Hasta que te encuentres con problemas, entonces resulta que nadie mas en el > > mundo tiene tu configuracion exacta... > cierto ??? pero no es más entretenido ???... A mi no me entretiene particularmente el complicarme la vida por las puras. > aunque darse de palos en > la cabeza por cosas que alguien ya solucionó no tiene sentido... Maxime si mis cabezazos /por definicion/ no pueden servirle a (casi) nadie mas. Esta actitud me recuerda a los "fisicoculturistas" de algun programa humoristico de estos lados en epocas pasadas... > pero > cada uno tiene su forma de aprender... y si no me la puedo, pregunto o > no ??? porque nadie nació sabiendo... Aprender esta bien, pero algun dia querras hacer uso de lo aprendido. Y alli interesara tener una plataforma estable, que ademas /no/ eres el unico que sabe como funciona y tiene alguna opcion de arreglarla (mas aun si /tienes/ que entregar {tarea,proyecto,...} ASAP, y resulta que el sistema decidio salir a almorzar, o es totalmente incompatible con donde se usara el resultado; la Ley de Murphy asegura que la peor de ambas ocurrira mas temprano que tarde...) Que tiene de malo aportar p.ej. analizando realmente /un/ programa particular, correr las versiones du jour, reportar problemas y enviar parches? Eso se puede hacer perfectamente bien con la distribucion mas conservadora, p.ej. RHEL o SLES, integramente instalada de binarios certificados. Porque esto de "compilar todo uno mismo" te mantiene ocupado por un buen tiempo, pero no te da profundidad de conocimiento de nada, menos aun como para poder hacer un aporte real. Nunca confundir "tiempo invertido en aprender" con "cantidad aprendida". Tampoco confundir "aprendizaje realmente util" con lo anterior. -- Dr. Horst H. von Brand User #22616 counter.li.org Departamento de Informatica Fono: +56 32 654431 Universidad Tecnica Federico Santa Maria +56 32 654239 Casilla 110-V, Valparaiso, Chile Fax: +56 32 797513 From [EMAIL PROTECTED] Tue Oct 11 11:22:29 2005 From: [EMAIL PROTECTED] (Zuir DJ) Date: Tue Oct 11 12:16:31 2005 Subject: Tarjeta de Tv en linux In-Reply-To: <[EMAIL PROTECTED]> References: <[EMAIL PROTECTED]> <[EMAIL PROTECTED]> Message-ID: <[EMAIL PROTECTED]> On 10/11/05, Rodrigo Pérez <[EMAIL PROTECTED]> wrote: > On Mon, 10 Oct 2005 00:28:59 +0200 > Juan Pablo San Martín <[EMAIL PROTECTED]> wrote: > > > Hola: > > > > He intentado configurar una tarjeta de tv, con el chip phillips 7130. > > El modulo saa7134 esta cargado, pero no hay caso que logre recepcionar > > algun canal de cable. Segun averigue, la tabla de frecuencias que se usa > > aqui en chile es usa broadcast. Pero no hay caso, no recibe. Solo una > > vez llego a sintonizar algo, pero despues desaparecio. > > > > Cualquier ayuda de alguien que haya configurado la tarjeta de tv aca > > en Chile sera bien recibida. > > > > Me sumo a la consulta, me pasa exactamente lo mismo, según el driver de win, > el chip > > que tengo es el 7135. Yo tengo funcionando esa tarjeta desde hace un buen tiempo. Comprueba que en modprobe.conf aparezca: alias char-major-81 saa7134 SI es así, coloca esta línea debajo: options saa7134 card=2 tuner=2 Saludos -- Zuirdj
