azhenley

Joined 12 years ago

Karma

25,411

Submissions

3,604

Member since

Dec 4

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

http://austinhenley.com

View on Hacker News

Recent submissions

The way we build software is shifting UP and LEFT linkedin.com

1 azhenley 21 hours ago 0 comments

The Origin Story of GitHub Copilot linkedin.com

1 azhenley 1 day ago 0 comments

Universal Paperclips decisionproblem.com

2 azhenley 2 days ago 0 comments

The piano test for program verification (2011) blog.regehr.org

1 azhenley 3 days ago 0 comments

We probably cannot automate the software engineer away thelastsoftwareengineer.substack.com

9 azhenley 8 days ago 1 comments

Flow Typing, a New Lens on Linearity jaredforsyth.com

5 azhenley 10 days ago 0 comments

Anthropic and the Changing Nature of Work surfingcomplexity.blog

2 azhenley 12 days ago 0 comments

Comment · 13 days ago

I shared a toy superoptimizer I made a few years ago: https://news.ycombinator.com/item?id=36117950

It was a really fun project!

Microsoft and CMU team up to train early career software engineers cs.cmu.edu

73 azhenley 14 days ago 92 comments

Copy-Paste Language Models arxiv.org

3 azhenley 14 days ago 0 comments

The future of AI software is here – it's just not evenly distributed thelastsoftwareengineer.substack.com

1 azhenley 14 days ago 0 comments

What will the next generation of developers do when AI writes the code? commandline.microsoft.com

2 azhenley 15 days ago 0 comments

Building Git infrastructure for agent-scale development github.blog

1 azhenley 17 days ago 0 comments

Liquid types for the Shplait programming language github.com

5 azhenley 18 days ago 0 comments

Should a software factory be lights-off? arxiv.org

3 azhenley 18 days ago 0 comments