Hazel team builds AI tool that turns Git repo activity into weekly digests
neurocy · x · 2026-09-12
A Hazel team member shares that astra built a tool tracking all the team's Git repos and producing weekly digests of merges, issues, and work-in-progress aimed at contributors — "a bit slop, but beautiful slop."
Hazel itself is a live functional programming environment built around typed holes: it can typecheck, manipulate, and even run incomplete programs (with blanks, type errors, or merge conflicts), so no editor state is meaningless. The approach is grounded in contextual modal and gradual type theory, described in papers at SNAPL 2017 and PROPL 2024.
More from coding & agent
- AI agent dies in roguelike dungeon, respawns without repeating its mistakes — repligate · 2026-09-12
- Vellum gives your AI assistant a controllable wallet via Link, learning from every purchase — jeff_weinstein · 2026-09-12
- Ramp Designer Vibecodes a Playable Game in One Afternoon With Codex — floguo · 2026-09-12
- SkySynth co-evolves formal proofs with code: 2.3x faster KV stores, 2.2x vLLM throughput — CShorten30 · 2026-09-12
- Claude Code blocks --dangerously-skip-permissions under root, irking Docker users — QuixiAI · 2026-09-12
- One prompt to make Codex audit your skills and AGENTS.md against OpenAI's best-practice advice — daniel_mac8 · 2026-09-12