HN user

azhenley

24,591 karma

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

http://austinhenley.com

Posts2,105
Comments1,304
View on HN
kmicinski.com 2h ago

Puffin: Scheme-like language with self-hosting compiler and gradual types

azhenley
1pts0
news.ycombinator.com 2d ago

Ask HN: What are your favorite blogs not about AI?

azhenley
91pts38
claymcleod.dev 3d ago

Beyond Bioinformatics Rewrites

azhenley
2pts0
bellard.org 11d ago

QuickJS: An Embeddable JavaScript Engine

azhenley
2pts0
eaftan.github.io 11d ago

Building a production-quality regex library with agents

azhenley
2pts0
cabird.com 11d ago

The Conversation We're Not Having About AI in Peer Review

azhenley
1pts0
certiv.ai 13d ago

The Art of (Agent) War

azhenley
1pts0
www.susanrigetti.com 14d ago

So you want to learn physics (second edition, 2021)

azhenley
321pts69
rahulpandita.me 14d ago

On vibe forks

azhenley
1pts0
store.steampowered.com 16d ago

UVS Nirmana (A Game by Zach Barth)

azhenley
4pts1
arxiv.org 16d ago

Adoption and Impact of Command-Line AI Coding Agents at Microsoft [pdf]

azhenley
2pts0
surfingcomplexity.blog 18d ago

Synthesis is harder than analysis

azhenley
154pts41
arxiv.org 18d ago

To tab or not to tab

azhenley
3pts0
en.wikipedia.org 20d ago

van Embde Boas tree

azhenley
2pts0
rahulpandita.me 21d ago

On Vibe Forks

azhenley
1pts0
christophermeiklejohn.com 21d ago

The test suite was the incident

azhenley
2pts1
docs.racket-lang.org 22d ago

Getting Started with Rhombus

azhenley
1pts0
weinholt.se 22d ago

Loko Scheme 0.13.0

azhenley
24pts2
github.com 25d ago

Tug: An IDE for AI Coding

azhenley
1pts1
thunderseethe.dev 25d ago

Compiler Education Deserves a Revolution

azhenley
4pts0
static.barik.net 28d ago

Instantiating UI Components with Distinguishing Variations [pdf]

azhenley
6pts0
infoscience.epfl.ch 28d ago

RRB-Trees: Efficient Immutable Vectors (2012) [pdf]

azhenley
45pts13
arxiv.org 1mo ago

Arguzz: Testing ZkVMs for Soundness and Completeness Bugs

azhenley
2pts0
discuss.ocaml.org 1mo ago

OCaml 5.5 Released

azhenley
7pts0
surfingcomplexity.blog 1mo ago

I am dreading our LLM-written incident report future

azhenley
6pts0
mukulsingh105.github.io 1mo ago

Knowledge workers don't need frontier models

azhenley
2pts0
narphorium.com 1mo ago

Optimizing for Decision Points

azhenley
2pts0
nicolasbustamante.com 1mo ago

My agent stack for automating my personal life

azhenley
4pts0
thenewstack.io 1mo ago

Vim Creator Bram Moolenaar's Forgotten Programming Language, Zimbu (2023)

azhenley
20pts0
surfingcomplexity.blog 1mo ago

Dear Researchers: Help me deal with incidents [pdf]

azhenley
2pts0
Voxatron 7 days ago

Years ago I had hoped Voxatron and voxel-ish games inspired by it would have taken off more. I wonder why it hasn't saturated the indie game scene more.

Blogs are free/cheap to host, not necessarily free/cheap to produce, and they might have a huge impact on the reader. I am happy to support my favorite content creators in a small way.

We used to call this “concept count”. You usually want to minimize the number of core concepts that make up your product. I’ve also heard it as the “nouns and verbs” of a product.

PL/0 5 months ago

It was a convention to denote a variation or version. Not sure how the trend started though.