
Machine-Assisted Proof Settles Eleven-Square Packing
An automated search has formally resolved the optimal configuration for packing eleven squares, replacing geometric intuition with exhaustive verification. The trade-off is a definitive answer that leaves the underlying structural elegance obscure to human eyes.
Physical Plastic Restored to Digital Grid: Rebuilding the Commodore 64 Typeface
Engineers have translated physical keycap contours from the Commodore 64 into a functional digital font, bypassing synthetic approximations through direct photographic measurement. While this preserves a tactile era of computing, it highlights how much modern software interfaces rely on weightless abstraction.
A Machine Rewrites the Compiler
An automated translation of the TypeScript compiler toolchain into Rust demonstrates the brute-force viability of LLMs for massive codebase refactoring, though it leaves the resulting maintainability largely unproven.