#1 quizás no va con Israel, quizás va en contra de un régimen islamofascista de cajon.
Nazis: control de cada aspecto de tu vida, se persigue la política de izquierdas, odian a los judíos, tiene un grupo paramilitar exclusivo para someter al pueblo, hay un líder supremo, intocable, falta absoluta de libertad, se persigue al diferente o disidente.
Regimen islámico de iran: control de cada aspecto de tu vida, se persigue la política de izquierdas, odian a los judíos, tiene un grupo paramilitar exclusivo para someter al pueblo, hay un líder supremo, intocable, falta absoluta de libertad, se persigue al diferente o disidente.
#2 Cierto. Lo que está claro es que lo que se está invirtiendo en la actualidad en investigación básica en el desarrollo de nuevas químicas de baterías, así como las continuas innovaciones en los procesos de producción masiva, están dando como resultado una evolución espectacular en las baterías en la última década en cuanto a usabilidad, seguridad, densidad de energía e incluso reciclado.
Por ejemplo, ya hay vehículos que permiten recargar a 1 MW de potencia pico. Esto si se le hubiera contado a un experto cualquiera hace una década se hubiera deshuevado de la risa.
#5 No sólo eso, Ublock origin te quita los anuncios de la web, eso incluye también usando Spotify via web en vez de con app: open.spotify.com/
Para ver Youtube en el movil sin anuncios, se puede usar newpipe.net/ (incluso se salta segmentos de videos de patrocinio de vpn's y juegos de tanques)
Si tienes android TV o chromecast o firetv o similar basado en android, también podeis nstalar smarttube para ver youtube sin anuncios en la TV. Buscad la guía sobre como instalar smarttube para vuestro sistema, hay videos en youtube sobre como hacerlo.
#4 A mi también me salen en otros idiomas, pero el más "que cojones..." fue uno de armamento militar para fragatas y destructores que me quedé a cuadros y con ganas de tener una fragata y 40 millones de euros para comprarme esos juguetitos. Lo que me pregunto es quien fue el listillo que pensó que anunciar ese tipo de producto en youtube era una buena idea.
Chaval, si estoy viendo anuncios en youtube es que ni tengo ganas de poner un bloqueador ni tengo dinero para pagar el robo mensual del premium. Por mucho que me gustara tener semejante garrote ultramoderno, no me lo puedo permitir, y tampoco tengo tantos enemigos...
#4 Yo sí que hablo desde el desconocimiento, pero no sé si con sabor pero ¿no se puede hablar de sonido a madera ya que hay instrumentos de percusión de madera, e instrumentos "de metal"? Reitero: por desgracia soy un inculto musical
#15 Aprovecha ahora que el hilo tiene visibilidad y recomienda si quieres algún buen blog. Ayer estuve escuchando un equipo Technics que está en una residencia familiar y tiene casi tantos años como yo (y voy para 50 ). Me entró la curiosidad por esos "cacharros" tan bien hechos y es el primer link que encontré con listados y modelos desconocidos para mi, fuera de las cientos de web de publicidad, páginas de ventas y demás.
#9 Pero a la vez es muy anticapitalista aparatos tan bien hechos que duran décadas. De primera mano conozco un equipo que suena la pera después de 40 años. Por eso buenos equipos antiguos de segunda mano son una buena patada en la entrepierna del consumismo.
#5 para #_7, ponerse a discutir sobre el plan que han utilizado en una noticia en la que el mejor matemático del munda anuncia que herramientas de IA generativa han conseguido resolver de forma "prácticamente autónoma" un problema matemático de frontera, me parece el mejor ejemplo de quedarse mirando al dedo en lugar de a la luna.
#8 "El logro generó debate por inspirarse en trabajos previos y resolver una variante menos compleja"
Esto es exactamente lo que pasó con el problema del millenio. Usó una solucion previa a una variante menos compleja. Aún asi el hecho de que haya resuelto un problema aunque sea recombinando trabajos previos tiene su mérito claro
#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.
www.meneame.net/story/periodista-pregunta-elon-musk-sobre-bulo-envio-c
Nazis: control de cada aspecto de tu vida, se persigue la política de izquierdas, odian a los judíos, tiene un grupo paramilitar exclusivo para someter al pueblo, hay un líder supremo, intocable, falta absoluta de libertad, se persigue al diferente o disidente.
Regimen islámico de iran: control de cada aspecto de tu vida, se persigue la política de izquierdas, odian a los judíos, tiene un grupo paramilitar exclusivo para someter al pueblo, hay un líder supremo, intocable, falta absoluta de libertad, se persigue al diferente o disidente.
Por ejemplo, ya hay vehículos que permiten recargar a 1 MW de potencia pico. Esto si se le hubiera contado a un experto cualquiera hace una década se hubiera deshuevado de la risa.
Ubuntu con xorg se puede instalar en menos de 3 GB, no 25 GB como dice el artículo. Otra cosa es que lo cargues con OpenOffice y gnome completo
Para ver Youtube en el movil sin anuncios, se puede usar newpipe.net/ (incluso se salta segmentos de videos de patrocinio de vpn's y juegos de tanques)
Si tienes android TV o chromecast o firetv o similar basado en android, también podeis nstalar smarttube para ver youtube sin anuncios en la TV. Buscad la guía sobre como instalar smarttube para vuestro sistema, hay videos en youtube sobre como hacerlo.
Chaval, si estoy viendo anuncios en youtube es que ni tengo ganas de poner un bloqueador ni tengo dinero para pagar el robo mensual del premium. Por mucho que me gustara tener semejante garrote ultramoderno, no me lo puedo permitir, y tampoco tengo tantos enemigos...
Spotify: sujétame el vinilo...
Le tengo ignorado?
Loignorito bonito!!
#15 Aprovecha ahora que el hilo tiene visibilidad y recomienda si quieres algún buen blog. Ayer estuve escuchando un equipo Technics que está en una residencia familiar y tiene casi tantos años como yo (y voy para 50
#9 Pero a la vez es muy anticapitalista aparatos tan bien hechos que duran décadas. De primera mano conozco un equipo que suena la pera después de 40 años. Por eso buenos equipos antiguos de segunda mano son una buena patada en la entrepierna del consumismo.
Lo que es seguro e que no ha usado el plan free ni el pro
Esto es exactamente lo que pasó con el problema del millenio. Usó una solucion previa a una variante menos compleja. Aún asi el hecho de que haya resuelto un problema aunque sea recombinando trabajos previos tiene su mérito claro
Fuera bromas, no conocía a este señor, no estoy en el mundillo. Gracias por la info.
> 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