"La programación de verdad es C y ensambladurr"
Los cbros se espantan cuando les hablas de tipos de datos algebraicos, tipos de orden superior o teoría de categorías.
Los cbros se espantan cuando les hablas de tipos de datos algebraicos, tipos de orden superior o teoría de categorías.
January 9, 2026 at 10:27 PM
"La programación de verdad es C y ensambladurr"
Los cbros se espantan cuando les hablas de tipos de datos algebraicos, tipos de orden superior o teoría de categorías.
Los cbros se espantan cuando les hablas de tipos de datos algebraicos, tipos de orden superior o teoría de categorías.
El odio que sienten muchos mexicanos por Francia es o chovinismo, o envidia; o ambos. El Estado mexicano desde su independencia siempre fue una versión pobre y chafa del Estado francés.
January 8, 2026 at 5:58 AM
El odio que sienten muchos mexicanos por Francia es o chovinismo, o envidia; o ambos. El Estado mexicano desde su independencia siempre fue una versión pobre y chafa del Estado francés.
En diciembre encontré al fin un buffet que no apesta, el Kurai de San Pedro Garza García (que está en la plaza que no está muerta, no en el backroom de al lado).
January 8, 2026 at 5:26 AM
En diciembre encontré al fin un buffet que no apesta, el Kurai de San Pedro Garza García (que está en la plaza que no está muerta, no en el backroom de al lado).
Yo me introduje a la programación funcional con Lisp y Biwascheme, pero además en el bachillerato hace muchos años me tocó escribir una aplicación .NET y a diferencia del resto del grupo, decidí usar F#.
January 8, 2026 at 12:43 AM
Yo me introduje a la programación funcional con Lisp y Biwascheme, pero además en el bachillerato hace muchos años me tocó escribir una aplicación .NET y a diferencia del resto del grupo, decidí usar F#.
Lo único que no me gusta de Elixir es que no tiene currying por defecto y no soporta aplicación parcial (esto siendo un lenguaje FUNCIONAL). Así que si quieres algo similar hay que usar clojures como en Typescript pero con la sintaxis &(&1 * 2)
January 7, 2026 at 11:53 PM
Lo único que no me gusta de Elixir es que no tiene currying por defecto y no soporta aplicación parcial (esto siendo un lenguaje FUNCIONAL). Así que si quieres algo similar hay que usar clojures como en Typescript pero con la sintaxis &(&1 * 2)
Latinoamérica necesita más transexuales poseídas por un itgirlismo insoportable porque la mayoría de las que hay actualmente no son "it" (en su sentido original británico).
January 7, 2026 at 11:23 PM
Latinoamérica necesita más transexuales poseídas por un itgirlismo insoportable porque la mayoría de las que hay actualmente no son "it" (en su sentido original británico).
Las tradiciones porfirianas oprimen como crema pastelera el cerebro de los chilangos.
January 7, 2026 at 10:49 PM
Las tradiciones porfirianas oprimen como crema pastelera el cerebro de los chilangos.
Créanlo o no, dios es muy poco relevante para la filosofía, sobre todo las filosofías tranquilas como diría Deleuze. La inexistencia de dios es la condición a partir de la cual los verdaderos problemas filosóficos surgen. Me sorprende que aún hoy haya gente dándole vueltas al ateos vs cristianos.
January 7, 2026 at 9:21 PM
Créanlo o no, dios es muy poco relevante para la filosofía, sobre todo las filosofías tranquilas como diría Deleuze. La inexistencia de dios es la condición a partir de la cual los verdaderos problemas filosóficos surgen. Me sorprende que aún hoy haya gente dándole vueltas al ateos vs cristianos.
Lo que decía Wittgenstein en Investigaciones Filosóficas sobre que los juegos no pueden ser definidos, etc.
Lo mismo se puede decir de otras cosas.
Lo mismo se puede decir de otras cosas.
January 7, 2026 at 6:09 PM
Lo que decía Wittgenstein en Investigaciones Filosóficas sobre que los juegos no pueden ser definidos, etc.
Lo mismo se puede decir de otras cosas.
Lo mismo se puede decir de otras cosas.
Pero esto es muy importante porque nos dice mucho sobre por qué la inteligencia artificial no es ni "más inteligente que los humanos", ni "descubre verdades mejor que nosotros" (enunciados a menudo reproducidos por techbros, empresarios y departamentos de marketing).
January 7, 2026 at 5:38 PM
Pero esto es muy importante porque nos dice mucho sobre por qué la inteligencia artificial no es ni "más inteligente que los humanos", ni "descubre verdades mejor que nosotros" (enunciados a menudo reproducidos por techbros, empresarios y departamentos de marketing).
Entonces la lógica es una disciplina creatriz ¿no? Uno no puede decir que se basa en "lógica y hechos" sin caer en una contradicción. La lógica no es sobre los hechos sino sobre la validez de los argumentos. Los hechos particulares no tienen ningún poder inferencial si no son sobre algo más que...
January 7, 2026 at 5:02 PM
Entonces la lógica es una disciplina creatriz ¿no? Uno no puede decir que se basa en "lógica y hechos" sin caer en una contradicción. La lógica no es sobre los hechos sino sobre la validez de los argumentos. Los hechos particulares no tienen ningún poder inferencial si no son sobre algo más que...
¿Se acuerdan lo que les mencionaba de Émilie Carrière sobre la diferencia entre pensar y pensar en? Creo que tiene una conexión (quizá indirecta) muy interesante con la lógica russeliana. Aún no me leo el Principia Mathematica completo, pero hay un fragmento muy interesante donde...
January 7, 2026 at 4:35 PM
¿Se acuerdan lo que les mencionaba de Émilie Carrière sobre la diferencia entre pensar y pensar en? Creo que tiene una conexión (quizá indirecta) muy interesante con la lógica russeliana. Aún no me leo el Principia Mathematica completo, pero hay un fragmento muy interesante donde...
En términos del cálculo lambda, no existe ningún algoritmo que pueda decidir si dos términos son equivalentes. Y de eso se deriva lo que todos los de CS saben, que no hay un algoritmo que pueda determinar si un programa funcional alcanzará una forma normal o si será beta-reducible infinitamente.
January 7, 2026 at 3:48 PM
En términos del cálculo lambda, no existe ningún algoritmo que pueda decidir si dos términos son equivalentes. Y de eso se deriva lo que todos los de CS saben, que no hay un algoritmo que pueda determinar si un programa funcional alcanzará una forma normal o si será beta-reducible infinitamente.
Está muy curioso cómo Leibniz casi inventa la programación. Y digo casi porque hizo la pregunta correcta, pero la respuesta la dieron Gödel, Turing y Church. Si ustedes son de ciencias de la computación saben a qué me refiero, al Entscheidungsproblem.
January 7, 2026 at 3:42 PM
Está muy curioso cómo Leibniz casi inventa la programación. Y digo casi porque hizo la pregunta correcta, pero la respuesta la dieron Gödel, Turing y Church. Si ustedes son de ciencias de la computación saben a qué me refiero, al Entscheidungsproblem.
Los geopolitontos en este caso cometen lo mismo que los llamados filósofos racionalistas, parten de abstracciones como el Uno, la Verdad, el Sujeto, etc. (pero en el caso de los primeros los imperios, la dialéctica de Estados, etc.) para explicar cómo esos conceptos se realizan en lo concreto, y...
January 5, 2026 at 3:04 PM
Los geopolitontos en este caso cometen lo mismo que los llamados filósofos racionalistas, parten de abstracciones como el Uno, la Verdad, el Sujeto, etc. (pero en el caso de los primeros los imperios, la dialéctica de Estados, etc.) para explicar cómo esos conceptos se realizan en lo concreto, y...
Cada vez estoy más convencida de que la geopolítica es puro slop y espectáculo. Tiene tintes de reificación por donde se le vea. Occidente vs oriente, periferia vs imperial core, imperio vs imperio. La obsesión con la geopolítica deriva de la incapacidad de la gente de entender que...
January 5, 2026 at 2:48 PM
Cada vez estoy más convencida de que la geopolítica es puro slop y espectáculo. Tiene tintes de reificación por donde se le vea. Occidente vs oriente, periferia vs imperial core, imperio vs imperio. La obsesión con la geopolítica deriva de la incapacidad de la gente de entender que...
Una de las mayores contradicciones que vivimos en carne propia es que estamos forzados a creer que el mundo nos puede proveer infinitamente de recursos y al mismo tiempo tenemos que creer en la escasez como algo dado y natural.
January 5, 2026 at 1:53 PM
Una de las mayores contradicciones que vivimos en carne propia es que estamos forzados a creer que el mundo nos puede proveer infinitamente de recursos y al mismo tiempo tenemos que creer en la escasez como algo dado y natural.
Reposted by Olivia
Descriptions are not statements, they are visibilities. On my side, I have some very eminent logicians, Bertrand Russell, for example, who in his book that founded modern logic, ‘Principles of Mathematics’, already indicated the difference in nature between propositions and descriptions.
December 31, 2025 at 11:28 PM
Descriptions are not statements, they are visibilities. On my side, I have some very eminent logicians, Bertrand Russell, for example, who in his book that founded modern logic, ‘Principles of Mathematics’, already indicated the difference in nature between propositions and descriptions.
Hay algo sobre la música de Foreign Fields que sencillamente me hace sentir muy cómoda.
January 5, 2026 at 4:46 AM
Hay algo sobre la música de Foreign Fields que sencillamente me hace sentir muy cómoda.
Hablamos mucho de aceleracionismo y volver al mono, a la tradición o al barbarismo, pero vale la pena detenernos antes a preguntarnos por un momento: ¿qué clase de humanidad estamos produciendo y qué rol sirve? ¿por qué insistimos en autoengañarnos y negar que el mundo es algo que hacemos?
January 4, 2026 at 9:31 PM
Hablamos mucho de aceleracionismo y volver al mono, a la tradición o al barbarismo, pero vale la pena detenernos antes a preguntarnos por un momento: ¿qué clase de humanidad estamos produciendo y qué rol sirve? ¿por qué insistimos en autoengañarnos y negar que el mundo es algo que hacemos?
El rol de la mercadotecnia, la ciencia de datos, el desarrollo de software y la economía no es tanto ser disciplinas creatrices como sí de convertir la violencia y agresión abierta contra las masas en una necesidad racional o inevitabilidad del curso natural de las cosas.
January 4, 2026 at 9:25 PM
El rol de la mercadotecnia, la ciencia de datos, el desarrollo de software y la economía no es tanto ser disciplinas creatrices como sí de convertir la violencia y agresión abierta contra las masas en una necesidad racional o inevitabilidad del curso natural de las cosas.
Desde el siglo XX venimos viendo cómo procesos de exterminio pueden ser burocratizados, industrializados y automatizados. Lo que veremos lo que resta del siglo XXI solo será una intensificación de esto, con perfilamiento, vigilancia y modelos de IA. Un auténtico organismo cibernético de opresión.
January 4, 2026 at 9:13 PM
Desde el siglo XX venimos viendo cómo procesos de exterminio pueden ser burocratizados, industrializados y automatizados. Lo que veremos lo que resta del siglo XXI solo será una intensificación de esto, con perfilamiento, vigilancia y modelos de IA. Un auténtico organismo cibernético de opresión.
Estamos en un bucle infernal donde la gente reacciona a las reacciones de otros que reaccionan a reacciones de otros. Y lo único claro es que todos están implícitamente de acuerdo en continuar el show. La industria cultural lo ha vuelto a hacer.
January 4, 2026 at 7:52 PM
Estamos en un bucle infernal donde la gente reacciona a las reacciones de otros que reaccionan a reacciones de otros. Y lo único claro es que todos están implícitamente de acuerdo en continuar el show. La industria cultural lo ha vuelto a hacer.
Lo que no extrañaba era la carencia absoluta de espacio peatonal. Porque sí, Monterrey sigue sin tener espacios peatonales y mucha gente sigue siendo muy supersticiosa y retrógrada. Incluso Barrio Antiguo que supuestamente supuestamente es "el centro bonito" peatonalizado permite carros en...
January 4, 2026 at 5:44 PM
Lo que no extrañaba era la carencia absoluta de espacio peatonal. Porque sí, Monterrey sigue sin tener espacios peatonales y mucha gente sigue siendo muy supersticiosa y retrógrada. Incluso Barrio Antiguo que supuestamente supuestamente es "el centro bonito" peatonalizado permite carros en...
Fueron dos lindas semanas de solo disfrutar la vida, ahora de regreso a la afrancesada CDMX y vida laboral aburrida en mi departamento.
January 4, 2026 at 5:27 PM
Fueron dos lindas semanas de solo disfrutar la vida, ahora de regreso a la afrancesada CDMX y vida laboral aburrida en mi departamento.