Mastodawn

https://www.theregister.com/2025/12/23/unix_v4_tape_successfully_recovered/

Dec 30

UNIX V4, la primera versión del sistema operativo UNIX cuyo núcleo fue escrito en el entonces novedoso lenguaje C, ha sido recuperado con éxito desde una cinta de nueve pistas de la década de 1970, encontrada recientemente en la Universidad de Utah cuando el personal, durante la limpieza de un almacén, halló una cinta que contenía la versión de UNIX v4 de Bell Labs circa 1973; su contenido fue extraído por el curador de software del Computer History Museum, Al Kossow.

UNIX V4 tape successfully recovered: First ever version of UNIX written in C is running again

: Crucial early evolutionary step found, imaged, and ... amazingly ... works

The Register

Dec 19

Beginning January 2026, all ACM publications and related artifacts in the ACM Digital Library will be made open access.
https://dl.acm.org/openaccess

Dec 18

"The problem with object-oriented languages is they’ve got all this implicit environment that they carry around with them. You wanted a banana but what you got was a gorilla holding the banana and the entire jungle."
— Joe Armstrong, co-creator of Erlang

Dec 11

Durante años hemos repetido lo mismo: los modelos de lenguaje son la mejor tecnología para generar ideas, pero se inventan leyes, referencias y autores

Pues llega Prolog. Otra vez. Pero ahora en modo 2025.

Prolog MCP Server 2025: el copiloto lógico que tus LLM necesitan
https://cienciasucia.com/post/802657016130715648/prolog-el-copiloto-l%C3%B3gico-de-los-llm

Prolog MCP Server 2025: el copiloto lógico que tus... • Ciencia Sucia

Prolog MCP Server 2025: el copiloto lógico que tus LLM necesitanDurante años hemos repetido lo mismo: los modelos de lenguaje son la mejor tecnología para generar ideas, pero se inventan leyes,...

Engineering Neurosymbolic AI.

The top of the stack: methods for integrating neural models with symbolic reasoning. This is where the entire set converges into transparent, accountable AI architectures.

6/6

Artificial Intelligence: A Modern Approach

Russell & Norvig give the conceptual foundations of search, planning, uncertainty, and agents. It situates all other books within a coherent, classical AI framework.

5/6

Learn Prolog Now!

A straightforward entry into symbolic logic and rule-based reasoning. It supplies the symbolic substrate needed for explainable decision paths.

4/6

Causal Inference and Discovery in Python

Molak introduces causal graphs, interventions, and counterfactual reasoning. This is the bridge from raw prediction to explainability with structure and mechanism.

3/6