Webtagr - Resumen de noticias de tecnología

Demostración del Último Teorema de Fermat: Los Computadores Enfrentan un Desafío Matemático

2024-12-12

Un equipo está intentando demostrar el Último Teorema de Fermat usando Lean, encontrando desafíos inesperados en el camino. En lugar de depender de la demostración original, están usando un enfoque moderno más generalizado. Al formalizar la cohomología cristalina, descubrieron un error en un lema clave, lo que llevó a una reevaluación de los fundamentos de la teoría. Finalmente encontraron una solución alternativa usando una demostración diferente. Esta experiencia destaca errores potenciales en la literatura matemática moderna y subraya la necesidad de demostraciones formalizadas.

(xenaproject.wordpress.com)

Desarrollo Matemáticas Formalizadas

La batalla contra la piratería francesa se intensifica: el proveedor de DNS Quad9 bloquea sitios piratas a nivel mundial

2024-12-12

En una lucha creciente contra la piratería deportiva online, el gigante mediático francés Canal+ obtuvo órdenes judiciales que obligan a los proveedores de DNS Quad9 y Vercara a bloquear el acceso a sitios de streaming piratas en Francia. Quad9, considerando esto una aplicación absurda de la ley de derechos de autor, planea apelar, pero ha bloqueado los dominios a nivel mundial por ahora. Esta acción enciende un debate global sobre los derechos de autor y la neutralidad de la red, y Quad9 busca apoyo público para su apelación para mantener una internet abierta.

(torrentfreak.com)

Tecnología derechos de autor neutralidad de la red bloqueo de DNS

BlenderGPT: Modelado 3D con IA en 20 segundos

2024-12-12

BlenderGPT es un programa de IA avanzado que crea modelos 3D a partir de indicaciones de texto o imagen en aproximadamente 20 segundos. Genera mallas totalmente texturizadas, importables directamente a Blender mediante un atajo, o descargables para su uso en cualquier software compatible. ¡Pruébalo gratis hoy!

(www.blendergpt.org)

IA Modelado 3D

El equipo de investigación de seguridad de Oasis descubre un bypass de MFA de Microsoft Azure

2024-12-12

El equipo de investigación de seguridad de Oasis descubrió una vulnerabilidad crítica en la implementación de la autenticación multifactor (MFA) de Microsoft Azure. Los atacantes podían eludir la MFA para obtener acceso no autorizado a las cuentas de usuario, incluidos Outlook, OneDrive, Teams y Azure Cloud. La vulnerabilidad explotaba la falta de límite de velocidad, lo que permitía la creación rápida de sesiones y la enumeración de códigos para agotar las posibilidades de un código de 6 dígitos sin alertas. Microsoft ha implementado desde entonces un límite de velocidad más estricto para solucionar el problema. Esto destaca la importancia de habilitar la MFA y supervisar los intentos fallidos.

(www.oasis.security)

Tecnología Seguridad de Azure Vulnerabilidad de MFA Bypass de autenticación

Cazadores de Colorado donan carne de caza para combatir la inseguridad alimentaria

2024-12-12

En Colorado, Meat Cleaver, un procesador de carne, se asocia con cazadores para donar el exceso de venado, alce y otras carnes de caza a bancos de alimentos locales, luchando contra la inseguridad alimentaria. Financiado por Farmers and Hunters Feeding the Hungry (FHFH), el programa reduce el desperdicio y proporciona proteínas saludables a familias vulnerables. Si bien actualmente se limita a Meat Cleaver, el programa ha donado con éxito miles de kilos de carne, recibiendo elogios de la comunidad. Los cazadores participantes, a pesar del sistema competitivo de licencias de caza, encuentran satisfacción al ayudar a los necesitados.

(collective.coloradotrust.org)

Varios donación de carne de caza asistencia comunitaria

Peter Solnica, miembro del equipo principal de Hanami, anuncia su jubilación

2024-12-12

Peter Solnica, desarrollador principal del framework Hanami, anunció recientemente su jubilación del equipo principal. Después de dos años de reflexión, decidió dedicar más tiempo a su familia y buscar un mejor equilibrio entre la vida profesional y personal. Solnica agradeció a numerosas personas y organizaciones que impactaron significativamente su carrera, incluyendo Lunar Logic, el equipo DataMapper y los miembros del equipo Hanami. Afirmó que, aunque ya no es miembro del equipo principal, continuará apoyando el desarrollo de Hanami y mantendrá contacto con la comunidad. La jubilación de Solnica no refleja una pérdida de fe en Hanami, sino un ajuste personal en la administración del tiempo y las prioridades de la vida, cambiando su enfoque a la familia y el desarrollo de Elixir.

(solnic.dev)

Desarrollo Código abierto Jubilación

Jujutsu: Un Sistema de Control de Versiones Revolucionario

2024-12-12

El autor utiliza diariamente Jujutsu, un sistema de control de versiones basado en Git, y lo recomienda encarecidamente. A diferencia de otras alternativas simplificadas a Git, Jujutsu se centra en mejorar el flujo de trabajo de los usuarios avanzados, especialmente en la simplificación de la edición del historial. El autor relata una experiencia personal que muestra la facilidad de Jujutsu para modificar commits anteriores, eliminando comandos Git complejos. Aunque Jujutsu tiene algunas deficiencias, como la falta de soporte para git send-email y el requisito de CLA de Google, el autor aún lo utiliza diariamente para proyectos personales.

(drewdevault.com)

Desarrollo Control de Versiones

Robot de apoyo emocional de 800 dólares para niños inutilizado, sin reembolsos

2024-12-12

Embodied, el fabricante del robot Moxie de 800 dólares para niños, está cerrando, dejando a miles de niños sin sus compañeros robóticos. La empresa atribuyó su cierre a una ronda de financiación fallida y anunció que la conectividad en la nube de Moxie se cortará, haciendo que los robots sean inoperables. Si bien Embodied expresó cierta disposición a reembolsar compras recientes, no ofrecen garantías, dejando a muchos padres enfrentando pérdidas financieras significativas junto con la angustia emocional de sus hijos. Este incidente destaca las preocupaciones sobre la falta de soporte a largo plazo para dispositivos inteligentes y el potencial de una decepción significativa del consumidor.

(arstechnica.com)

Tecnología niños

Nueva conexión entre la nutrición celular y la identidad podría mejorar las inmunoterapias

2024-12-12

Científicos del Instituto Salk han descubierto que un cambio nutricional de acetato a citrato es clave para determinar el destino de las células T, pasando de células efectoras activas a células agotadas. Publicados en Science, los hallazgos revelan que diferentes nutrientes alteran la expresión génica, la función y la identidad de una célula. Esta investigación innovadora ofrece nuevos objetivos terapéuticos para las inmunoterapias, manteniendo potencialmente las células T activas contra enfermedades crónicas. El descubrimiento destaca una conexión directa entre la función celular y la nutrición, abriendo nuevas vías para el tratamiento de enfermedades crónicas.

(www.genengnews.com)

IA Inmunoterapia

El fundador de Twitter lanza Mozi, una aplicación social centrada en conexiones en el mundo real

2024-12-12

Ev Williams, fundador de Twitter y Medium, ha lanzado una nueva aplicación social llamada Mozi, con el objetivo de redefinir la esencia de la interacción social. A diferencia de las redes sociales centradas en el contenido, Mozi prioriza ayudar a los usuarios a construir y mantener relaciones con personas de su vida real. Integrando las listas de contactos de los usuarios, muestra cuándo los usuarios y sus conocidos estarán en el mismo lugar (ciudad o evento), facilitando las reuniones en persona. Mozi enfatiza la privacidad, sin perfiles públicos ni recuentos de seguidores, buscando ser una plataforma privada que promueva conexiones sociales genuinas.

(ev.medium.com)

Startup aplicación social relaciones privacidad

Publicado el informe de auditoría de seguridad de 2024 de la aplicación Mullvad VPN

2024-12-12

Mullvad VPN ha publicado el informe de su auditoría de seguridad de terceros de 2024 para su aplicación VPN. La auditoría descubrió seis vulnerabilidades, con una gravedad que va de baja a alta, todas las cuales se han solucionado. Tres vulnerabilidades de alta gravedad involucraban manejadores de señales y una fuga de dirección IP virtual, y se han corregido en la versión más reciente. La auditoría también observó algunos problemas no relacionados con la seguridad en los que Mullvad está trabajando activamente para resolverlos. En general, la aplicación Mullvad VPN se considera altamente segura, pero se recomienda a los usuarios que actualicen a la versión más reciente.

(mullvad.net)

Tecnología seguridad VPN auditoría de seguridad correcciones de vulnerabilidades