Sign in

Austin Henley

@azhenley.bsky.social
708 followers 152 following 67 posts

Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft austinhenley.com

PostsRepliesMedia
Austin Henley @azhenley.bsky.social · 11/05/2026
Back to building. I moved to Seattle and rejoined Microsoft.
070
Austin Henley @azhenley.bsky.social · 24/03/2026
“Hey ChatGPT, draw the optimal route for survival to cross the US in the early 1800s”
010
Austin Henley @azhenley.bsky.social · 15/03/2026
Sunday funday coding. It’s aliiive.
021
Reposted by Austin Henley
Red Blob Games @redblobgames.com · 22/02/2026
I've written up my understanding of SDF and MSDF fonts, and how to use them with msdfgen+webgl: www.redblobgames.com/articles/sdf... (I'll post it on my blog soon too)
Screenshot of five different styles of rendering SDF (signed distance field) fonts
09121
Austin Henley @azhenley.bsky.social · 24/02/2026
Is AI all you’ve got? austinhenley.com/blog/dearres...
austinhenley.com
Dear researchers: Is AI all you've got?
Are we missing the next big innovation because of the over-fixation on AI?
121
Austin Henley @azhenley.bsky.social · 23/02/2026
“The amount of serendipity that will occur in your life, your Luck Surface Area, is directly proportional to the degree to which you do something you’re passionate about combined with the total number of people to whom this is effectively communicated.”
171
Austin Henley @azhenley.bsky.social · 17/01/2026
I made a simulator for the math puzzle shared by @3blue1brown.com in his latest video. It stumped me! Try it out: austinhenley.com/blog/ladybug...
austinhenley.com
Simulating the ladybug clock puzzle
3Blue1Brown shared a fun puzzle that stumped me, so I wrote a simulator to understand it.
030
Austin Henley @azhenley.bsky.social · 31/12/2025
I canceled my book deal. What do I do with the draft now?! austinhenley.com/blog/cancele...
austinhenley.com
I canceled my book deal
I've always wanted to write a book, and I was close, but not this time.
250
Austin Henley @azhenley.bsky.social · 27/12/2025
Teaching track boosts research metrics.
020
Austin Henley @azhenley.bsky.social · 28/11/2025
My December project: Implement a programming language and then use it to make a game. I’m calling it Langjam Gamejam.
130
Austin Henley @azhenley.bsky.social · 27/11/2025
Thanksgiving Day goal: Get below 20 open tabs.
020
Austin Henley @azhenley.bsky.social · 25/11/2025
The last day of Techstars. It was 12 weeks of building and learning every day. Highly, highly recommend.
300
Austin Henley @azhenley.bsky.social · 24/11/2025
I know what I’m doing this weekend: building a compiler in five projects
130
Austin Henley @azhenley.bsky.social · 02/11/2025
So that’s how it works.
050
Austin Henley @azhenley.bsky.social · 28/10/2025
The urge to move off grid and make gameboy games in assembly.
250
Austin Henley @azhenley.bsky.social · 18/10/2025
The design space of AI coding assistants based on an analysis of 90 tools. They identified 10 design dimensions covering where the tool lives, how you ask it, who starts it, etc. I wrote a blog post summarizing the findings…
2141
Austin Henley @azhenley.bsky.social · 15/10/2025
Today’s coding session.
040
Austin Henley @azhenley.bsky.social · 15/09/2025
I’m starting a company… austinhenley.com/blog/startin...
austinhenley.com
We are starting a company to rethink email
Email is the same as 20 years ago. Time for something better.
160
Austin Henley @azhenley.bsky.social · 31/08/2025
This weekend’s fun project? A baby type checker for Python. austinhenley.com/blog/babytyp...
austinhenley.com
Baby's first type checker
Let's build a Python type checker in 300 lines of code.
141
Austin Henley @azhenley.bsky.social · 26/08/2025
Another semester begins at Carnegie Mellon.
030
Austin Henley @azhenley.bsky.social · 24/08/2025
I want to get back to my 2021 productivity.
120
Austin Henley @azhenley.bsky.social · 12/08/2025
New course coming this fall where we apply the latest and great AI dev tools to all aspects of development. You know it’s going to be good when there are typos. Taught by the esteemed @abegel.bsky.social and me.
041
Austin Henley @azhenley.bsky.social · 10/08/2025
How would you grade students knowing that ChatGPT can ace most assignments? austinhenley.com/blog/aihomew...
austinhenley.com
Assessing students in the era of AI
How do we know if students are learning if ChatGPT is doing the work?
010
Reposted by Austin Henley
Christopher Trudeau @trudeau.dev · 11/07/2025
On this week's episode, @digiglean.bsky.social and I talk about measuring the speed of substring search, dictionary structure, Enum, and more. With content from: @stephengruppetta.com @mathspp.com @azhenley.bsky.social and others not on the 🦋
buff.ly
Episode #257: Comparing Real-World Python Performance Against Big O – The Real Python Podcast
How does the performance of an algorithm hold up when you put it into a realistic context? Where might Python code defy Big O notation expectations when using a profiler? Christopher Trudeau is back…
042
Austin Henley @azhenley.bsky.social · 12/07/2025
After a long week, I love to sit down and write C code without any AI or autocomplete. It’s very meditating.
0142
Austin Henley @azhenley.bsky.social · 19/06/2025
I never expected to blog, let alone be writing this much! 100 posts done. How many more to go? austinhenley.com/blog/100.html
austinhenley.com
100 blog posts, 6 years, 5 million views
I never thought I'd write even one post.
140
Austin Henley @azhenley.bsky.social · 16/06/2025
What makes a good side project? austinhenley.com/blog/goodpro...
austinhenley.com
What makes a good side project?
Elastic scope, minimal cognitive overhead, clear objective, existing resources, and tangible artifact.
010
Austin Henley @azhenley.bsky.social · 13/06/2025
Some Friday morning digging into the CPython codebase to figure out the fastest way to do string processing: austinhenley.com/blog/vowels....
austinhenley.com
The fastest way to detect a vowel in a string
Diving into CPython, bytecode, regex, and algorithmic analysis to find the fastest method.
4307
Reposted by Austin Henley
Lorin Hochstein @norootcause.surfingcomplexity.com · 09/06/2025
New blog post: AI at Amazon: a case study of britteleness surfingcomplexity.blog/2025/06/08/a...
surfingcomplexity.blog
AI at Amazon: a case study of brittleness
A year ago, Mihail Eric wrote a blog post detailing his experiences working on AI inside Amazon: How Alexa Dropped the Ball on Being the Top Conversational System on the Planet. It’s a great …
1104
Austin Henley @azhenley.bsky.social · 03/06/2025
I went down a rabbit hole to figure out how to map coordinates to cities and states without an API. I ended up making a library and putting it on NPM. austinhenley.com/blog/coord2s...
austinhenley.com
Mapping latitude and longitude to country, state, or city
I made a library that takes GPS coordinates and gives you the state.
030
Austin Henley @azhenley.bsky.social · 20/05/2025
000
Austin Henley @azhenley.bsky.social · 19/05/2025
What makes your coding agent special?
021
Austin Henley @azhenley.bsky.social · 18/05/2025
Just wrote my 100th blog post. Now to write the 99th.
010
Austin Henley @azhenley.bsky.social · 12/05/2025
Generative UIs.
030
Austin Henley @azhenley.bsky.social · 05/05/2025
Hey, dev tool companies. austinhenley.com/blog/proacti...
austinhenley.com
Where are the proactive AI coding tools?
I want tools that act like a developer sitting next to me!
160
Reposted by Austin Henley
Lorin Hochstein @norootcause.surfingcomplexity.com · 04/05/2025
New blog post: surfingcomplexity.blog/2025/05/04/y...
surfingcomplexity.blog
You can’t prevent your last outage, no matter how hard you try
I don’t know anything about your organization, dear reader, but I’m willing to bet that the amount of time and attention your organization spends on post-incident work is a function of …
182
Austin Henley @azhenley.bsky.social · 04/05/2025
I know what code you looked at last summer.
000
Austin Henley @azhenley.bsky.social · 28/04/2025
My AI agents create AI agents that create AI agents that create AI agents that create AI agents that create AI agents that create AI agents that create AI agents that create AI agents that create AI agents that create AI agents that create AI agents that create AI agents...
020
Austin Henley @azhenley.bsky.social · 28/04/2025
Reflecting on course projects as I wrap up another semester. austinhenley.com/blog/grouppr...
austinhenley.com
The design of software engineering course projects
What makes a good group project? What should students learn? How should they be graded?
062
Austin Henley @azhenley.bsky.social · 31/12/2024
The year isn’t over yet! New blog post looking back on my projects over the last 25 years. austinhenley.com/blog/25years...
austinhenley.com
My 25-year adventure in AI and ML
This is the 25-year story of how I fell into the field of AI.
1100
Reposted by Austin Henley
Man in Business Suit Levitating @dfeldman.org · 25/12/2024
You’re still arguing about tabs vs. spaces? May I present…
Code written with box characters used on old old software to make fake UIs
15652621266
Austin Henley @azhenley.bsky.social · 24/12/2024
Annual photo with my sweater.
080
Austin Henley @azhenley.bsky.social · 08/12/2024
Advent of Code is humbling. “Oh this puzzle only took me 10 minutes to write a really efficient solution” followed by “this took 3 hours to brute force…”
090
Austin Henley @azhenley.bsky.social · 01/12/2024
Twas the night before…
030
Austin Henley @azhenley.bsky.social · 30/11/2024
Dictionaries by example.
030
Reposted by Austin Henley
Eric Wastl @was.tl · 30/11/2024
🎄 T-24 hours until #AdventOfCode 2024! 🎄
825246
Austin Henley @azhenley.bsky.social · 28/11/2024
What’s better than coding on a Holiday evening?!
120
Austin Henley @azhenley.bsky.social · 27/11/2024
Fun read: news.radio-t.com/post/i-m-a-d...
050
Austin Henley @azhenley.bsky.social · 27/11/2024
I’m very excited to do Advent of Code for the first time.
120