Top New Best Ask Show Jobs

azhenley

25,360 karma · joined December 4, 2014

Applied science at Microsoft. AI and developer tools. Ex startup, ex professor at Carnegie Mellon University.

http://austinhenley.com

submissions comments

Liquid types for the Shplait programming language

github.com·5 pts·azhenley·

Should a software factory be lights-off?

arxiv.org·2 pts·azhenley·

Deep dive into Azure Maia 300 architecture

azure.microsoft.com·25 pts·azhenley·

The things I wanted to make

christophermeiklejohn.com·3 pts·azhenley·

Revisiting Soundness for Occurrence Typing, Semantically

arxiv.org·3 pts·azhenley·

Improving Agents by Bootstrapping Experientially-Learned Environmental Knowledge

arxiv.org·2 pts·azhenley·

ReviewBench: An open benchmark for AI code review

github.blog·4 pts·azhenley·

PL research is dead, the age of PL exploration is just beginning

kirancodes.me·3 pts·azhenley·

Compiling dynamic programming languages (2018)

notes.eatonphil.com·2 pts·azhenley·

Stable Matching Problem

en.wikipedia.org·1 pts·azhenley·

Why I started (and stopped) making games (2003)

austinhenley.com·3 pts·azhenley·

Newgrounds.com – A community of games, music, and art

newgrounds.com·468 pts·azhenley·

There was a light that never went out

surfingcomplexity.blog·3 pts·azhenley·

The things I wanted to make

christophermeiklejohn.com·2 pts·azhenley·

Slot Machine Programming and the Hidden Curriculum

thelastsoftwareengineer.substack.com·2 pts·azhenley·

Batcher's Bitonic Merger Sort

raintown.org·2 pts·azhenley·

What Do You Mean by "This"? Rethinking Selection for AI Interfaces

medium.com·2 pts·azhenley·

Why Copy and Paste Still Feels Wrong on a Phone

medium.com·3 pts·azhenley·

How Jev works: calibrated decision models

victordibia.com·3 pts·azhenley·

A Decade of MakeCode

makecode.com·1 pts·azhenley·

How I changed teaching after AI managed to do all my homework assignments

thelastsoftwareengineer.substack.com·305 pts·azhenley·

Excel adds nested arrays

techcommunity.microsoft.com·3 pts·azhenley·

Planning with Agents: Divided Worlds, Boundary Objects, and Thicker Interfaces

maggieappleton.com·2 pts·azhenley·

Exploration-Exploitation Dilemma

en.wikipedia.org·2 pts·azhenley·

Office Open XML

en.wikipedia.org·3 pts·azhenley·

Generating levels in real time with the Jev model

spritefusion.com·5 pts·azhenley·

English: A vs. An

redblobgames.com·365 pts·azhenley·

How the incident happened: a play in one act

surfingcomplexity.blog·9 pts·azhenley·

From Stonemasons to Carpenters

thelastsoftwareengineer.substack.com·52 pts·azhenley·

Intelligent Interaction Techniques

arxiv.org·1 pts·azhenley·

Page 1 of 34Next →