azhenley | Dark Hacker News

user:	azhenley
created:	December 4, 2014
karma:	24.4k
about:	Applied science at Microsoft. AI and developer tools. Ex startup, ex professor at Carnegie Mellon University. http://austinhenley.com

1.	van Embde Boas tree(en.wikipedia.org) 2 points by azhenley 7 hours ago \| 0 comments
2.	On Vibe Forks(rahulpandita.me) 1 points by azhenley 1 day ago \| 0 comments
3.	The test suite was the incident(christophermeiklejohn.com) 2 points by azhenley 1 day ago \| 1 comment
4.	Getting Started with Rhombus(docs.racket-lang.org) 1 points by azhenley 2 days ago \| 0 comments
5.	Loko Scheme 0.13.0(weinholt.se) 24 points by azhenley 2 days ago \| 2 comments
6.	Tug: An IDE for AI Coding(github.com) 1 points by azhenley 5 days ago \| 1 comment
7.	Compiler Education Deserves a Revolution(thunderseethe.dev) 4 points by azhenley 5 days ago \| 0 comments
8.	1 points by azhenley 8 days ago \| discuss
9.	Instantiating UI Components with Distinguishing Variations [pdf](static.barik.net) 6 points by azhenley 8 days ago \| 0 comments
10.	RRB-Trees: Efficient Immutable Vectors (2012) [pdf](infoscience.epfl.ch) 45 points by azhenley 8 days ago \| 13 comments
11.	Arguzz: Testing ZkVMs for Soundness and Completeness Bugs(arxiv.org) 2 points by azhenley 10 days ago \| 0 comments
12.	OCaml 5.5 Released(discuss.ocaml.org) 7 points by azhenley 11 days ago \| 0 comments
13.	I am dreading our LLM-written incident report future(surfingcomplexity.blog) 6 points by azhenley 12 days ago \| 0 comments
14.	Knowledge workers don't need frontier models(mukulsingh105.github.io) 2 points by azhenley 12 days ago \| 0 comments
15.	Optimizing for Decision Points(narphorium.com) 2 points by azhenley 13 days ago \| 0 comments
16.	My agent stack for automating my personal life(nicolasbustamante.com) 4 points by azhenley 13 days ago \| 0 comments
17.	Vim Creator Bram Moolenaar's Forgotten Programming Language, Zimbu (2023)(thenewstack.io) 20 points by azhenley 13 days ago \| 0 comments
18.	Dear Researchers: Help me deal with incidents [pdf](surfingcomplexity.blog) 2 points by azhenley 15 days ago \| 0 comments
19.	GitHub Copilot Is Down(twitter.com) 2 points by azhenley 15 days ago \| 1 comment
20.	Dear Researchers: The Invisible Work(authors.elsevier.com) 2 points by azhenley 16 days ago \| 0 comments
21.	Fun with an indecisive AI coding agent(benhoyt.com) 2 points by azhenley 17 days ago \| 0 comments
22.	Solving a chess puzzle with Claude and Prolog(johndcook.com) 3 points by azhenley 17 days ago \| 0 comments
23.	Automating my job away(austinhenley.com) 28 points by azhenley 18 days ago \| 23 comments