software · 5 menciones
El presente texto explora el fascinante campo de la etnomatemática, una disciplina que busca identificar conceptos matemáticos inherentes a las prácticas culturales de diferentes pueblos. Gloria Gilmer, matemática y educadora, se centra en cómo las técnicas de trenzado en la comunidad afroamericana
Este artículo explora el concepto de un "lenguaje de programación perfectible", ejemplificado por Lean. La idea central es que un lenguaje perfectible no solo permite escribir código, sino también expresar propiedades sobre ese código dentro del propio lenguaje. Esto abre la puerta a la verificación
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
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
Un desarrollador ha lanzado 'Voog', un sintetizador virtual de estilo Moog de código abierto, construido en Python. El proyecto, disponible en GitHub, ofrece una alternativa gratuita y personalizable a los sintetizadores comerciales. Voog imita la estética del Subsequent 37, con una interfaz gráfica
