Lean Grimoire(terrytao.wordpress.com)
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
First screen, captured . Open the video.

Captured . Click for the whole screenshot.
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
7 points by AmSach | 3 comments
GitHub repository for MAPLE, a Mixture-of-Experts pruning framework that compresses Gemma 4 26B-A4B to a 4.75 GB GGUF to run fully in VRAM on 6 GB GPUs.
102 points by dmit | 22 comments
Raph Levien's Linebender blog post describing a JIT technique for fast proportional bitmap text rendering on the RP2350 microcontroller in his vic-2350 project.
5 points by raphlinus | 1 comments
Raph Levien's Linebender blog post describing a JIT technique for fast proportional bitmap text rendering on the RP2350 microcontroller for his vic-2350 project.
72 points by ColinWright | 52 comments
A Mastodon post quoting and linking a 404 Media report on Proton CEO Andy Yen pushing employees to adopt AI coding, tracking AI-generated code, and ending engineer hiring.
698 points by theanonymousone | 203 comments
Simon Willison blog post testing whether Qwen 3.8 27B running locally can identify which game a neural network was trained on from its raw weights, following a recent paper.
446 points by Bogdanp | 199 comments
Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.
415 points by Fibonar | 153 comments
A FutureSearch engineer's blog post with the Claude Code transcript of discovering the compromised LiteLLM PyPI release and getting it quarantined.
21 points by fk33 | 3 comments
Kevin Beaumont's DoublePulsar post reporting that a compromised Claude Code extension version for VS Code and Cursor installed an SSH reverse backdoor on developer machines.
120 points by jiegec | 6 comments
A blog post investigating a hardware erratum on the Loongson LA664 CPU where an atomic instruction loses updates, causing an infinite loop while packaging normaliz for Debian.
541 points by drob518 | 454 comments
Bram Cohen blog post arguing that the leaked Claude source code's poor quality reflects vibe coding dogfooding taken to cult-like extremes.
339 points by ulrischa | 264 comments
Simon Willison blog post arguing that LLM hallucinations in code are the least harmful kind of mistake because running the code exposes them immediately.