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

http://austinhenley.com

submitted
Tues Aug 12, 2025 3:00pm PST
Compilation, Interpretation, and Environments [video]
@azhenley
1
Tues Aug 12, 2025 12:11pm PST
Angel Investors, a Field Guide
@azhenley
2
Sun Aug 10, 2025 11:34pm PST
Hofstadter Esoteric Programming Language [video]
@azhenley
2
Sun Aug 10, 2025 11:04pm PST
A few programming language features I'd like to see (2023)
@azhenley
3
3
4
Sun Aug 10, 2025 10:35pm PST
Compiling a Lisp: Lambda lifting
@azhenley
5
18
161
Sun Aug 10, 2025 5:00pm PST
Assessing Students in the Era of AI
@azhenley
3
3
6
Sun Aug 10, 2025 3:07pm PST
Why do we even need SIMD instructions?
@azhenley
2
Sun Aug 10, 2025 12:53pm PST
MCP: An (Accidentally) Universal Plugin System
@azhenley
29
86
166
Sat Aug 9, 2025 5:09pm PST
What Is a Pedagogic IDE?
@azhenley
2
Sat Aug 9, 2025 3:46pm PST
Memory 2.0: Attentive Memory (2012)
@azhenley
2
Fri Aug 8, 2025 11:23am PST
US Executive Order: Improving Oversight of Federal Grantmaking
@azhenley
2
3
5
Mon Aug 4, 2025 11:00pm PST
Developers, Reinvented
@azhenley
3
Sun Aug 3, 2025 10:55pm PST
Names are not type safety (2020)
@azhenley
9
77
56
Thurs Jul 31, 2025 1:11pm PST
Degrees are merely the receipts for the money you spent
@azhenley
2
3
3
Thurs Jul 24, 2025 6:09pm PST
Safer AI Agents Through Understanding and Evaluating Mobile UI Operation Impacts
@azhenley
2
Thurs Jul 24, 2025 3:07pm PST
Programming Language Escape Hatches
@azhenley
1
1
4
Mon Jul 21, 2025 12:57pm PST
Why concatenative programming matters (2012)
@azhenley
5
41
76
Sat Jul 19, 2025 11:35pm PST
There is no "Three Mile Island" event coming for software
@azhenley
6
Sat Jul 19, 2025 4:23pm PST
AI Culture: The Next Evolution of Intelligence
@azhenley
2
Fri Jul 18, 2025 10:50pm PST
Agents Built from Alloys
@azhenley
2
Thurs Jul 17, 2025 11:56am PST
Undone Computer Science
@azhenley
2
Tues Jul 15, 2025 7:23pm PST
Hazel: A live functional programming environment with typed holes
@azhenley
9
16
73
Sat Jul 12, 2025 8:50pm PST
Mostly dead influential programming languages (2020)
@azhenley
33
162
243
Wed Jul 9, 2025 1:02am PST
The AI Remote Has Arrived: Let Go of the Knob
@azhenley
2
Mon Jul 7, 2025 6:11pm PST
Ask HN: What happened to W3C's PROV initiative to add provenance to the Web?
@azhenley
3
Mon Jul 7, 2025 1:17pm PST
Why Your Open Source Startup Is Going to Fail (2023)
@azhenley
1
Sun Jul 6, 2025 5:16pm PST
Usability barriers for liquid types [pdf]
@azhenley
1
1
9
Sat Jul 5, 2025 9:44pm PST
What a $500k grants looks like (2022)
@azhenley
5
Thurs Jul 3, 2025 8:25pm PST
Gameboy Camera Photography
@azhenley
6
Wed Jun 25, 2025 1:04pm PST
Migrating Code at Scale with LLMs at Google
@azhenley
2
Wed Jun 25, 2025 12:47pm PST
YAML Tool Calls
@azhenley
1
Wed Jun 25, 2025 12:43pm PST
Gamer Games for Non-Gamers
@azhenley
1
Mon Jun 23, 2025 1:29pm PST
What do professional so ware developers need to know to succeed in an age of AI?
@azhenley
1
Sat Jun 21, 2025 1:30pm PST
Casio F-91W
@azhenley
1
2
Thurs Jun 19, 2025 12:01am PST
Stanford CS336: Language Modeling from Scratch [video]
@azhenley
6
Tues Jun 17, 2025 10:22pm PST
LLMs: The Missing Compiler for Unix Tools
@azhenley
3
Mon Jun 16, 2025 11:21pm PST
"What went well" is more than just a pat on the back
@azhenley
3
Mon Jun 16, 2025 10:48pm PST
What makes a good side project?
@azhenley
2
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
17
47
135
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
138
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
10
27
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