Show HN: I Turned DOOM into a Transformer

kept by eddie oct 30

A developer ported the classic game DOOM to run inside a transformer neural network by encoding game state and rendering graphics through token predictions.

Lean Verified Transformers — Lean Verified Transformers
This post shows how to use Lean to write AI-generated proofs verifying equivariance and invariance properties of Transformer neural networks.
also on transformers, #machine-learning
The PR you would have opened yourself
Hugging Face built a Claude Code Skill and test harness that helps contributors port language models from transformers to mlx-lm while preserving code quality and reviewer trust.
also on transformers, #machine-learning
How liminalism became the defining aesthetic
The article argues that liminalism has become the defining aesthetic of the modern era, but Hacker News commenters widely disagree, calling it a microniche.
also on DOOM
I'm Scared About Biological Computing
A blogger expresses fear that lab-grown neurons trained to play DOOM may be conscious, questioning where the line between AI and biological life should be drawn.
also on DOOM