#1#2#1#2 En el anuncio de Terence Tao en mastodon, parece que fue via prompting. y fue usando ChatGPT, Aristoteles AI y 4 participantes.
> the proof contained some minor errors in it, but the AI tool Aristotle was able to automatically repair these gaps and produce a Lean-verified proof.
No es lo mismo chatgpt 5.2 que gpt 5.2 dudo que haya sido el chat quien ha hecho esto, habrá sido el modo thinking high, via api, con system prompts adecuados... en general, el chat es bastante "idiota"
Además, no puede decir que lo hizo de forma "autonoma" porque requirió de la iniciativa del matemático este....
Que está guay? obvio, pero es un pelín sensacionalista.
Publicidad para la industria cárnica y láctea, nada de objetividad nutricional. Ponen a la carne, los huevos y los lacteos como base, en segundo plano ponen a los cereales y a las legumbres ni las nombran.
#6 Y Lockheed Martin podría hacer modificaciones a ese software que beneficiasen también a Indra. Para eso se creó la GPL, para que los trabajos derivados tengan que ser igualmente libres, beneficien al autor original y se pueda crear un ecosistema que beneficie a todos
Teniendo en cuenta que Indra recibe miles de millones de euros del estado debería pasar a ser software libre para beneficio de todos y no solo de unos pocos
#8. Te escribo desde un modelo portatil HP con unos añitos pero de los buenos. Justamente pude ampliarlo hace poco de 4Gb a 8Gb de RAM gracias que encontré memorias RAM chinas compatibles y barata online. Esa amplicación de RAM funciona perfecta.
Nunca me han gustado las políticas internas de HP como marca, jamás les compraría una impresora con sus cartuchos y firmware con DRM, pero algunos de sus ordenadores portátiles como la serie "Probook" son robustos y estables como pocos. Además el mantenimiento de los ProBook es tan sencillo como sacarles la tapa inferior de plástico desplazándola y pasarles el aspirador para retirar el polvo acumulado.
#4. Con un cliente como HP lo más probable es que esa empresa china se ponga las pilas ofreciendo un producto de calidad. En memoria RAM no exiten las medias tintas, la ausencia de calidad en este tipo de productos no puede disimularse de ningún modo, y los de HP no van a vender basura, se juegan la marca,
#_2. El "soporte técnico" en chips de memoria RAM es pura fantasia. Una vez instalados si están bien hechos y funcionan correctamente pueden llegar a tener una vida útil superior a la mayoría del resto del hardware del equipo. Fin de la historia.
Lo único cierto es que si no fuera por la industrica tecnológica China los europeos a nivel doméstico volveriamos a los patinetes y a jugar a las canicas en los parques.
#9. El verdadero escándalo con las patentes de hardware es que los diseños originales de los circuitos integrados no solo no se acaban publicando por parte de las multinacionales sino que además se acaban perdiendo. Al final lo único que quedan son las pastillas de silicio con sus circuitos impresos y en gran medida indescifrables sin conocmientos profundos sobre el tema. Todos los diseños de circuitos integrados de los 70, los 80 y lo 90 que ya no son comerciales por supuestamente "obsoletos" que se han podido recuperar se ha tenido que hacer por ingeniería inversa y solo por personas con conocimientos académicos y equipo suficiente a su alcance en universidades y similares. Y todo ese trabajo se ha realizado por amor al arte, fuera de horarios laborales y fuera de todo objetivo universitario oficial.
#2 El otro día me dio por preguntarle a una IA sobre el software que utilizan las instituciones europeas y tienen un montón de cosas funcionando sobre software libre (y contribuyendo a su desarrollo).
Lo que no han logrado hasta ahora es extenderlo a los países miembros, a ver si con las pataletas de Trump espabilamos un poco y nos desligamos de Microsoft, Google y CIA.
#11 La mía sabe, nada más levantarme de la cama, poner los pies en el suelo y mirarla, de ninguna forma rara y si decir nada, que le toca baño.
Se queda toda la mañana manteniendo un perfil bajo, intentando pasar desapercibida. Cuando ya saco tiempo para bañarla, antes de ir a preparar las cosas ya se ha escondido debajo de una cama.
No sé cómo coño lo hace, aunque intuyo que es capaz de detectar en mi expresión o mirada una mezcla de "qué guarra estás" y "hoy tengo que bañarla sí o sí".
Hay perros que cuando te miran a los ojos te miran el alma.
#3#4 Ningún fármaco es inocuo.
Y resulta inquietante pensar que miles y miles de personas puedan plantearse tomar un medicamento para el resto de su vida solo por mantener el tipo.
Porque, no nos engañemos, es una cuestión de estética no de salud por lo que se está consumiendo Ozempic.
> the proof contained some minor errors in it, but the AI tool Aristotle was able to automatically repair these gaps and produce a Lean-verified proof.
mathstodon.xyz/@tao/115855840223258103
Además, no puede decir que lo hizo de forma "autonoma" porque requirió de la iniciativa del matemático este....
Que está guay? obvio, pero es un pelín sensacionalista.
es.wikipedia.org/wiki/Terence_Tao
Nunca me han gustado las políticas internas de HP como marca, jamás les compraría una impresora con sus cartuchos y firmware con DRM, pero algunos de sus ordenadores portátiles como la serie "Probook" son robustos y estables como pocos. Además el mantenimiento de los ProBook es tan sencillo como sacarles la tapa inferior de plástico desplazándola y pasarles el aspirador para retirar el polvo acumulado.
Lo único cierto es que si no fuera por la industrica tecnológica China los europeos a nivel doméstico volveriamos a los patinetes y a jugar a las canicas en los parques.
Lo que no han logrado hasta ahora es extenderlo a los países miembros, a ver si con las pataletas de Trump espabilamos un poco y nos desligamos de Microsoft, Google y CIA.
Se queda toda la mañana manteniendo un perfil bajo, intentando pasar desapercibida. Cuando ya saco tiempo para bañarla, antes de ir a preparar las cosas ya se ha escondido debajo de una cama.
No sé cómo coño lo hace, aunque intuyo que es capaz de detectar en mi expresión o mirada una mezcla de "qué guarra estás" y "hoy tengo que bañarla sí o sí".
Hay perros que cuando te miran a los ojos te miran el alma.
Y resulta inquietante pensar que miles y miles de personas puedan plantearse tomar un medicamento para el resto de su vida solo por mantener el tipo.
Porque, no nos engañemos, es una cuestión de estética no de salud por lo que se está consumiendo Ozempic.
Esta no, no le gusta mucho que la anden olisqueando.