Stories by logicprog

Property-based testing as executable specs for agentic coding

Code only says what it does

The success of 'natural language programming'

Can AI Pass Cornell CS2112?

The Problem Is Culture

Information liberation: Challenging the corruptions of information power

Extracting books from production language models (2026)

The Phenomenology of Agentic Coding

Linus Torvalds is 'a believer' in using AI to maintain code

DeepSeek v3.2 Technical Report

MiniMax M2 Tech Blog 3: Why Did M2 End Up as a Full Attention Model?

Big Nuclear's Big Mistake – Linear No-Threshold

Show HN: HTML Commenter

ECA: Editor (Agnostic) Code Assistant

Everything about the GNOME finance situation [video]

Fyrox - A feature-rich game engine built in Rust

SSC Post on GPT-3: How far can we push this kind of AI?

Better off Stateless (2007) [pdf]

Capsicum: Practical Capabilities for Unix