#8#4 la IA destruyendo trabajos y los remotos los primeros, el invierno este loquísimo del clima, el verano a 40 grados, las inmobiliarias diciendo que van a caer pero nada no va a caer
Os traduzco: Dicen que no van a caer para que los especuladores no bajen precios
#64#78 Si después de lo de Epstein, de ver cómo trabaja AIPAC tumbando congresistas opuestos, el regalo de la última red social (tiktok) que no estaba bajo control judío a uno de los mejores amigos de Bibi, ver a medio occidente quemando capital diplomático y reputación tapando lo de gaza sin ningún beneficio, a las puertas de una guerra abierta con Irán para hacerle el favor a Israel, etc aún no lo captáis ya no sé ni para qué tenéis ojos en la cara. Pero no pasa nada, en todo en la vida hay los que están rezagados en la parte final de la curva, yo por ejemplo aún no tengo patinete eléctrico, soy un rezagado en eso.
#64 Es discurso de odio, y por desgracia la tolerancia al mismo está muy extendida, incluso entre personas progresistas. Votar positivo esa mierda es como aplaudir a un nazi que agita una esvástica, porque una parte de lo que dice te gusta.
Aplaudir a nazis no va a solucionar ningún problema, al contrario.
#7 El artículo no dice nada de eso. En todo caso habla de la oportunidad que ha visto la industria farmacéutica para tratar enfermedades creadas por el ritmo de vida esclavo, pero nada de una intencionalidad forzada.
#55 si, claro que existe. Se usan analizadores AST/SAST, se compila con diferentes flags para encontrar vulnerabilidades de concurrencia y acceso de memoria indebidos, analizadores de dependencias de terceros, contenedores, gestores de contenedores, de buenas prácticas en el código, y por supuesto, revisiones de pares.
Todo eso se esta automatizando aún más usando modelos llm en modo consejo de agentes. Le dices un repositorio y el motor analiza todo por completo, genera pull requests basadas en todo lo anterior. El término se llama Test driven hardening.
Pero, esos analizadores necesitan leer el código de alto nivel, leer las especificaciones. Si todo el código generado por unos modelos que aún no existen es a código máquina directo, no existe la forma de comprobar si las especificaciones son correctas y cumplen todo lo pedido.
#34 ¿cómo verificas que esas especificaciones claras acaban en el binario? ¿Quién lo hace?, ¿cómo lo hace? ¿Cómo se verifica el método usado?
¿Comprendes que un LLM se entrena con texto? Para que funcionara, tendrías primero que entrenar un modelo con todos los binarios, de todos los programas existentes, con sus bugs, para que luego dicho modelo pudiera generar ese código binario. Y nadie ni nada en el mundo sería capaz de depurar los bugs.
Si la IA genera un binario de 500Mb, y algo falla o no funciona acorde a la especificación, ¿cómo lo arreglas? ¿Generas otra vez y esperas que esta vez haya suerte?
¿Vas a tirar para adelante con una caja negra donde es imposible auditar qué está haciendo realmente la máquina? ¿De verdad te parece remotamente un avance convertir en una caja negra todo el software?
Esto sin entrar en que el lenguaje natural es vago. Y si te has dedicado mínimamente a proyectos de software, sabrás de sobra que el cliente rara vez sabe exactamente lo que quiere en términos de casos de borde, seguridad y concurrencia, y que a menudo pide cosas que son contradictorias, y no es un trabajo sencillo hacerle entender las posibilidades reales.
#34
1- La lógica de negocio de un programa necesita expresarse de forma explícita y sin ambigüedades.
2- Un lenguaje natural está lleno de ambigüedades. Puedes definir reglas explícitas a base de matizar mucho las instrucciones para eliminar toda ambigüedad y cubrir todos los casos y escenarios.
3- Para ahorrar tiempo y trabajo, mejor usar un lenguaje formal que no sea ambiguo.
4- El camino lógico es que se crearán nuevos lenguajes formales, sin ambigüedades, que permitan describir la lógica de forma sucinta y sin llevar a errores, y usar esos lenguajes como prompts.
Luego, el LLM expandirá esos prompts formales a todo el boilerplate subyacente en cualquier lenguaje de programación que se use por debajo.
Los prompts kilométricos en lenguaje natural que tienes que parchear y repetir mil veces porque no cubriste éste o aquél caso serán para la gente que no es capaz de aprender un lenguaje formal. Ineficientes y propensos a errores, se convertirán en una nota al pie en la historia. Un breve lapso donde por un momento una caterva de "vibe-coders" generó un montón de basura inmantenible.
#166 Hombre, claro, es de primero: "Hecha la ley, hecha la trampa". Y el día que te pillen, a devolver todas las pagas, además de una temporada de cárcel para ti y tu amigo.
#4 ¿No tiene otra? Podía haber reculado sin tanta lamida de escroto, ha dicho cosas repugnantes: al final, tragará con todo, aplicará el programa de Vox hasta las últimas consecuencias.
#6 El convenio puede decir misa. El art. 37.9 del LET cubre el supuesto de esa trabajadora. Quien le dice que no había restricciones de movilidad lo esta confundiendo con el 37.5 g)
Las actividades que mencionas están fuera del ámbito del LET en virtud del artículo 3 del mismo)
#6#2 O encerrar a sus hijos en el sótano e ir a trabajar.
O dejarlos en una gasolinera y después del trabajo ya pasa a recogerlos.
O dejarlos en la jaula de bolas de un McDonalds
O llevárselos al trabajo y dejarlos en el despacho de su jefe,
Opciones tenía, pero decidió pedir un día de permiso. Qué egoista.
#10 JuanCarVen 
