software · 8 menciones
PySR es una herramienta de código abierto diseñada para la regresión simbólica, un subcampo del aprendizaje automático cuyo objetivo es encontrar expresiones simbólicas interpretables que optimicen un objetivo específico. Desarrollada por el equipo AstroAutomata, esta librería combina Python y Julia
La representación de números en computación no se limita a los puntos flotantes estándar, que operan en base binaria y pueden introducir errores de precisión. Existen cinco alternativas principales implementadas en software, cada una con ventajas y desventajas específicas en términos de velocidad y
El artículo detalla el proceso de ingeniería inversa utilizado para identificar y replicar el generador de números pseudoaleatorios (PRNG) del videojuego Factorio. El objetivo principal es permitir a los jugadores predecir eventos aleatorios, como la calidad de los objetos fabricados, mediante el cá
MathKernel es una biblioteca de Python y servidor MCP (protocolo de contexto para modelos) que actúa como núcleo matemático multi-motor diseñado para que los modelos de lenguaje de gran tamaño (LLM, por sus siglas en inglés) puedan realizar cálculos avanzados sin sacrificar el rigor. La herramienta
Charlie Marsh, creador de uv, ha propuesto el pull request #21327 en el repositorio astral-sh/uv para deduplicar todos los archivos almacenados en la caché de wheels del gestor de paquetes. El cambio modifica el proceso de extracción y hash por contenido para que los archivos de un wheel compartan u
En una entrada reciente de blog, el matemático John D. Cook profundiza en una aproximación coseno a la función gaussiana exp(−z²) ≈ (1 + cos(sin(z) + z))/2 que había presentado en días anteriores. Las dos expresiones se aproximan bien a lo largo del eje real, pero divergen notablemente en el imagina
Sostactic es una herramienta innovadora que extiende las capacidades de los sistemas de demostración de teoremas como Lean 4 para probar desigualdades polinómicas. Tradicionalmente, probar estas desigualdades en Lean ha sido limitado por tácticas como `nlinarith` y `positivity`. Sostactic supera est
CasNum es una biblioteca de Python única que implementa aritmética de precisión arbitraria utilizando construcciones de compás y regla, una técnica geométrica ancestral. En lugar de depender de operaciones aritméticas tradicionales, CasNum representa los números como puntos en un plano y realiza cál
