azhenley 23,828 karma 11y 3m on HN HN profile →
Associate Teaching Professor at Carnegie Mellon University. AI and developer tools. Ex startup, ex Microsoft.

http://austinhenley.com
Coverage
We've seen 10 of ~3,381 submissions
Full eval: 1 Lite-only: 3 Unevaluated: 6
Deep Read section-level analysis · 1 full evaluation
HRCB +0.38 range 0.00 · +100% / 0% / 0%−
E-full / S +0.23 / +0.27 SETL -0.10
Signals EQ 0.71 SO 0.75 TD 0.50
UDHR Fingerprint Preamble: +0.25 Article 1: ND Article 2: +0.32 Article 3: ND Article 4: ND Article 5: ND Article 6: ND Article 7: ND Article 8: ND Article 9: ND Article 10: ND Article 11: ND Article 12: ND Article 13: ND Article 14: ND Article 15: ND Article 16: ND Article 17: ND Article 18: ND Article 19: +0.77 Article 20: +0.30 Article 21: +0.27 Article 22: +0.22 Article 23: ND Article 24: ND Article 25: ND Article 26: +0.39 Article 27: +0.72 Article 28: +0.17 Article 29: +0.12 Article 30: +0.07
Quick Scan holistic editorial estimate · 3 lite evaluations
Editorial [E]: 0.00 Llama · truncated content · holistic (not section-level)
Lens divergence detected Quick scan (0.00) vs full evaluation (+0.23) · Δ 0.23
The holistic Llama estimate and section-level Claude evaluation disagree by more than 0.15. The full evaluation is more reliable for individual story analysis.
10 stories
1. Guido van Rossum Interviews Thomas Wouters (Python Core Dev) (gvanrossum.github.io)
1 points by azhenley 18 hours ago | 0 comments | skipped
2. ACM's Expression of Concern on a 2024 paper (cacm.acm.org)
2 points by azhenley 23 hours ago | 0 comments | skipped
3. Coding Agents Wrote a Chess Engine in Pure TeX (blog.mathieuacher.com)
1 points by azhenley 2 days ago | 1 comments | skipped
4. Edge Case Poisoning (buttondown.com)
1 points by azhenley 2 days ago | 0 comments | skipped
5. QED in Context: An Observation Study of Proof Assistant Users [pdf] (andrewhead.info)
1 points by azhenley 2 days ago | 0 comments | skipped
6.
HRCB +0.38
E +0.23
S +0.27
Racket v9.1 (blog.racket-lang.org)
155 points by azhenley 4 days ago | 15 comments | hrcb v3.7 Knowledge Sharing & Community Participation
7. Some silly Z3 scripts I wrote (www.hillelwayne.com)
45 points by azhenley 6 days ago | 9 comments | queued
8.
HRCB 0.00 L
E 0.00
Compiling a Lisp: Lambda lifting (bernsteinbear.com)
162 points by azhenley 203 days ago | 17 comments | hrcb No human rights theme
9.
HRCB 0.00 L
E 0.00
Racket v8.0 (blog.racket-lang.org)
276 points by azhenley 1842 days ago | 41 comments | hrcb Tech update
10.
HRCB 0.00 L
E 0.00
Racket is 25 (blog.racket-lang.org)
358 points by azhenley 2122 days ago | 161 comments | hrcb Technology History