Lean
18 items across the graph · 4 news stories — tagged with Lean.
Latest news
Amazon’s Trillion-Dollar Capex Gamble vs Shopify’s Lean Profitability Strategy - 24/7 Wall St.
Amazon’s Trillion-Dollar Capex Gamble vs Shopify’s Lean Profitability Strategy 24/7 Wall St.
Read full story →More news · 3
Amazon’s Trillion-Dollar Capex Gamble vs Shopify’s Lean Profitability Strategy - Yahoo Finance
Amazon’s Trillion-Dollar Capex Gamble vs Shopify’s Lean Profitability Strategy Yahoo Finance
Read full story →Does code cleanliness affect coding agents? A controlled minimal-pair study
Article URL: https://arxiv.org/abs/2605.20049 Comments URL: https://news.ycombinator.com/item?id=48798815 Points: 110 # Comments: 58
Read full story →Does Code Cleanliness Affect Coding Agents?
Article URL: https://arxiv.org/abs/2605.20049 Comments URL: https://news.ycombinator.com/item?id=48798815 Points: 74 # Comments: 33
Read full story →From the graph · 14
Refine high-quality datasets and visual AI models
Machine learning with dataframes
LLMs as Copilots for Theorem Proving in Lean
AI code reviews grounded in 12 classic engineering books — decay risk diagnostics with book citations, severity labels, and 6 analysis modes including full-swee…
An AI-powered tool to clean manga panels.
📔 📚 A curated list of awesome tools, utilities, resources, links, notes, tips, tricks, helpers made by a developer and for developers in order to improve dev…
LLM verified with Monte Carlo Tree Search
Zero-config entity resolution that feeds a durable identity layer: resolve messy records from any source into stable golden entities — a Customer 360 with whole…
LeanInteract: A Python Interface for Lean 4
verification toolchain for TypeScript (Tech Preview)
Stateful CSV editing MCP server for AI assistants — sessions, undo/redo, auto-save, and 39 pandas-powered tools. Works with Claude, ChatGPT, Cursor, Windsurf, C…
FastAPI backend blueprint for AI agent apps: DDD, SQLAlchemy, Taskiq, admin UI, RAG infra, and Claude/Codex collaboration harness.
Airbnb price prediction for Berlin using an end-to-end ML pipeline with data cleaning, scikit-learn model training, and a FastAPI prediction service packaged fo…
A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: ht…