user: azhenley

23829 karma | created 11 years ago

Associate Teaching Professor at Carnegie Mellon University. AI and developer tools. Ex startup, ex Microsoft.

http://austinhenley.com

recent submissions

1 pts|11 hours ago|discuss

ACM's Expression of Concern on a 2024 paper (cacm.acm.org)

2 pts|17 hours ago|discuss

Coding Agents Wrote a Chess Engine in Pure TeX (blog.mathieuacher.com)

1 pts|2 days ago|1 comment

(no title)

1 pts|2 days ago|discuss

Edge Case Poisoning (buttondown.com)

2 pts|2 days ago|discuss

1 pts|2 days ago|discuss

(no title)

4 days ago|discuss

Racket v9.1 (blog.racket-lang.org)

156 pts|4 days ago|15 comments

Compiler Education Deserves a Revolution (thunderseethe.dev)

6 pts|6 days ago|discuss

Claude for Government (claude.com)

6 pts|6 days ago|discuss

Some silly Z3 scripts I wrote (hillelwayne.com)

46 pts|6 days ago|9 comments

Ohm v18 (ohmjs.org)

1 pts|6 days ago|discuss

Metabolism (Architecture) (en.wikipedia.org)

2 pts|8 days ago|discuss

2 pts|9 days ago|discuss

PEP 747 – Annotating Type Forms (peps.python.org)

2 pts|10 days ago|discuss

PEP 814 – Add frozendict built-in type (peps.python.org)

2 pts|12 days ago|discuss

(no title)

14 days ago|discuss

Lots of AI SRE, no AI incident management (twitter.com)

2 pts|14 days ago|discuss

2 pts|16 days ago|discuss

(no title)

19 days ago|discuss