Efficient Basic Coding for the ZX Spectrum
[Click here to read this in English ] Éste es el primero de una serie de artículos que explican los fundamentos de la (in)eficiencia de los programas en BASIC puro para el ZX Spectrum: I. Sobre los números de línea II. Sobre las variables III. Sobre las expresiones IV. Funcionalidades diversas y medida del tiempo […]
Show HN: A local-first memory store for LLM agents (SQLite)
VS Code Extension • Report Bug • Request Feature • Discord server Long‑term memory for AI systems. Self‑hosted. Local‑first. Explainable. Scalable. A full cognitive memory engine — not a vector database. Add Memory to AI/Agents in one line. 🔥 Spread the Word! Why OpenMemory? Traditional Vector DBs require extensive setup, cloud dependencies, and vendor […]
Dogalog: A realtime Prolog-based livecoding music environment
Dogalog is a realtime Prolog-based livecoding music environment where you write logic rules to create algorithmic rhythmic patterns and melodies. Livecoding: Auto-evaluation with visual feedback – code changes apply automatically State Preservation: Cycle counters and cooldowns persist across updates Interactive Tutorial: Built-in 13-step guided tutorial for learning PWA Support: Install as an app, works offline […]
Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem
On November 25th, 2025, we were on a routine Slack huddle debugging a production issue when we noticed something strange: a PR in one of our internal repos was suddenly closed, showed zero changes, and had a single commit from… Linus Torvalds? The commit message was just “init.” Within seconds, our #git Slack channel exploded […]
Surface Tension of Software
How systems hold their shape through constraint, and why integrity emerges from what you make impossible If you press your finger against water, it pushes back. That invisible resistance, surface tension, keeps the liquid whole even when disturbed. Good software has something like it. Some systems hold together when you change them; others leak at […]
Compiler Engineering in Practice
“Compiler Engineering in Practice” is a blog series intended to pass on wisdom that seemingly every seasoned compiler developer knows, but is not systematically written down in any textbook or online resource. Some (but not much) prior experience with compilers is needed. What is a compiler? The first and most important question is “what is […]
Modern SID chip substitutes [video]
Lean Theorem Prover Mathlib
Mathlib is a user maintained library for the Lean theorem prover. It contains both programming infrastructure and mathematics, as well as tactics that use the former and allow to develop the latter. Installation You can find detailed instructions to install Lean, mathlib, and supporting tools on our website. Alternatively, click on one of the buttons […]
If a Meta AI model can read a brain-wide signal, why wouldn’t the brain?
Did you know migratory birds and sea turtles are able to navigate using the Earth’s magnetic field? It’s called magnetoreception. Basically, being able to navigate was evolutionarily advantageous, so life evolved ways to feel the Earth’s magnetic field. A LOT of ways. Like a shocking amount of ways. Here’s a few examples: Magnetotactic bacteria – […]
An Implementation of J
An Implementation of J ‘ An Implementation of JRoger K.W. Hui Copyright © 1990-2011, Jsoftware Inc. last updated: 2000-06-23 Preface J is a dialect of APL freely available on a wide variety of machines. It is the latest in the line of development known as “dictionary APL”. The spelling scheme uses the ASCII alphabet. The […]