Articles by logicprog
10

Contra Benn Jordan, data center (and all) sub-audible infrasound issues are fake (andymasley.com)

1

Scientists discover AI can make humans more creative (sciencedaily.com)

4

Anthropic could be exaggerating about the distillation efforts of Chinese labs [video] (youtube.com)

3

Diffusion of Responsibility (tante.cc)

2

Beating GPT-2 for less than $100 – Andrej Karpathy (github.com/karpathy)

3

Trump Admin to Spend $40B to Turn Warehouses into Immigration Jails (commondreams.org)

1

Property-based testing as executable specs for agentic coding (kiro.dev)

2

Code only says what it does (brooker.co.za)

1

The success of 'natural language programming' (brooker.co.za)

1

Can AI Pass Cornell CS2112? (youtube.com)

2

The Problem Is Culture (deadsimpletech.com)

1

Information liberation: Challenging the corruptions of information power (uow.edu.au)

19

Extracting books from production language models (2026) (arxiv.org)

1

The Phenomenology of Agentic Coding (neonvagabond.xyz)

3

Linus Torvalds is 'a believer' in using AI to maintain code (zdnet.com)

3

DeepSeek v3.2 Technical Report (hf.co)

1

MiniMax M2 Tech Blog 3: Why Did M2 End Up as a Full Attention Model? (twitter.com/zpysky1125)

2

Big Nuclear's Big Mistake – Linear No-Threshold (youtube.com)

4

Show HN: HTML Commenter (alexispurslane.github.io)

3

ECA: Editor (Agnostic) Code Assistant (eca.dev)

1

Everything about the GNOME finance situation [video] (youtube.com)

62

[flagged] Fyrox - A feature-rich game engine built in Rust (fyrox.rs)