El antiteísmo es la actitud ideológica básica activa que rechaza cualquier creencia en un Dios o dioses porque al menos no tiene sentido, a veces la clasifica como dañina y peligrosa, a veces se opone activamente a cualquier forma de teísmo y, como antiteísmo fuerte, lucha contra la religión. El término ha tenido un variado espectro de aplicaciones; en contextos seculares, típicamente se refiere a la oposición directa a la religión organizada o a la creencia en cualquier deidad, mientras que en

Ver en Wikipedia

Noticias que mencionan Antithesis

Lecciones de fiabilidad de SQLite, según su creador Richard Hipp

SQLite es una biblioteca escrita en C que implementa un motor de base de datos relacional autónomo, embebido en proceso y con soporte completo de SQL: incluye un planificador de consultas avanzado y transacciones ACID. Por distintas mediciones, se trata de la biblioteca de software más utilizada del

De las derivaciones a los despliegues: Nix práctico en producción

John Murray, ingeniero de Antithesis, presenta en la conferencia Software Should Work 2026 una charla titulada "Derivations to Deployments: Practical Nix in Production". En ella expone cómo la compañía adoptó Nix de forma intensiva en toda su pila tecnológica y en sus procesos de despliegue, movida

Planes de fin de semana: un hilo abierto para compartir proyectos y desconectar

Un hilo comunitario abierto invita a los participantes a compartir qué harán este fin de semana, sin importar si se trata de programar, escribir, navegar o simplemente descansar. El formato está pensado como un espacio informal de puesta al día, donde se admiten peticiones de ayuda o de opinión y do

Antithesis completa el Tetris de NES hasta el «renacimiento» en el nivel 255

Un ingeniero de Antithesis relata cómo la empresa consiguió finalmente «vencer» al Tetris de la NES, un objetivo que persigue desde 2021 y que quedó estancado en el nivel 160 cuando los jugadores adolescentes llevaron el rendimiento humano más allá de lo que su plataforma de pruebas había explorado.

Turso cierra su programa de bug bounty por avalancha de contribuciones de IA

Turso, empresa especializada en bases de datos y reescritura de SQLite, ha anunciado el cierre de su programa de bug bounty que ofrecía 1.000 dólares por errores que causaran corrupción de datos. La decisión se tomó debido a la oleada masiva de contribuciones automatizadas de baja calidad generadas

Skiplists: la estructura de datos que optimiza análisis

Este artículo de Antithesis.com explora el uso de 'skiplists' y una extensión llamada 'skiptrees' para resolver un problema específico de rendimiento en el análisis de datos. Inicialmente, los skiplists se consideraban una estructura de datos de nicho, pero la empresa descubrió su utilidad para opti

Hegel: pruebas avanzadas llegan a más lenguajes

Antithesis ha lanzado Hegel, una nueva familia de bibliotecas de pruebas basadas en propiedades, disponibles inicialmente para Rust y con planes de expansión a Go, C++, OCaml y TypeScript. Hegel busca replicar la calidad de las pruebas basadas en propiedades de Hypothesis en múltiples lenguajes, int

Bombadil: nueva herramienta automatiza pruebas de UI web

Antithesis ha lanzado 'Bombadil', una nueva herramienta experimental para automatizar las pruebas basadas en propiedades de interfaces de usuario web. La herramienta, disponible desde ahora, explora y valida automáticamente la corrección de las propiedades de la UI, con el objetivo de detectar error

Super Mario Bros.: IA Juega y Descubre el Juego

Investigadores han demostrado con éxito la prueba autónoma del juego Super Mario Bros., utilizando un enfoque innovador inspirado en el artículo de Antithesis sobre 'State-Driven Talk'. El sistema, cuyo código fuente está disponible en GitHub, explora el amplio espacio de estados del juego sin inter

Antítesis Fusiona C++ y Rust para Mejorar Pruebas de Software

Antítesis, una empresa especializada en pruebas de software, ha desarrollado una técnica innovadora para integrar código C++ de un solo hilo con código Rust de múltiples hilos y asíncrono. Esta integración es crucial para su fuzzer, una herramienta que busca vulnerabilidades en software mediante la