Jeffrey Emanuel ships bend2-mega-skill: a Claude Code skill to write, prove and port Bend2 code
pbaylies · x · 2026-09-20
Jeffrey Emanuel released bend2-mega-skill, a Claude Code skill for Victor Taelin's new parallel language Bend2, now on his jeffreys-skills.md marketplace (90 installs).
- Covers writing Bend2 code, LAWS.bend/PROOF.bend proofs, parallel lets, GPU bangs, the bend CLI, BendRT speed and the compiler repo
- His workflow: build the best possible agent skill for the language first, then use it to create a porting skill, then port
- Initial version is live and he plans to iterate; the porting skill ships soon
The meta-lesson: build a skill to master a new language, then let the skill build the porting skill.
More from coding & agent
- Founder trains AI on 10K malicious domains, builds link scanner in 2 hours — JosephJacks_ · 2026-09-21
- New hire at a big company: every spec, test and PRD is now written by Claude Code — mohbibi_ · 2026-09-21
- Telex: Open-Source Tool Uses LLM + Tree-sitter to Auto-Fix Dependency Breakages via PRs — Efficient-Passage889 · 2026-09-21
- Two Years of Vibe Coding: This Dev's Daily Stack Is Claude Code + Next.js + Postgres — West_Sound5224 · 2026-09-21
- Devin's native video capture of test runs shows its cloud-first edge — brandon_galang · 2026-09-21
- Swapping the Gaussian Process for an LLM in Bayesian optimization, benchmarked 4 ways — tak3sh8 · 2026-09-21