Austin Henley's Avatar

Austin Henley

@azhenley

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

688
Followers
152
Following
63
Posts
13.03.2024
Joined
Posts Following

Latest posts by Austin Henley @azhenley

Screenshot of five different styles of rendering SDF (signed distance field) fonts

Screenshot of five different styles of rendering SDF (signed distance field) fonts

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)

22.02.2026 04:39 👍 90 🔁 21 💬 0 📌 1

I should do that more too. It makes my day!

25.02.2026 22:41 👍 1 🔁 0 💬 0 📌 0
Preview
Dear researchers: Is AI all you've got? Are we missing the next big innovation because of the over-fixation on AI?

Is AI all you’ve got?

austinhenley.com/blog/dearres...

24.02.2026 21:57 👍 2 🔁 1 💬 1 📌 0
Codus Operandi

Quote from Jason Roberts: www.codusoperandi.com/posts/increa...

23.02.2026 20:06 👍 0 🔁 0 💬 0 📌 0

“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.”

23.02.2026 20:04 👍 7 🔁 1 💬 1 📌 0
Preview
Simulating the ladybug clock puzzle 3Blue1Brown shared a fun puzzle that stumped me, so I wrote a simulator to understand it.

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...

17.01.2026 20:11 👍 1 🔁 0 💬 0 📌 0

2026 is the year we ship!

01.01.2026 00:51 👍 1 🔁 0 💬 0 📌 0
Preview
I canceled my book deal I've always wanted to write a book, and I was close, but not this time.

I canceled my book deal. What do I do with the draft now?!
austinhenley.com/blog/cancele...

31.12.2025 18:50 👍 3 🔁 0 💬 2 📌 0
Post image

Teaching track boosts research metrics.

27.12.2025 15:56 👍 2 🔁 0 💬 0 📌 0
Preview
Langjam Gamejam A 7-day challenge to create a programming language and then use it to build a game.

You can participate too!

langjamgamejam.com

28.11.2025 21:43 👍 0 🔁 0 💬 0 📌 0
Post image

My December project: Implement a programming language and then use it to make a game. I’m calling it Langjam Gamejam.

28.11.2025 21:37 👍 3 🔁 0 💬 1 📌 0

Thanksgiving Day goal: Get below 20 open tabs.

27.11.2025 13:22 👍 2 🔁 0 💬 0 📌 0
Post image

The last day of Techstars. It was 12 weeks of building and learning every day. Highly, highly recommend.

25.11.2025 17:58 👍 0 🔁 0 💬 3 📌 0
Build a Compiler in Five Projects Class website here: https://kmicinski.com/cis531-f25

Link to the blog post by @krismicinski.bsky.social: kmicinski.com/functional-p...

24.11.2025 18:19 👍 2 🔁 1 💬 0 📌 0
Post image

I know what I’m doing this weekend: building a compiler in five projects

24.11.2025 18:18 👍 3 🔁 0 💬 1 📌 0
Post image

So that’s how it works.

02.11.2025 16:25 👍 5 🔁 0 💬 0 📌 0

For sure. Kept it vague while we narrow down the MVP and get feedback. It’s been fun trying to figure out that answer ourselves and also not over promise anything…

29.10.2025 20:13 👍 2 🔁 0 💬 0 📌 0

The urge to move off grid and make gameboy games in assembly.

28.10.2025 23:30 👍 5 🔁 0 💬 2 📌 0

Read the original paper by Sam Lau and Philip Guo: lau.ucsd.edu/pubs/2025_an...

18.10.2025 20:26 👍 1 🔁 0 💬 0 📌 0
Preview
The design space of AI coding tools 10 design dimensions based on 90 AI coding tools.

Read my post here: austinhenley.com/blog/aidesig...

18.10.2025 20:25 👍 3 🔁 0 💬 1 📌 0
Post image

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…

18.10.2025 20:25 👍 15 🔁 1 💬 2 📌 0
Post image

Today’s coding session.

15.10.2025 20:53 👍 4 🔁 0 💬 0 📌 0
Preview
We are starting a company to rethink email Email is the same as 20 years ago. Time for something better.

I’m starting a company…

austinhenley.com/blog/startin...

15.09.2025 19:43 👍 7 🔁 0 💬 1 📌 0
Preview
Baby's first type checker Let's build a Python type checker in 300 lines of code.

This weekend’s fun project? A baby type checker for Python.

austinhenley.com/blog/babytyp...

31.08.2025 16:42 👍 4 🔁 1 💬 1 📌 0
Post image

Another semester begins at Carnegie Mellon.

26.08.2025 15:07 👍 3 🔁 0 💬 0 📌 0
Post image

I want to get back to my 2021 productivity.

24.08.2025 19:29 👍 2 🔁 0 💬 1 📌 0

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.

12.08.2025 16:32 👍 4 🔁 1 💬 0 📌 0
Preview
Assessing students in the era of AI How do we know if students are learning if ChatGPT is doing the work?

How would you grade students knowing that ChatGPT can ace most assignments?
austinhenley.com/blog/aihomew...

10.08.2025 17:26 👍 1 🔁 0 💬 0 📌 0

Projectional editors—different information displayed for different situations

18.07.2025 13:23 👍 2 🔁 0 💬 0 📌 0
Preview
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…

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 🦋

11.07.2025 15:30 👍 4 🔁 2 💬 0 📌 0