azhenley

Associate Teaching Professor at Carnegie Mellon University. AI and developer tools. Ex startup, ex Microsoft.

http://austinhenley.com

Posts

• Migrating Code at Scale with LLMs at Google
  by azhenleyon 6/25/25, 1:04 PMwith 0 comments
• YAML Tool Calls
  by azhenleyon 6/25/25, 12:47 PMwith 0 comments
• Gamer Games for Non-Gamers
  by azhenleyon 6/25/25, 12:43 PMwith 0 comments
• What do professional so ware developers need to know to succeed in an age of AI?
  by azhenleyon 6/23/25, 1:29 PMwith 0 comments
• Casio F-91W
  by azhenleyon 6/21/25, 1:30 PMwith 0 comments
• Stanford CS336: Language Modeling from Scratch [video]
  by azhenleyon 6/19/25, 12:01 AMwith 0 comments
• LLMs: The Missing Compiler for Unix Tools
  by azhenleyon 6/17/25, 10:22 PMwith 0 comments
• "What went well" is more than just a pat on the back
  by azhenleyon 6/16/25, 11:21 PMwith 0 comments
• What makes a good side project?
  by azhenleyon 6/16/25, 10:48 PMwith 0 comments
• Ohm.js Grammar Generator
  by azhenleyon 6/13/25, 5:16 PMwith 0 comments
• It must be worth it even if it doesn't work (2021)
  by azhenleyon 6/13/25, 12:04 PMwith 0 comments
• Python 3.13.5 is now available
  by azhenleyon 6/13/25, 3:09 AMwith 0 comments
• Solving LinkedIn Queens with SMT
  by azhenleyon 6/12/25, 4:18 PMwith 47 comments
• Continuous AI from GitHub Next
  by azhenleyon 6/12/25, 3:08 PMwith 0 comments
• AI at Amazon: A case study of brittleness
  by azhenleyon 6/11/25, 2:28 PMwith 70 comments
• "This is not vis"
  by azhenleyon 6/11/25, 2:27 PMwith 0 comments
• Subtype Inference by Example
  by azhenleyon 6/10/25, 12:04 AMwith 10 comments
• Lightweight Diagramming for Lightweight Formal Methods
  by azhenleyon 6/9/25, 6:34 PMwith 0 comments
• AI at Amazon: A case study of brittleness
  by azhenleyon 6/9/25, 3:54 AMwith 0 comments
• 105 Vibe-Coded Tools
  by azhenleyon 6/8/25, 3:19 PMwith 3 comments
• Mapping latitude and longitude to country, state, or city
  by azhenleyon 6/3/25, 10:13 PMwith 48 comments
• Dijkstra never took a biology course
  by azhenleyon 5/31/25, 3:26 PMwith 2 comments
• Securing a Form on the Internet: Still Pretty Difficult
  by azhenleyon 5/31/25, 1:26 PMwith 0 comments
• What works (and doesn't) selling formal methods
  by azhenleyon 5/29/25, 11:21 PMwith 75 comments
• GitHub Copilot Spaces
  by azhenleyon 5/29/25, 11:07 PMwith 0 comments
• What Works (and Doesn't) Selling Formal Methods
  by azhenleyon 5/25/25, 6:41 PMwith 0 comments
• The Zen of Polymorphism [video]
  by azhenleyon 5/24/25, 2:48 PMwith 0 comments
• How React server components work: an in-depth guide
  by azhenleyon 5/23/25, 9:57 PMwith 0 comments