Noticias que mencionan Circle

Carreteras en Videojuegos: Arte, Matemáticas y Realidad

Este artículo explora la fascinación del autor por las carreteras, desde su infancia jugando SimCity hasta su análisis profundo de cómo se representan en los videojuegos y en la vida real. Inicialmente cautivado por la libertad que ofrecen los motores de juego modernos para crear carreteras intrinca

NAVER presenta LispE: Nuevo intérprete de Lisp versátil

NAVER, una importante empresa tecnológica surcoreana, ha anunciado el lanzamiento de LispE, un nuevo intérprete de Lisp diseñado para ser compacto y versátil. LispE combina características de lenguajes funcionales y de arreglos, buscando ofrecer una plataforma multi-plataforma para desarrolladores.

Manim: Animaciones Matemáticas, Ahora Sin Python

Un desarrollador ha lanzado 'manim-web', una versión de la popular herramienta de animación matemática Manim que ahora puede ejecutarse directamente en navegadores web sin necesidad de Python. La iniciativa, liderada por Maloyan y disponible en GitHub, permite a los usuarios crear animaciones comple

Puntos aleatorios: un truco de probabilidad

Este artículo explora un problema de probabilidad aparentemente sencillo: si se colocan aleatoriamente cuatro puntos en una circunferencia, ¿cuál es la probabilidad de que todos estén contenidos en la misma semicircunferencia? La respuesta intuitiva, basada en la idea de que cada punto tiene una pro

Web transforma fotos en arte geométrico

Un desarrollador ha lanzado una aplicación web innovadora que reconstruye imágenes utilizando formas geométricas básicas, como triángulos, rectángulos y círculos. La herramienta, disponible en [primitive-playground.taiseiue.jp](https://primitive-playground.taiseiue.jp/), transforma cualquier imagen

IA y apps: nuevos retos para creadores y monetización

El artículo explora un nuevo modelo de negocio para plataformas que facilitan la creación de aplicaciones, especialmente para un segmento emergente de creadores llamados "vibe coders". Estos son individuos que pueden construir aplicaciones funcionales utilizando herramientas de IA sin tener conocimi

Quint: Herramienta valida código de IA para evitar errores

Informal Systems ha desarrollado una herramienta llamada Quint para mejorar la fiabilidad del código generado por modelos de lenguaje grandes (LLMs). La herramienta surge de la preocupación por la creciente dependencia de la IA en la programación y la dificultad de validar la corrección del código g

C++: Cómo funciona el borrado de tipo en std::any

Este artículo explora la técnica de "type erasure" (borrado de tipo), un mecanismo fundamental detrás de la implementación de `std::any` en C++. La idea principal es permitir trabajar con objetos de diferentes tipos a través de una interfaz común, ocultando los tipos concretos subyacentes. El artícu

Ataque a protocolo Solana: roban 285 millones de dólares

El protocolo Drift, la mayor bolsa de futuros perpetuos en Solana, sufrió un ataque que resultó en la extracción de 285 millones de dólares el 1 de abril de 2026. El ataque, que tardó aproximadamente 12 minutos según TRM Labs, no explotó vulnerabilidades en el código del contrato inteligente, sino q

Guía de estilo C++: consejos de su creador

Este documento, originalmente una FAQ mantenida por Bjarne Stroustrup (creador de C++), aborda aspectos cruciales del estilo y las técnicas de programación en C++. Aunque ahora se recomienda consultar el [C++ FAQ](http://isocpp.org/faq) y las [C++ Core Guidelines](https://github.com/isocpp/CppCoreG