HNHacker News
TopNewBestAskShowJobs

azhenley

25,410 karma · joined December 4, 2014

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

http://austinhenley.com

submissionscomments

The piano test for program verification (2011)

blog.regehr.org·1 pts·azhenley·
0

We probably cannot automate the software engineer away

thelastsoftwareengineer.substack.com·9 pts·azhenley·
1

Flow Typing, a New Lens on Linearity

jaredforsyth.com·5 pts·azhenley·
0

Anthropic and the Changing Nature of Work

surfingcomplexity.blog·2 pts·azhenley·
0

Microsoft and CMU team up to train early career software engineers

cs.cmu.edu·73 pts·azhenley·
92

Copy-Paste Language Models

arxiv.org·3 pts·azhenley·
0

The future of AI software is here – it's just not evenly distributed

thelastsoftwareengineer.substack.com·1 pts·azhenley·
0

What will the next generation of developers do when AI writes the code?

commandline.microsoft.com·2 pts·azhenley·
0

Building Git infrastructure for agent-scale development

github.blog·1 pts·azhenley·
0

Liquid types for the Shplait programming language

github.com·5 pts·azhenley·
0

Should a software factory be lights-off?

arxiv.org·3 pts·azhenley·
0

Deep dive into Azure Maia 300 architecture

azure.microsoft.com·26 pts·azhenley·
4

The things I wanted to make

christophermeiklejohn.com·3 pts·azhenley·
1

Revisiting Soundness for Occurrence Typing, Semantically

arxiv.org·3 pts·azhenley·
0

Improving Agents by Bootstrapping Experientially-Learned Environmental Knowledge

arxiv.org·2 pts·azhenley·
0

ReviewBench: An open benchmark for AI code review

github.blog·4 pts·azhenley·
0

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

kirancodes.me·3 pts·azhenley·
0

Compiling dynamic programming languages (2018)

notes.eatonphil.com·3 pts·azhenley·
0

Stable Matching Problem

en.wikipedia.org·1 pts·azhenley·
0

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

austinhenley.com·3 pts·azhenley·
0

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

newgrounds.com·468 pts·azhenley·
140

There was a light that never went out

surfingcomplexity.blog·3 pts·azhenley·
0

The things I wanted to make

christophermeiklejohn.com·2 pts·azhenley·
0

Slot Machine Programming and the Hidden Curriculum

thelastsoftwareengineer.substack.com·2 pts·azhenley·
0

Batcher's Bitonic Merger Sort

raintown.org·2 pts·azhenley·
0

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

medium.com·2 pts·azhenley·
0

Why Copy and Paste Still Feels Wrong on a Phone

medium.com·3 pts·azhenley·
0

How Jev works: calibrated decision models

victordibia.com·3 pts·azhenley·
0

A Decade of MakeCode

makecode.com·1 pts·azhenley·
0

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

thelastsoftwareengineer.substack.com·305 pts·azhenley·
288
Page 1 of 34Next →