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
Cómo encontrar fallos en sistemas que no existen: métodos formales para programadores
Hillel Wayne, autor de "Logic for Programmers" y especialista en métodos formales, ofreció esta charla en la conferencia Software Should Work (SSW) 2026 titulada "How to Find Bugs in Systems That Don't Exist". La presentación introduce los métodos formales, disciplina que usa matemáticas para analiz
