Thomas Hales on Lean theorem prover reliability and AI

A cybersecurity expert with 10 years in the field watched GLM 5.3, described as ancient by LLM standards, reverse engineer a Dell monitor in 15 minutes using the Ghidra MCP. The demo was posted to r/Singularity.

A Reddit r/ClaudeAI user reports Claude refuses to help reverse engineer or bypass proprietary software while attempting custom firmware for a Titan One device. No workaround or resolution is described in the post.

Gavriel Cohen built NanoClaw in a 40-hour weekend as a container-isolated alternative to OpenClaw, released under the MIT license. The project became a viral open source hit and the foundation of enterprise AI company NanoCo, built on containers, TypeScript, and a two-database SQLite design.

Jane Street research intern Kavish built a diffusion model to synthesize order-book events, including order arrival timing, as part of the firm's 2026 summer intern projects. The post weighs whether market data is continuous like video or discrete like text, noting spiky distributions such as pennying being more common than two-tick improvements.

A Reddit user created four mockups of what ChatGPT might have looked like on Windows 98, XP, Vista, and 7, imagining the interface evolving from a clunky Netscape-era question-and-answer page.

A developer published 20 free, open-source HTML pages intended as visual-identity starting points for Claude Code projects, with no login required. The stated problem: Claude Code generates functional interfaces easily, but a consistent, distinctive look still takes heavy iteration.