149 Followers
137 Following
593 Posts

#OpenBSD admin since 2.8. #Golang dev since 1.8. #Philosopher, #Minimalist

Una solución no puede ser más compleja que el problema que pretende resolver.
A solution cannot be more complex than the problem it is intended to solve.

perl -le '$_="=6<678428378>12376=2>:02;:19<5>:4"; tr[0->][DREAM.IT KOWSVC]; print'

Philosophy@joakinen
@joakinen efectivamente, la clave está en la responsabilidad y es lo que explicitan por ejemplo en el último anuncio del proyecto del navegador ladybird: https://simonwillison.net/2026/Jun/5/andreas-kling/
A quote from Andreas Kling

We will no longer accept public pull requests. [...] A substantial patch used to imply substantial effort, and that effort was a reasonable proxy for good faith. That assumption no …

Simon Willison’s Weblog

Me ha llamado mucho la atención esta frase de Linus Torvalds en el Open Source Summit North America de este año:

«La IA es una gran nueva herramienta, pero es una herramienta. Y cuando veo a gente decir "el 99% de nuestro código lo escribe la IA", me da literalmente rabia, porque esas mismas personas —casi te lo puedo garantizar— tienen el 100% de su código escrito por compiladores. Pero eso nunca lo dicen.»

Me parece una forma muy lúcida de poner las cosas en su sitio. Nadie dice que el compilador "escribió" su programa, porque damos por hecho que es la herramienta y que el trabajo real está en entender el sistema, decidir la arquitectura y revisar lo que genera.

Con la IA debería pasar lo mismo.

Por eso me chirría un poco la frase "esto lo escribió la IA", aplicada a código o a un documento. La herramienta genera; la persona decide qué entra, qué se corrige y qué se descarta. Ese criterio no lo delega en el modelo. Cambiar de herramienta no cambia de quién es la responsabilidad sobre el resultado.

¿Y si pones en producción el código generado por la IA sin revisarlo? Cuando no revisas, no transfieres la responsabilidad al modelo: lo que haces es quedarte con la responsabilidad plena de algo que ya no entiendes. Es una abdicación: has aceptado responder por un resultado cuyo porqué desconoces.

https://thenewstack.io/torvalds-ai-programming-productivity/

Why Linux creator Linus Torvalds gets angry hearing "99% of code is AI"

Linus Torvalds says AI boosts programmer productivity but can't replace human understanding of code, system architecture at Open Source Summit keynote.

The New Stack

El verdadero problema de la programación (Dijkstra dixit) no es escribir sintaxis, es transformar pensamientos humanos ambiguos, contradictorios e imprecisos en lógica computacional exacta y sin ambigüedad. Los lenguajes naturales nunca serán adecuados para esto (cita de Dijkstra: "nunca programaremos en inglés, francés o español"). Los LLMs no "entienden", solo predicen patrones estadísticos.

https://codemanship.wordpress.com/2025/11/25/the-future-of-software-development-is-software-developers/

The Future of Software Development is Software Developers

Psst. If your boss won’t invest in training you in Specification By Example (BDD, ATDD), I’m running out-of-hours workshops on May 12 and 16 specifically for self-funding learners. £99 + UK VAT. I&…

Codemanship's Blog

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.

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

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
Beginning January 2026, all ACM publications and related artifacts in the ACM Digital Library will be made open access.
https://dl.acm.org/openaccess
"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

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