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.
Full page
Captured . Click for the whole screenshot. The page is longer than 25,000px, so the screenshot stops there: read the rest on docs.modelplane.ai ↗
Looks similar
OSS projects banning AI-generated contributions(osssaysno.com)
42 points by jlengrand | 70 comments
A catalogue site, Open Source Says No, listing open source projects that ban AI-generated contributions, with quotes from their policies, scope, and star counts.
Open Dylan(opendylan.org)
35 points by ofrzeta | 9 comments
Show HN: Maple – Sub-2-BPW Moe Pruning to Run Gemma 4 26B at 45 TPS on a 6GB GPU(github.com)
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.
Claude Says(ohhfishal.net)
58 points by speckx | 22 comments
Personal blog post criticizing coworkers who relay AI (Claude) answers instead of their own expertise, arguing it signals lack of authority and leads to overengineered software.
Related stories
Agentic Engineering Patterns(simonwillison.net)
460 points by r4um | 264 comments
Simon Willison's guide index of patterns for getting good results from coding agents like Claude Code and OpenAI Codex, covering principles, testing, and prompts.
Getting AI to work in complex codebases(github.com)
442 points by dhorthy | 368 comments
A GitHub markdown document from HumanLayer describing advanced context engineering techniques for getting AI coding agents to work in complex codebases.
Brex’s Prompt Engineering Guide(github.com)
467 points by appwiz | 88 comments
GitHub repository from Brex containing a guide with tips and tricks for working with large language models like OpenAI's GPT-4.
Lippitt-Knoster in Practice (Field Notes for Managing Complex Projects)(sharedphysics.com)
56 points by goopthink | 2 comments
A Shared Physics blog post explaining the Lippitt-Knoster model for managing complex change and offering field notes on applying it to long-running projects.
LLM Inference Handbook(bentoml.com)
330 points by djhu9 | 18 comments
BentoML's LLM Inference in Production handbook, a glossary and guide covering inference concepts, performance metrics, optimization techniques, and operational best practices.
Fintech Engineering Handbook(w.pitula.me)
597 points by signa11 | 184 comments
An online handbook by Voytek Pitula describing software engineering patterns for systems that handle money, covering precision, rounding, currencies, ledgers, and audit trails.