Pikimov es un editor de video y diseño de movimiento basado en la web, recién lanzado, inspirado en Photopea, y sirve como una alternativa gratuita a After Effects.
Requiere no registrarse, mantiene los archivos en la máquina del usuario y asegura que los proyectos no se utilicen para el entrenamiento de IA.
El creador tiene una trayectoria en el desarrollo de software VJ para plataformas como Game Boy Advance, Playstation 2 y Raspberry Pi.
Pikimov es un nuevo editor de diseño de movimiento y video basado en la web, gratuito, creado como una alternativa a Adobe After Effects, que no requiere registro ni cargas en la nube.
La herramienta ha recibido comentarios positivos por su potencial para desafiar el dominio de Adobe, con usuarios sugiriendo mejoras en los límites de la tasa de fotogramas, la notificación de errores y el manejo de fotogramas clave.
Actualmente, Pikimov solo es compatible con Chrome y Edge debido a APIs web específicas, con planes futuros de agregar funciones comunitarias y posiblemente monetizar la aplicación.
Una vulnerabilidad crítica (CVE-2024-6387) en el servidor de OpenSSH en sistemas Linux basados en glibc permite la ejecución remota de código (RCE) debido a una condición de carrera en el manejador de señales.
La cuestión, una regresión de CVE-2006-5051, afecta a las versiones 3.4p1, 4.2p1 y 9.2p1 de OpenSSH, e implica explotar el manejador SIGALRM para causar corrupción de la memoria heap y ejecutar código arbitrario.
Las medidas de mitigación incluyen aplicar parches que muevan el código asíncrono no seguro fuera del manejador de SIGALRM o establecer LoginGraceTime en 0, aunque esto último puede causar una denegación de servicio.
Se descubrió una vulnerabilidad de ejecución remota de código (RCE) en el servidor de OpenSSH en sistemas Linux basados en glibc, lo que podría permitir a los atacantes obtener acceso remoto como root.
La solución para esta vulnerabilidad se implementó moviendo el código inseguro del manejador de señales al proceso del oyente, lo que dificulta su retroportación.
La cuestión afecta principalmente a los sistemas de 32 bits, con la explotación en sistemas de 64 bits considerada posible pero aún no demostrada; varias distribuciones ya han lanzado parches.
Pipes es un editor de programación visual para feeds, que permite a los usuarios obtener, crear y manipular feeds utilizando bloques, similar a Yahoo! Pipes.
It supports various input formats, including RSS, Atom, JSON, HTML, and text files, and offers a range of blocks for different feed operations like filtering, merging, and extracting content.
Pipes CE es un software libre y de código abierto (FOSS) bajo la licencia AGPL, disponible en Github, y admite integraciones con sitios populares como Twitter, YouTube y Vimeo.
Pipes, un proyecto inspirado en Yahoo Pipes, recientemente se sometió a actualizaciones para mejorar la estabilidad, incluyendo un cambio de texto a objetos RSS para el transporte de datos entre bloques.
Se implementaron actualizaciones del servidor y la reconfiguración de hilos y trabajadores puma para abordar problemas y cuellos de botella.
Se está considerando una sugerencia de usuario para agregar un bloque para resúmenes o imágenes generados por IA a través de solicitudes POST, con algunos bloques fundamentales ya en su lugar.
La publicación discute las métricas de evaluación para evaluar el rendimiento de los modelos de lenguaje ajustados (LLMs) en la extracción de datos estructurados de comunicados de prensa, con un enfoque en la precisión.
Los modelos ajustados, incluidos TinyLlama, Mistral y Solar LLM, generalmente superaron a GPT-4 y GPT-4 Turbo de OpenAI en precisión, a pesar de la complejidad y el ritmo lento de las evaluaciones.
La evaluación destacó la necesidad de un mejor sistema para gestionar la complejidad y el mantenimiento, con pasos futuros que incluyen pruebas no relacionadas con la precisión y la exploración del servicio de modelos.
Los modelos ajustados pueden superar a los modelos generales como GPT-4 de OpenAI en tareas específicas, como la extracción de datos, la resumación creativa, la respuesta a preguntas y la clasificación.
La eficacia de los modelos ajustados depende de datos de entrenamiento de alta calidad, lo que los hace efectivos para la extracción de información específica y accesibles para los entusiastas de la tecnología.
El ajuste fino de modelos más pequeños, como Llama 3 8B, puede ser más eficiente y rentable, pero usar las respuestas del modelo para entrenar nuevos modelos puede violar los términos de servicio de los principales proveedores de LLM.
Johannesburgo, antes árido, se transformó en la "ciudad más verde del mundo" después de plantar millones de árboles para combatir el polvo de la extracción de oro.
El plantado de árboles en Johannesburgo se distribuyó de manera desigual debido al Apartheid, lo que resalta las disparidades socioeconómicas.
Los árboles urbanos brindan beneficios significativos, incluyendo la reducción del efecto de "isla de calor", actuando como barreras sonoras, mejorando la estética, aumentando la biodiversidad y fomentando las actividades al aire libre.
Cada vez más, las ciudades están plantando árboles y promoviendo techos verdes para combatir el estrés térmico y mejorar la habitabilidad urbana.
Utrecht, Países Bajos, y Zúrich, Suiza, son ejemplos destacados, mientras que ciudades estadounidenses como Portland, OR, tienen mandatos ecológicos, y Salt Lake City está explorando la xerojardinería.
Los árboles ofrecen beneficios significativos, como enfriar las áreas urbanas, mejorar la calidad del aire y mejorar la habitabilidad en general, a pesar de desafíos como el desarrollo de propiedades privadas que conducen a la eliminación de árboles.
Ladybird es un navegador web independiente desarrollado por una organización sin fines de lucro, enfocado en el rendimiento, la estabilidad y la seguridad, con un lanzamiento Alpha planeado para 2026.
Inicialmente un visor de HTML para SerenityOS, ahora es compatible con Linux, macOS y otros sistemas similares a Unix, y está construido completamente desde cero sin usar código de otros navegadores.
El proyecto está financiado por patrocinios y donaciones, sin anuncios ni monetización de usuarios, y actualmente es desarrollado por un equipo de cuatro ingenieros a tiempo completo.
Un postzegelcode es un código de nueve caracteres utilizado en los Países Bajos como una alternativa manuscrita a los sellos postales, comprado en línea de PostNL.
Introducido en 2013, el código debe escribirse en el correo dentro de los cinco días y tiene 78.8 billones de combinaciones posibles, lo que lo hace seguro contra adivinanzas.
En diciembre de 2020, 590,000 personas usaron postzegelcodes, que ahora cuestan lo mismo que los sellos tradicionales.
La discusión gira en torno al uso de códigos postales digitales, conocidos como 'postzegelcode,' que se pueden escribir en los sobres en lugar de usar sellos tradicionales.
Varios países, incluidos Alemania, Dinamarca, Noruega y Suecia, han implementado sistemas similares, permitiendo a los usuarios comprar franqueo en línea y escribir un código en su correo.
La conveniencia del sistema es elogiada, especialmente para aquellos que no envían correo físico con frecuencia, ya que elimina la necesidad de sellos físicos y se adapta a las tarifas postales cambiantes.
La Corte Suprema extendió el retraso en el caso penal de Donald Trump relacionado con las elecciones de 2020, reduciendo la probabilidad de un juicio antes de las elecciones de noviembre.
En una decisión de 6-3, la mayoría conservadora de la corte otorgó a los expresidentes una amplia inmunidad frente a enjuiciamientos por actos oficiales, complicando el caso de la fiscalía y requiriendo un análisis adicional en el nivel del tribunal de primera instancia.
La decisión subraya la significativa influencia de la corte en las próximas elecciones, con el Presidente del Tribunal Supremo John Roberts enfatizando la inmunidad para actos oficiales y la Jueza Sonia Sotomayor disintiendo, argumentando que socava el principio de que nadie está por encima de la ley.
La Corte Suprema ha dictaminado que los expresidentes tienen inmunidad por actos oficiales, lo que ha generado un debate sobre los posibles abusos de poder frente a la necesidad de protección presidencial.
La sentencia especifica que la inmunidad se aplica a acciones dentro de la autoridad constitucional, pero no a actos no oficiales, lo que genera preocupaciones sobre la rendición de cuentas por delitos graves.
Los críticos, incluida la jueza Sotomayor, temen que esta decisión pueda afectar casos legales en curso y futuros que involucren a expresidentes.
El método tradicional de multiplicación de polinomios tiene una complejidad de (O(n^2)), lo que lo hace ineficiente para polinomios grandes.
La Transformada Rápida de Fourier (FFT) reduce la complejidad de la multiplicación de polinomios a (O(n \log n)) al convertir el problema al dominio de la frecuencia.
La metodología basada en FFT implica convertir polinomios al dominio de la frecuencia, multiplicarlos y convertir el resultado de nuevo, mejorando significativamente la eficiencia para polinomios de alto grado.
La discusión se centra en el uso de la Transformada Rápida de Fourier (FFT) para la multiplicación de polinomios, destacando su eficiencia en comparación con métodos ingenuos.
Las ideas clave incluyen la importancia de la precisión numérica en los cálculos de FFT y el contexto histórico del desarrollo de FFT para la multiplicación de polinomios.
La conversación también aborda aplicaciones prácticas, como la corrección de errores, el procesamiento de señales y la criptografía de conocimiento cero, donde los métodos basados en FFT son particularmente beneficiosos.
La publicación discute la incorporación de programas en redes neuronales recurrentes (RNN) y cómo las RNN entrenadas pueden superar a los algoritmos escritos a mano.
Proporciona un ejemplo detallado de la detección de código de programa en mensajes, comparando reglas de decisión simples, un algoritmo escrito a mano y un enfoque basado en RNN.
El artículo destaca las ventajas de las RNN, como la codificación de máquinas de estados, el uso de funciones de activación entrenables y el manejo de tareas complejas con una disciplina basada en datos.
La artículo discute la construcción de una red neuronal usando Python, pero carece de detalles sobre las pruebas y la obtención de datos de entrenamiento, que son cruciales para asegurar la generalización del modelo a entradas no vistas.
La discusión destaca el Teorema de Aproximación Universal, que establece que las redes neuronales pueden representar cualquier función con el nivel de precisión deseado, pero enfatiza que aprender estas aproximaciones no está garantizado.
Existe un debate sobre si las Redes Neuronales Recurrentes (RNN) están siendo reemplazadas por transformadores, con algunos argumentando que las RNN aún tienen ventajas únicas, como el uso constante de memoria, que los transformadores no tienen.
Varias empresas están contratando para múltiples roles, incluyendo posiciones remotas, presenciales e híbridas, en diferentes ubicaciones e industrias.
Las empresas destacadas incluyen Apple, Figma, Charge Robotics y SmileID, que ofrecen puestos como Ingeniero de Software Senior, Ingeniero de Seguridad Senior/Staff y Ingeniero Frontend Senior.
Las oportunidades se extienden por todo el mundo, con algunas empresas ofreciendo patrocinio de visas y roles en tecnologías emergentes como la IA, el aprendizaje automático y el desarrollo full-stack.
Los programadores deben mantener un nivel saludable de escepticismo, ya que escribir y verificar la corrección del código es inherentemente desafiante y, a menudo, imposible.
Las abstracciones, aunque simplifican sistemas complejos, pueden fallar y llevar a problemas como la degradación del rendimiento o el comportamiento indefinido, como lo destaca la Ley de Abstracciones Fugas de Joel Spolsky.
Para mitigar problemas desconocidos, los programadores deben verificar la información, probar sus creencias y medir el impacto de los cambios en el código, mientras aprenden continuamente sobre nuevas plataformas, lenguajes, herramientas y tecnologías.
La discusión se centra en la importancia de la verificación formal en la programación, enfatizando que los programadores no deben confiar en nadie, incluidos ellos mismos, sin pruebas.
Si bien la verificación formal es compleja y costosa, ofrece garantías más sólidas de corrección en comparación con las pruebas unitarias, que solo cubren ejemplos específicos.
La discusión resalta los compromisos entre el rigor de la verificación formal y la practicidad de las pruebas unitarias, sugiriendo que la elección depende de los requisitos y recursos del proyecto.
Unificación en Elixir extiende la coincidencia de patrones al permitir variables en ambos lados de una ecuación, resolviendo ecuaciones simbólicas y produciendo mapeos de sustitución.
Al contrario del emparejamiento de patrones, la unificación puede manejar valores parcialmente conocidos, lo que la convierte en una herramienta poderosa para la programación lógica en Elixir.
La unificación de algoritmos implica recorrer términos, probar equivalencias, manejar variables y unificar recursivamente elementos de listas, simplificando las asignaciones de variables mediante la sustitución.
La artículo compara la eficiencia de los algoritmos de unificación en la inferencia de tipos, centrándose en el algoritmo W y el algoritmo J.
El algoritmo W, utilizado en la inferencia de tipos de Hindley-Milner, es menos eficiente y más propenso a errores debido a la necesidad de componer sustituciones.
El Algoritmo J, que emplea una estructura de datos de unión y búsqueda para la unificación destructiva, es más simple y eficiente, con conocimientos adicionales sobre la unificación en la coincidencia de patrones y la coincidencia de patrones compilados utilizando árboles de decisión.
Google Arts & Culture ofrece una amplia gama de recorridos virtuales y experiencias interactivas, permitiendo a los usuarios explorar el arte, la historia y la cultura de todo el mundo.
Los aspectos destacados incluyen recorridos virtuales por museos famosos, experiencias de realidad aumentada (AR) y juegos interactivos que hacen que aprender sobre arte y cultura sea atractivo y accesible.
Las características especiales incluyen la capacidad de explorar la biblioteca de Van Gogh, realizar un recorrido en 3D por las pinturas de Vermeer y participar en un desafío de baile K-Pop en colaboración con el Museo V&A.
Google Arts and Culture es un proyecto menos conocido pero significativo de Google, que ofrece contenido cultural curado de todo el mundo.
Los usuarios aprecian sus imágenes de alta resolución y características únicas, como la capacidad de acercarse a las obras de arte y explorar diversos proyectos culturales.
La plataforma ha estado activa desde 2011 y sigue siendo un recurso valioso para los entusiastas del arte y la cultura, a pesar de las preocupaciones sobre la longevidad de los proyectos de Google.
Los investigadores han creado un archivo completo del contenido de las agencias de noticias de EE. UU. desde 1878 hasta 1977 utilizando una cadena de aprendizaje profundo en escaneos de imágenes de periódicos locales.
La base de datos incluye 2.7 millones de artículos únicos de dominio público, georreferenciados, etiquetados por tema y vinculados a Wikipedia, proporcionando información valiosa para la lingüística computacional, las ciencias sociales y la investigación en humanidades digitales.
La tarea consistió en transcribir 138 millones de textos de artículos estructurados y utilizar un modelo de bi-codificador neuronal para eliminar duplicados de artículos, asegurando que solo se incluyera contenido de dominio público.
Se ha creado una base de datos completa de noticias históricas hasta 1978, que refleja los cambios en las leyes de derechos de autor, y está disponible en GitHub, aunque actualmente está vacía.
Los usuarios han identificado errores de OCR (Reconocimiento Óptico de Caracteres) en los datos, subrayando los desafíos persistentes en la digitalización de textos históricos.
El proyecto, a pesar de sus problemas, es elogiado por su valor académico, con escaneos en bruto accesibles a través de la colección digital de la Biblioteca del Congreso.