Evolving Programs
- 120 followers
- United States of America
- https://evolvingprograms.com
- @EvolvingPx
Pinned Loading
Repositories
- formal-conjectures Public Forked from google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
- context-management Public
Prompt-cache and context-window management for AI SDK apps: cache breakpoint placement, Anthropic context edits, tool-result truncation with recovery, and usage/cost accounting.
- erdos-simonovits-degeneracy Public
Connected bipartite graphs of degeneracy exactly r with ex(n,H) ≥ c·n^(2−1/r+1/(28r²)), refuting the Erdős–Simonovits degeneracy conjecture (Erdős problem #146) for every r ≥ 2, with the exact limits of the method. Machine-checked in Lean 4.
- ai-gateway-caching Public
Cache-rate harness for Vercel AI Gateway + Anthropic Opus 4.7. Measures what caching:'auto' leaves on the table.
- bun Public Forked from oven-sh/bun
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Most used topics
Loading…