Sculley de Google se embarca en una aventura de fabricación en Fab Academy

2025-08-03

D. Sculley, líder de aprendizaje automático de Google en Cambridge, está participando en Fab Academy. Con experiencia en ML desde 2003 y experiencia previa en educación, Sculley pretende explorar la intersección de ML y varias técnicas de fabricación, desde CAD y corte láser hasta impresión 3D. Planea completar un proyecto cada semana, culminando en un proyecto final, lo que promete un viaje de aprendizaje desafiante pero gratificante.

Leer más
IA

El Descenso de Inanna: Un Mito Sumerio y Sus Múltiples Interpretaciones

2025-08-03
El Descenso de Inanna: Un Mito Sumerio y Sus Múltiples Interpretaciones

Este extenso artículo profundiza en el mito sumerio del descenso de Inanna (Ishtar en acadio) al inframundo. Inanna, buscando expandir su poder, viaja para desafiar a su hermana, Ereshkigal, la 'Reina de los Muertos'. Después de ser despojada de sus ornamentos, Inanna perece y su cadáver es colgado de un gancho. El dios Enki interviene indirectamente, restaurando a Inanna a la vida. Sin embargo, su regreso exige un sacrificio humano; ella elige a su consorte, Dumuzi, quien luego es llevado al inframundo. La hermana de Dumuzi, Geshtinanna, suplica por su liberación, resultando en un acuerdo: él pasa parte del año en el inframundo, con su hermana asumiendo su lugar durante el resto del tiempo. El mito existe en versiones sumeria y acadia, esta última descubierta y traducida en la década de 1860, la primera meticulosamente reconstruida en el siglo XX. La historia ofrece ricas perspectivas sobre la cultura mesopotámica, influenciando civilizaciones posteriores e inspirando interpretaciones en el psicoanálisis. El artículo explora la narrativa compleja, los personajes principales (Inanna/Ishtar, Ereshkigal, Enki, Dumuzi, Geshtinanna) y las varias interpretaciones a lo largo de la historia, desde su papel en la comprensión de los ciclos estacionales hasta su uso en el análisis psicológico.

Leer más

La Ilusión del Coste de LLM: Cómo el Escalado Mató a la Suscripción de Precio Fijo

2025-08-03
La Ilusión del Coste de LLM: Cómo el Escalado Mató a la Suscripción de Precio Fijo

Muchas empresas de IA apostaron por la tendencia de que los costes de LLM bajaran 10 veces al año, asumiendo que las pérdidas iniciales se compensarían con altos márgenes futuros. La realidad es diferente. Si bien los costes del modelo están disminuyendo, la demanda de los usuarios de los mejores modelos sigue creciendo, lo que provoca una explosión en el uso de la computación. La longitud de las respuestas de modelos como ChatGPT ha aumentado drásticamente, lo que resulta en un crecimiento exponencial del consumo de tokens. Esto significa que, incluso con reducciones de costes, el gasto general supera con creces las expectativas. El artículo analiza tres contraestrategias: precios basados en el uso desde el primer día, creación de costes de cambio altos para márgenes altos e integración vertical para obtener beneficios de la infraestructura. El autor concluye que aferrarse a un modelo de suscripción de precio fijo conducirá, finalmente, a la bancarrota.

Leer más

Craigslist: Cómo un disruptor accidental remodeló la industria de las noticias

2025-08-03
Craigslist: Cómo un disruptor accidental remodeló la industria de las noticias

El Craigslist de Craig Newmark, un sitio web simple de clasificados, remodeló inesperadamente la industria de las noticias. Su servicio barato y eficiente reemplazó rápidamente los clasificados de los periódicos, lo que provocó pérdidas significativas para muchas empresas periodísticas. Sin embargo, el artículo argumenta que el declive de los periódicos no se debió únicamente a Craigslist, sino a una combinación de pérdida de lectores y la incapacidad de adaptarse a la digitalización. El éxito de Craigslist radica en su diseño minimalista y su enfoque en la experiencia del usuario, mientras que los periódicos fracasaron debido a reacciones lentas e ineficaces respuestas a la transformación digital. El propio Newmark se transformó de un programador modesto a un emprendedor exitoso y filántropo, donando su enorme fortuna para apoyar el periodismo, la ciberseguridad y las causas de los veteranos.

Leer más

Tesla parcialmente responsable en demanda por muerte injusta relacionada con Autopilot

2025-08-03
Tesla parcialmente responsable en demanda por muerte injusta relacionada con Autopilot

Un jurado federal de Miami ha encontrado a Tesla parcialmente responsable en una demanda por muerte injusta de 2019 que involucra a su sistema Autopilot. George McGee, conduciendo un Tesla Model S con el Autopilot activado, pasó una señal de alto y chocó contra una pareja, matando a Naibel Benavides e hiriendo gravemente a Dillon Angulo. Si bien Tesla argumentó que McGee era el único responsable, el jurado determinó que Tesla tenía un tercio de la responsabilidad por vender un vehículo defectuoso, otorgando a los demandantes 129 millones de dólares en daños compensatorios y 200 millones de dólares en daños punitivos. Esta es la primera vez que un jurado encuentra a Tesla responsable en un caso de muerte injusta que involucra a Autopilot.

Leer más
Tecnología

Eliminando el Ruido en las Pruebas de Rendimiento de CI: El Avance de CodSpeed Macro Runners

2025-08-03
Eliminando el Ruido en las Pruebas de Rendimiento de CI: El Avance de CodSpeed Macro Runners

Crear puertas de rendimiento en CI para evitar regresiones significativas ha sido un desafío debido al ruido en los runners alojados. Este artículo explora la medición de este ruido utilizando varias suites de benchmarking. Los resultados en GitHub Actions mostraron un coeficiente de variación del 2,66%, lo que lleva a una tasa de falsos positivos del 45% para una puerta de rendimiento del 2%. Los CodSpeed Macro Runners, que se ejecutan en instancias de nube bare-metal con estabilidad mejorada, redujeron drásticamente este ruido. Los Macro Runners lograron una varianza promedio del 0,56%, reduciendo la tasa de falsos positivos al 0,04%. Esto permite puertas de rendimiento más precisas, detectando regresiones sutiles sin abrumar a los colaboradores con falsas alarmas.

Leer más

Aumenta la cohesión del equipo remoto: El truco del canal 'Ramblings'

2025-08-03
Aumenta la cohesión del equipo remoto: El truco del canal 'Ramblings'

Para equipos remotos de 2 a 10 personas, crea canales individuales 'Ramblings' en el chat de tu equipo. Estos canales funcionan como diarios personales, fomentando la conexión sin desordenar los canales grupales. Los miembros publican actualizaciones cortas (1-3 veces por semana) sobre ideas de proyectos, reflexiones sobre artículos, escenarios de 'qué pasaría si', o actualizaciones personales. Cada canal lleva el nombre del miembro, permitiendo solo a él iniciar publicaciones. Otros pueden responder. Los canales están agrupados, silenciados por defecto y la lectura no es obligatoria. El experimento de dos años de Obsidian muestra 'Ramblings' como una forma sorprendentemente eficaz de mantener la conexión humana, despertar la creatividad e incluso resolver problemas de larga data, actuando como un sustituto de bajo coste para charlas informales.

Leer más
Desarrollo equipo remoto

La Artista Agotada y la Pradera Silenciosa: Una Reflexión sobre el Descanso y la Creación

2025-08-03
La Artista Agotada y la Pradera Silenciosa: Una Reflexión sobre el Descanso y la Creación

Una artista autónoma, trabajando perpetuamente a un ritmo frenético, llega a un punto de ruptura, dándose cuenta de que la emoción del éxito está entrelazada con una búsqueda sin fin. Un viaje a Marruecos revela la importancia del descanso, y la inspiración se encuentra en un poema de Emily Dickinson: la creación no siempre requiere un esfuerzo extenuante; la contemplación silenciosa también puede producir resultados abundantes. La autora concluye anunciando un descanso en agosto, instando a los lectores a valorar el descanso y encontrar nueva inspiración en la quietud.

Leer más
Varios

Ecosistemas de respiraderos hidrotermales y filtraciones frías de aguas profundas: Una revisión de la investigación

2025-08-03
Ecosistemas de respiraderos hidrotermales y filtraciones frías de aguas profundas: Una revisión de la investigación

Esta revisión resume los avances recientes en la investigación sobre los ecosistemas de respiraderos hidrotermales y filtraciones frías de aguas profundas, cubriendo observaciones biogeoquímicas y estudios de comunidades biológicas en varias regiones, incluyendo la Fosa de Japón y la Fosa de las Marianas. Los estudios revelan comunidades biológicas únicas basadas en la quimiosíntesis en estos entornos extremos y aclaran la compleja relación entre el ciclo del metano en aguas profundas, la ventilación de fluidos y la biodiversidad. Estos hallazgos son cruciales para comprender los ecosistemas de aguas profundas y el ciclo global del carbono.

Leer más

Decenas de miles de estudiantes con altas calificaciones se les niega el acceso a matemáticas avanzadas

2025-08-03
Decenas de miles de estudiantes con altas calificaciones se les niega el acceso a matemáticas avanzadas

Un descubrimiento impactante revela que más de la mitad de los estudiantes con altas calificaciones, que se predijo que tendrían éxito en matemáticas avanzadas, se les niega el acceso a esas clases en Carolina del Norte. La investigación muestra que las escuelas dependen en gran medida de las recomendaciones de los maestros en lugar de los datos objetivos de rendimiento de los estudiantes, afectando desproporcionadamente a los estudiantes de bajos ingresos y minorías. Esta práctica desperdicia el potencial humano y limita severamente las perspectivas futuras de los estudiantes. Si bien la legislación ahora exige la matriculación de estudiantes con altas calificaciones, las escuelas han eludido la ley, destacando la resistencia arraigada a los criterios objetivos de ubicación. El estudio exige un enfoque basado en datos para garantizar que todos los estudiantes de alto potencial tengan oportunidades iguales.

Leer más
Tecnología

Una Máquina Virtual de Bytecode para Aritmética en Haskell: El Analizador

2025-08-03
Una Máquina Virtual de Bytecode para Aritmética en Haskell: El Analizador

Esta publicación detalla la primera parte de un proyecto para construir una máquina virtual de bytecode para expresiones aritméticas en Haskell. La VM analizará, compilará, interpretará y ejecutará expresiones aritméticas simples, incluyendo enlaces let y expresiones let anidadas. El autor explica la gramática de la expresión, la implementación del analizador (utilizando la biblioteca attoparsec) y el manejo de errores. Se presentan pruebas unitarias para validar la corrección del analizador. También se incluye una breve descripción general de la implementación y las pruebas del intérprete AST. Las publicaciones futuras cubrirán el compilador y la máquina virtual.

Leer más
Desarrollo

Los jugadores responden a la censura de los procesadores de pago

2025-08-03
Los jugadores responden a la censura de los procesadores de pago

La eliminación repentina de juegos NSFW de Itch.io por Visa, Mastercard, Stripe y PayPal provocó una reacción masiva de los jugadores. Los jugadores están bombardeando a las empresas de pago con llamadas telefónicas, exigiendo la restauración de los juegos. El movimiento, apoyado por sindicatos y asociaciones de desarrolladores de juegos, ha tenido algunos resultados, con representantes de las empresas de pago mostrando cambios de actitud. Sin embargo, las empresas de pago se niegan a comentar, citando políticas vagas sobre actividades "ilegales o que dañan la marca". La cuestión central gira en torno a si los procesadores de pago deben censurar contenido y las implicaciones para la libertad de expresión.

Leer más

La persistencia inesperada de los servidores de inicio de sesión Unix tradicionales

2025-08-03

El autor explora el uso continuo sorprendente de los servidores de inicio de sesión Unix tradicionales en una reconstrucción hipotética de su entorno informático como un desarrollo moderno y de campo abierto. A pesar de la prevalencia de la virtualización de contenedores, mantienen dos tipos: un servidor de propósito general con límites de CPU y RAM, y servidores de computación que ofrecen acceso a recursos ilimitados. Si bien el uso ha disminuido, estos servidores siguen siendo sorprendentemente relevantes, particularmente para SSH en máquinas internas o para ejecutar backends para entornos de desarrollo como VSCode. El autor también observa el uso de servidores de inicio de sesión para trabajos cron y la razón por la que los usuarios almacenan código en servidores de archivos, lo que está estrechamente relacionado con el uso de su clúster SLURM y servidores de computación. La falta de un modelo de soporte robusto dificulta el seguimiento del uso exacto.

Leer más

Claude Code: ¿La era de la fotografía en la programación?

2025-08-03

Este artículo reflexiona sobre seis semanas de uso de Claude Code, un asistente de codificación con IA que ha cambiado drásticamente el enfoque del autor a la codificación. Completó numerosas tareas que normalmente llevarían meses o incluso años, incluyendo migraciones de bases de código y la creación de estrategias de prueba. Claude Code permitió un enfoque de 'escribir primero, decidir después' y aumentó significativamente la eficiencia del equipo en la creación de prototipos de juegos. Si bien reconoce sus imperfecciones, el autor cree que Claude Code ha alterado fundamentalmente los paradigmas de la programación, similar a como la fotografía revolucionó la pintura.

Leer más
Desarrollo

G-Expresiones de Guix: Incrustando código de bajo nivel en código de alto nivel

2025-08-03

Guix utiliza Scheme tanto para acciones de alto nivel (como definir paquetes) como para acciones de bajo nivel (como construir derivaciones). Para incrustar código de bajo nivel dentro del código de alto nivel, emplea G-expresiones. Por ejemplo, en el campo `start` de `wesnoth-shepherd-service`, `#~(...)` pasa código de bajo nivel, mientras que `#$(...)` escapa el código de alto nivel, que el compilador convierte a código de bajo nivel. La función `make-forkexec-constructor` crea y ejecuta procesos hijos, ofreciendo funciones como establecer el usuario, el grupo, umask y las variables de entorno.

Leer más
Desarrollo G-expresiones

Paradoja de la Transparencia: Cómo la Apertura Puede Ser Contraproducente y Reducir la Confianza Pública en la Ciencia

2025-08-03
Paradoja de la Transparencia: Cómo la Apertura Puede Ser Contraproducente y Reducir la Confianza Pública en la Ciencia

Un estudio revela la 'paradoja de la transparencia': si bien la transparencia en la ciencia fomenta la confianza, revelar malas noticias (como conflictos de interés o experimentos fallidos) puede reducirla. La causa raíz, argumenta el investigador, es la visión excesivamente idealizada del público sobre la ciencia. La solución no es ocultar las malas noticias, sino mejorar la educación y la comunicación científica para presentar una imagen más realista: la ciencia no es perfecta y los científicos cometen errores. Esto fomenta expectativas más realistas y, en última instancia, una mayor confianza.

Leer más

Michael Larabel: 20 años de evaluación comparativa de hardware Linux

2025-08-03

Michael Larabel, fundador y principal autor de Phoronix.com, ha estado enriqueciendo la experiencia con hardware Linux desde 2004. Ha escrito más de 20.000 artículos sobre soporte de hardware Linux, rendimiento, controladores de gráficos y más. Larabel también es el desarrollador principal de Phoronix Test Suite, Phoromatic y OpenBenchmarking.org, herramientas cruciales para la evaluación comparativa de Linux. Sus contribuciones han avanzado significativamente la comunidad Linux.

Leer más

¿Puede la IA sentir culpa? Las simulaciones muestran la clave para la cooperación

2025-08-03
¿Puede la IA sentir culpa? Las simulaciones muestran la clave para la cooperación

Una nueva investigación sugiere que incluso agentes de IA simples pueden fomentar la cooperación simulando un mecanismo de 'culpa'. Los investigadores diseñaron un juego de dilema del prisionero iterado donde los agentes de IA elegían entre cooperación y traición. Los resultados mostraron que cuando los agentes de IA sentían 'culpa' (penalizados por puntuaciones reducidas) después de la traición y podían percibir la 'culpa' de su compañero, el comportamiento cooperativo aumentaba significativamente. Esta investigación ofrece nuevas perspectivas para el diseño de sistemas de IA más fiables y confiables, pero también destaca los desafíos de aplicar 'culpa' a la IA en el mundo real, como definir y medir el 'coste' de la IA.

Leer más
IA

El nuevo anuncio de Fiverr: La codificación por vibración de IA necesita el toque humano

2025-08-03
El nuevo anuncio de Fiverr: La codificación por vibración de IA necesita el toque humano

La última campaña publicitaria de Fiverr aborda de manera divertida las limitaciones de la 'codificación por vibración' (vibe coding) de IA. Usando la imagen humorística de un aguacate aplastado, el anuncio destaca cómo el código generado por IA, aunque aparentemente perfecto en la superficie, a menudo requiere intervención humana para tener realmente éxito. Si bien la IA reduce la barrera de entrada para la creación de aplicaciones y sitios web, Fiverr argumenta que el elemento humano es crucial para llevar un proyecto más allá de una demostración básica y convertirlo en un producto totalmente funcional. Esta campaña sigue a un anuncio controvertido anterior y tiene como objetivo reposicionar a Fiverr como una plataforma que defiende la colaboración entre la IA y el talento humano creativo.

Leer más
Tecnología

Aumentando la eficiencia en el desarrollo de bases de código complejas con Claude Code

2025-08-03
Aumentando la eficiencia en el desarrollo de bases de código complejas con Claude Code

Este artículo detalla cómo el autor utiliza Claude Code, una herramienta de codificación de IA, para implementar nuevas funciones en una base de código compleja con muchos usuarios. El autor enfatiza que las herramientas de IA no son una solución mágica y requieren la participación activa del desarrollador, la revisión del código y el cumplimiento de las mejores prácticas. El artículo describe el archivo `CLAUDE.md` del autor, que contiene reglas de codificación de IA que abarcan la preparación previa a la codificación, el proceso de codificación, las pruebas, las interacciones con la base de datos, la organización del código y el uso de herramientas. El autor comparte su flujo de trabajo con Claude Code, utilizando accesos directos como los comandos `qnew`, `qplan`, `qcode` y `qcheck` para guiar a la IA y revisar su código. Finalmente, `qgit` se utiliza para confirmar los cambios. El autor advierte a los lectores que controlen de cerca el código generado por IA, corrigiendo errores e ineficiencias para evitar la acumulación de deuda técnica.

Leer más

NAS de 5 Bahías Impreso en 3D: Una Alternativa Económica al Minisforum N5

2025-08-03
NAS de 5 Bahías Impreso en 3D: Una Alternativa Económica al Minisforum N5

Este artículo describe un NAS de 5 bahías DIY, el N5 Mini, construido con impresión 3D y compatible con varios mini PC. Inspirado en el Minisforum N5, pero buscando la asequibilidad, el autor diseñó esta alternativa económica. Los objetivos de diseño incluían encajar en camas de impresoras 3D comunes, replicar la estética del Minisforum N5, bajo consumo de energía y facilidad de montaje. El artículo explica detalladamente el proceso de diseño, los componentes necesarios y los pasos de montaje, incluyendo las conexiones de energía y la instalación del disco duro. El costo final es de alrededor de US$ 200 (sin incluir el mini PC), significativamente más barato que productos comerciales comparables, lo que lo convierte en un proyecto de código abierto atractivo.

Leer más
Hardware

LangExtract: Una biblioteca de extracción de información estructurada basada en LLM

2025-08-03
LangExtract: Una biblioteca de extracción de información estructurada basada en LLM

LangExtract es una potente biblioteca de Python que utiliza modelos de lenguaje grandes (LLM) para extraer información estructurada de documentos de texto no estructurados. Procesa materiales como notas y reportes clínicos, identificando y organizando detalles clave con precisión, asegurando que los datos extraídos coincidan perfectamente con el texto original. Admite varios LLM, incluyendo Google Gemini, y cuenta con funciones de procesamiento de documentos largos y visualización interactiva. Con pocas líneas de código, simplifica tareas complejas de extracción de información, revolucionando los flujos de trabajo de procesamiento de datos.

Leer más

La crisis secreta en la enseñanza de lectura en la escuela primaria estadounidense: el sistema de 'tres claves' desmentido

2025-08-03
La crisis secreta en la enseñanza de lectura en la escuela primaria estadounidense: el sistema de 'tres claves' desmentido

Este artículo expone un problema de larga data en la enseñanza de lectura en la escuela primaria estadounidense: el sistema de 'tres claves', ampliamente utilizado. Este método, que enseña a los niños a adivinar palabras usando imágenes, gramática y contexto, ha sido refutado por la ciencia cognitiva. Las investigaciones muestran que los lectores expertos se basan en el reconocimiento rápido y preciso de palabras, mientras que el sistema de 'tres claves' dificulta este desarrollo al fomentar las conjeturas. El artículo utiliza la experiencia personal de una madre y extensas investigaciones para argumentar a favor de un cambio desde este enfoque obsoleto hacia la enseñanza de la fonética basada en evidencia científica, asegurando que los niños desarrollen una verdadera competencia lectora. La consecuencia de este sistema defectuoso es un número alarmante de niños que tienen dificultades para leer, afectando su desarrollo general y sus perspectivas futuras.

Leer más

Mezzano OS: Un sistema operativo escrito en Common Lisp alcanza hitos importantes

2025-08-03
Mezzano OS: Un sistema operativo escrito en Common Lisp alcanza hitos importantes

Mezzano, un sistema operativo escrito en Common Lisp, ha lanzado su última demostración, mostrando avances significativos. Desde su lanzamiento inicial, Mezzano ha experimentado mejoras dramáticas en estabilidad, rendimiento y características, incluyendo soporte para sistemas de archivos EXT2/3/4, una pila USB, soporte 3D con aceleración por hardware a través de Virgl y soporte multinúcleo. Si bien la ejecución en hardware arbitrario aún requiere intervención del usuario, el proyecto demuestra una innovación impresionante en la comunidad de Common Lisp.

Leer más
Desarrollo

Sentinel-2 Super-Resolution GUI: Mejora de imágenes de satélite con facilidad

2025-08-03
Sentinel-2 Super-Resolution GUI: Mejora de imágenes de satélite con facilidad

Esta aplicación de escritorio fácil de usar, Sentinel-2 Super-Resolution GUI, aumenta la resolución de las imágenes de satélite Sentinel-2. Utilizando un modelo de IA preentrenado, aumenta las bandas estándar de 10 metros Azul, Verde, Rojo e Infrarrojo Cercano (NIR) a 2x de resolución más alta. Los usuarios pueden mejorar fácilmente sus imágenes sin complejidades de línea de comandos. La aplicación genera archivos GeoTIFF y JPG, ofreciendo vistas previas interactivas y opciones de nitidez para una fácil comparación y visualización.

Leer más
Tecnología

KeygenMusic: Un reproductor de música tracker online nostálgico evoluciona de β1 a β15

2025-08-03
KeygenMusic: Un reproductor de música tracker online nostálgico evoluciona de β1 a β15

KeygenMusic es un reproductor de música online que admite los formatos .mod, .xm, .s3m e .it, con música exclusivamente de keygens. Desde su lanzamiento β1 en abril de 2015, ha experimentado numerosas actualizaciones, corrigiendo la compatibilidad con Firefox, eliminando la reproducción automática, mejorando el estilo, agregando controles de teclas multimedia, favoritos y actualizando continuamente su biblioteca de música (de keygenmusic.net). Este reproductor refleja casi una década de desarrollo, ofreciendo más que solo reproducción: es un viaje a través de sonidos nostálgicos.

Leer más

La Crisis Intelectual del Escepticismo Profesional: Un Sacrificio de la Verdad

2025-08-03
La Crisis Intelectual del Escepticismo Profesional: Un Sacrificio de la Verdad

Este artículo explora cómo los escépticos profesionales, en sus críticas a los fenómenos paranormales, han distorsionado hechos debido a prejuicios y falta de evidencia, sacrificando la verdad. Usando los casos de Martin Gardner y J.B. Rhine como ejemplos, el autor revela que las acusaciones de manipulación y mala conducta en investigaciones parapsicológicas a menudo carecen de evidencia creíble e incluso fabrican hechos. El artículo aboga por un enfoque más riguroso, objetivo y científicamente sólido al escepticismo.

Leer más

Nuevas APIs de HTML Canvas para renderizar contenido HTML

2025-08-03
Nuevas APIs de HTML Canvas para renderizar contenido HTML

Una nueva propuesta introduce APIs para renderizar contenido HTML en los contextos HTML Canvas 2D y WebGL. Esto aborda las limitaciones existentes en Canvas para manejar diseños complejos, accesibilidad, internacionalización y rendimiento. Las nuevas APIs, incluyendo `layoutsubtree`, `drawElement`, `texElement2D` y `setHitTestRegions`, permiten a los desarrolladores renderizar elementos HTML y sus subárboles en el canvas y gestionar las pruebas de acierto. La propuesta está actualmente en desarrollo y hay una prueba disponible para desarrolladores.

Leer más

Formalizando el Último Teorema de Fermat en Lean: Un Proyecto de Código Abierto

2025-08-03
Formalizando el Último Teorema de Fermat en Lean: Un Proyecto de Código Abierto

Un ambicioso proyecto de código abierto tiene como objetivo probar formalmente el Último Teorema de Fermat utilizando el probador de teoremas Lean. Liderado por Kevin Buzzard y financiado por la EPSRC, con sede en el Imperial College London, el proyecto emplea una variante moderna de la prueba original de Wiles/Taylor-Wiles, planificada en colaboración con Richard Taylor. El sitio web del proyecto proporciona detalles sobre el Último Teorema de Fermat, el probador Lean, los objetivos del proyecto y las pautas de contribución.

Leer más
Desarrollo

Observatorios Remotos de Sierra: Imagenamiento Astronómico de Clase Mundial

2025-08-03
Observatorios Remotos de Sierra: Imagenamiento Astronómico de Clase Mundial

Los Observatorios Remotos de Sierra cuentan con más de 180 telescopios y ofrecen servicios de imágenes astronómicas remotas de clase mundial, adquisición de datos, seguimiento de satélites y comunicaciones espaciales. Las condiciones de observación excepcionales incluyen: 1 segundo de arco de visión estival, pico de visión sub-segundo de arco, 290 noches despejadas al año, cielos oscuros (21,80 mag/arcsec²), sin monzones de verano y una velocidad de viento promedio de 1 mph. La infraestructura incluye soporte técnico 24/7, acceso fácil, internet de fibra óptica de 1 Gbps (velocidades más altas disponibles), servicios de taller y instalaciones llave en mano.

Leer más
1 2 84 85 86 88 90 91 92 595 596