LamBench: A Lambda Calculus Benchmark Suite for AI Coding Agents
Victor Taelin released LamBench v1, a benchmark framework designed to test AI coding agents on lambda calculus problems. The project is hosted on GitHub at github.com/VictorTaelin/LamBench and includes a live site at victortaelin.github.io/lambench/.
Key Details
- Metrics: The benchmark measures three axes:
:intelligence,:speed, and:elegance. - Components: A set of
:problemsand a:matrixfor scoring results. - Version: v1 (initial release).
LamBench is part of a broader effort by Taelin to create rigorous evaluations for AI systems in symbolic computation. For context, lambda calculus is a formal system in mathematical logic and computing, often used to test reasoning and functional programming capabilities — making this benchmark particularly relevant for AI coding agents that need to handle symbolic manipulation, recursion, and higher-order functions.
Who It's For
AI researchers and developers building or evaluating coding agents, especially those working with functional programming or symbolic reasoning tasks.
📖 Read the full source: HN AI Agents
👀 See Also
Open Source Agent Skill for TypeScript, React, and Next.js Patterns
A developer has released a 4,000-line, 17-file structured markdown reference designed for AI agents like Claude Code to follow when generating or reviewing TypeScript, React, and Next.js code. It addresses common issues like improper API response validation and misuse of 'use client' directives.
TechDebtMCP v2.0.0: MCP server for technical debt analysis across 14 languages
TechDebtMCP v2.0.0 is an MCP server that connects Claude to codebases to find, measure, and prioritize technical debt across 14 programming languages including JS/TS, Python, Java, Swift, Kotlin, Go, Rust, C/C++, C#, Ruby, and PHP.
Visdiff: Visual Feedback Loop for Claude's Frontend Code Generation
Visdiff addresses the visual accuracy gap in Claude's frontend code generation by comparing rendered output pixel-by-pixel with Figma designs and feeding differences back into the loop until they match.
Ory Lumen: Open Source Local Semantic Search Plugin for Claude Code
Ory Lumen is a Claude Code plugin that indexes codebases using Ollama with a code embedding model and SQLite-vec for semantic search, addressing Claude Code's performance issues with large codebases. The tool is free, local-only, and includes a SWE-style benchmark test harness for reproducible results.