hckrnws
azhenley
Thurs Dec 4, 2014 7:51pm PST
Karma:
21829
about
Associate Teaching Professor at Carnegie Mellon University. AI and developer tools. Ex startup, ex Microsoft.

http://austinhenley.com

submitted
Fri Jun 13, 2025 5:16pm PST
Ohm.js Grammar Generator
@azhenley
2
Fri Jun 13, 2025 12:04pm PST
It must be worth it even if it doesn't work (2021)
@azhenley
1
2
Fri Jun 13, 2025 3:09am PST
Python 3.13.5 is now available
@azhenley
1
8
Thurs Jun 12, 2025 4:18pm PST
Solving LinkedIn Queens with SMT
@azhenley
16
41
134
Thurs Jun 12, 2025 3:08pm PST
Continuous AI from GitHub Next
@azhenley
2
Wed Jun 11, 2025 2:28pm PST
AI at Amazon: A case study of brittleness
@azhenley
17
70
136
Wed Jun 11, 2025 2:27pm PST
"This is not vis"
@azhenley
1
Tues Jun 10, 2025 12:04am PST
Subtype Inference by Example
@azhenley
3
9
25
Mon Jun 9, 2025 6:34pm PST
Lightweight Diagramming for Lightweight Formal Methods
@azhenley
24
Mon Jun 9, 2025 3:54am PST
AI at Amazon: A case study of brittleness
@azhenley
4
Sun Jun 8, 2025 3:19pm PST
105 Vibe-Coded Tools
@azhenley
2
3
25
Tues Jun 3, 2025 10:13pm PST
Mapping latitude and longitude to country, state, or city
@azhenley
21
48
115
Sat May 31, 2025 3:26pm PST
Dijkstra never took a biology course
@azhenley
2
2
2
Sat May 31, 2025 1:26pm PST
Securing a Form on the Internet: Still Pretty Difficult
@azhenley
6
Thurs May 29, 2025 11:21pm PST
What works (and doesn't) selling formal methods
@azhenley
10
75
144
Thurs May 29, 2025 11:07pm PST
GitHub Copilot Spaces
@azhenley
2
Sun May 25, 2025 6:41pm PST
What Works (and Doesn't) Selling Formal Methods
@azhenley
3
Sat May 24, 2025 2:48pm PST
The Zen of Polymorphism [video]
@azhenley
1
Fri May 23, 2025 9:57pm PST
How React server components work: an in-depth guide
@azhenley
1
Fri May 23, 2025 9:13pm PST
Use VS Code to build AI apps and agents [video]
@azhenley
2
Mon May 19, 2025 3:22am PST
Error Messages as Rationale Reconstructions [Dissertation] [pdf]
@azhenley
1
Sun May 18, 2025 8:46pm PST
Why I Use WebAssembly
@azhenley
2
Sun May 18, 2025 8:43pm PST
A Garbage Collection Strategy
@azhenley
2
Sun May 18, 2025 8:41pm PST
Hyper Typing
@azhenley
27
78
104
Sat May 17, 2025 1:34am PST
Labeling a root cause is predicting the future, poorly
@azhenley
2
Mon May 12, 2025 6:27pm PST
Hyper Typing
@azhenley
1
Sat May 10, 2025 8:28pm PST
When a bad analysis is worse than none at all
@azhenley
2
Sat May 10, 2025 4:52pm PST
Python Internals (2010)
@azhenley
1
Sat May 10, 2025 3:41pm PST
Taking Learning Seriously
@azhenley
2
Sat May 10, 2025 2:40pm PST
PEG Parsing Series by Guido von Rossum (2019)
@azhenley
7
Tues May 6, 2025 5:43pm PST
Where are the proactive AI coding tools?
@azhenley
1
Tues May 6, 2025 5:16pm PST
Discovery Agent: Agentic Setup, Build, and Testing of Repositories
@azhenley
2
Sun May 4, 2025 7:55pm PST
Progressive Dehancement
@azhenley
1
Sun May 4, 2025 7:52pm PST
You can't prevent your last outage, no matter how hard you try
@azhenley
3
Sun May 4, 2025 6:19pm PST
My first experience using Swift, SwiftUI, and Xcode (2023)
@azhenley
1
Sat May 3, 2025 1:54am PST
Agentic Bug Reproduction for Effective Automated Program Repair at Google
@azhenley
2
Fri May 2, 2025 9:17pm PST
Good models protect us from bad models
@azhenley
3
Fri May 2, 2025 9:16pm PST
The design of software engineering course projects
@azhenley
2
Fri May 2, 2025 2:39am PST
Machine Learning in Production: From Models to Products (Free Textbook)
@azhenley
4
Wed Apr 30, 2025 1:07am PST
The world of compiler backends
@azhenley
2
Tues Apr 29, 2025 12:23pm PST
Programming languages should have a tree traversal primitive
@azhenley
72
201
288
Mon Apr 28, 2025 8:49pm PST
Requirements change until they don't
@azhenley
3
22
74
Mon Apr 28, 2025 8:38pm PST
The design of software engineering course projects
@azhenley
3
Sat Apr 26, 2025 1:42pm PST
Prompts Are Programs Too: How Developers Build Software Containing Prompts
@azhenley
1
Thurs Apr 24, 2025 9:53pm PST
Requirements change until they don't
@azhenley
4
Thurs Apr 24, 2025 9:52pm PST
Microsoft's Platform Engineering Guide
@azhenley
4
Thurs Apr 24, 2025 12:08pm PST
A Comprehensive Benchmark for C-to-Safe-Rust Transpilation
@azhenley
2
Wed Apr 23, 2025 11:02pm PST
Assistance or Disruption? Evaluating the Design of Proactive AI Programming
@azhenley
2
Wed Apr 23, 2025 11:48am PST
All Models Are Wrong, Some Are Useful: Model Selection with Limited Labels
@azhenley
1
Tues Apr 22, 2025 10:09pm PST
When is round-trip floating point radix conversion exact?
@azhenley
1
Tues Apr 22, 2025 6:56pm PST
Microsoft's Platform Engineering Guide
@azhenley
1
5
Mon Apr 21, 2025 1:56pm PST
Teach Scrum with Minecraft (2022)
@azhenley
1
Fri Apr 18, 2025 12:53pm PST
"All Roads Lead to ChatGPT": How AI Is Eroding Social Interactions
@azhenley
1
1
2
Thurs Apr 17, 2025 1:09pm PST
Avoiding and Exploiting JavaScript's Warts
@azhenley
1
Wed Apr 16, 2025 11:08pm PST
Three Years of Investing in Games
@azhenley
2
Wed Apr 16, 2025 10:24pm PST
All Databases Are Just Files
@azhenley
1
6
Wed Apr 16, 2025 2:48pm PST
The Aspire Compiler
@azhenley
1
Tues Apr 15, 2025 8:33pm PST
What is Service-level Fault Injection Testing? (2021)
@azhenley
1
Tues Apr 15, 2025 1:30am PST
Miscellaneous Mathematical Symbols
@azhenley
1
1
18
Mon Apr 14, 2025 1:30am PST
Calypso: LLMs as Dungeon Masters' Assistants [pdf]
@azhenley
8
33
92
Mon Apr 14, 2025 1:26am PST
We are not bits: AI and dehumanization
@azhenley
4
Sat Apr 12, 2025 12:20am PST
Why AI Still Struggles with What Isn't There
@azhenley
4
Tues Apr 8, 2025 10:39pm PST
Ivie: Lightweight Anchored Explanations of Just-Generated Code [pdf]
@azhenley
2
Tues Apr 8, 2025 9:01pm PST
Bespoke GUIs on the Fly (2023)
@azhenley
1
5
Sun Apr 6, 2025 11:32pm PST
Model Error
@azhenley
3
Thurs Apr 3, 2025 9:01pm PST
Rust 1.86.0
@azhenley
1
9
Wed Apr 2, 2025 11:07pm PST
Evaluating Agent-Based Program Repair at Google
@azhenley
1
1
15
Wed Apr 2, 2025 1:50am PST
Intuiting TLS
@azhenley
5
9
34
Tues Apr 1, 2025 3:40pm PST
Models, models every where, so let's have a think
@azhenley
3
Mon Mar 24, 2025 9:03pm PST
What users know and want to know about an agentic chatbot [pdf]
@azhenley
1
Thurs Mar 20, 2025 10:14pm PST
Inside Racket, Seminar
@azhenley
2
1
3
Tues Mar 18, 2025 9:56pm PST
Locks, leases, fencing tokens, FizzBee
@azhenley
5
9
57