Newest papers

Knowledge as Code

Martin Monperrus · 2026 · arXiv (Cornell University)

DOI: 10.48550/arxiv.2610.27693 · cited by 0 works (OpenAlex) · open-access PDF

Indonesian

Selama ribuan tahun, pengetahuan telah dibawa oleh bahasa, dan model bahasa besar masih menempatkan bahasa di pusat. Namun, agen pengkodean yang dibangun pada model ini sebagian besar menulis kode. Dokumen ini adalah kontribusi untuk epistemologi, yang bertanya apa jenis kode pengetahuan dan bagaimana ia diperoleh. Kami mendefinisikan pengetahuan sebagai kode sebagai pengetahuan yang ditulis dalam bahasa pemrograman atau dalam format data yang dapat dibaca mesin, yang validitasnya dapat diperiksa dengan mengeksekusinya. Kami mendefinisikan tiga belas sifat epistemik media pengetahuan dan menunjukkan bahwa kode adalah media pertama untuk memiliki semua dari mereka. Kami membedakan dua cara di mana pengetahuan memasuki kode, pengkodean dan belajar dengan eksekusi, di mana kode adalah catatan eksperimen dan hasilnya. Agen membuat belajar dengan eksekusi dapat diamati, karena trajektori mereka mencatat setiap, pengamatan dan garis kode yang mereka

Machine translation (Meta M2M100); the English original follows.

Abstract

For millennia, knowledge has been carried by language, and large language models still put language at the center. Yet the coding agents built on these models mostly write code. This paper is a contribution to epistemology, which asks what kind of knowledge code is and how it is obtained. We define knowledge as code as knowledge written in a programming language or in a machine-parsable data format, whose validity can be checked by executing it. We define thirteen epistemic properties of knowledge media and show that code is the first medium to have all of them. We distinguish two ways in which knowledge enters code, encoding and learning by execution, where code is both the experiment and the record of its result. Agents make learning by execution observable, since their trajectories record every probe, observation and line of code they keep. Code is thus not only a tool of knowledge work but a knowledge medium in its own right, the first that can check what it holds.

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Topics: Computer science, Code (set theory), Programming language, Coding (social sciences), Knowledge-based systems, Knowledge extraction

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange