azhenley
- Karma
- 23,910
- Created
- 11 years ago
About
Associate Teaching Professor at Carnegie Mellon University. AI and developer tools. Ex startup, ex Microsoft.http://austinhenley.com
Recent Submissions
- 1. ▲ Accessibility and the AI autumn (2020) [video] (youtube.com)
- 2. ▲ Proof SDK: Editor, collab server, provenance model, and agent HTTP bridge (github.com)
- 3. ▲ Game Modding with GenAI: A Case Study of Stardew Valley Character Maker (arxiv.org)
- 4. ▲ PEP 827: Type Manipulation (peps.python.org)
- 5. ▲ Re-engineering our flow state (twitter.com)
- 6. ▲ jc: CLI tool that converts the output of popular command-line tools to JSON (kellyjonbrazil.github.io)
- 7. ▲ How to Recalculate a Spreadsheet (2020) (lord.io)
- 8. ▲ Coding agents wrote a chess engine in pure TeX (blog.mathieuacher.com)
- 9. ▲ Proposal for Union Types in C# (github.com)
- 10. ▲ Xkcd: The General Problem (xkcd.com)