#agda

The Mirror and the Map: A Journey Through Epistemology, Ontology, and the Architecture of Machine…

An extended meditation on how AI agents navigate the ancient philosophical circle between being and knowing

Open World vs Closed World: Modeling OWL and SHACL Semantics in Agda

The tension between the Open World Assumption (OWA) and Closed World Assumption (CWA) represents one of the fundamental philosophical and…

Beyond OWL and SHACL: Why Dependent Type Theory is the Future of Knowledge Representation

For over two decades, the semantic web community has relied on OWL (Web Ontology Language) and SHACL (Shapes Constraint Language) as the…

Solving Logic Puzzles with Dependently Typed Functional Programming

Agda is a dependently typed functional programming language and a proof assistant. Agda uses the Programs as Proof paradigm in which…

“Agda”: A Jornada de um Corpo Feminino, Desejo e Espiritualidade

A adaptação do conto de Hilda Hilst leva a um mergulho profundo na essência do erotismo através da performance corporal e poesia.

Getting Agda up and running

TLDR : Agda + VSCode for HoTT summer school.

Doublejump Digest: May 10, 2021