HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
azhenley
Grow Fast and Overload Things
3 points
azhenley
2026-03-07T23:13:16Z
surfingcomplexity.blog
Some Words on WigglyPaint
1 points
azhenley
2026-03-07T16:59:12Z
beyondloom.com
A Dual-LLM Policy for Reducing Noise in Agentic Program Repair
1 points
azhenley
2026-03-04T19:33:23Z
arxiv.org
What every CS major should know
3 points
azhenley
2026-03-03T00:10:02Z
matt.might.net
Guido van Rossum Interviews Thomas Wouters (Python Core Dev)
98 points
azhenley
2026-03-01T20:06:08Z
gvanrossum.github.io
ACM's Expression of Concern on a 2024 paper
2 points
azhenley
2026-03-01T14:21:41Z
cacm.acm.org
Coding Agents Wrote a Chess Engine in Pure TeX
2 points
azhenley
2026-02-28T02:45:52Z
blog.mathieuacher.com
Edge Case Poisoning
2 points
azhenley
2026-02-28T01:33:56Z
buttondown.com
QED in Context: An Observation Study of Proof Assistant Users [pdf]
1 points
azhenley
2026-02-28T00:49:23Z
andrewhead.info
Racket v9.1
159 points
azhenley
2026-02-25T16:47:33Z
blog.racket-lang.org
Compiler Education Deserves a Revolution
6 points
azhenley
2026-02-24T04:55:07Z
thunderseethe.dev
Claude for Government
6 points
azhenley
2026-02-24T02:13:21Z
claude.com
Some silly Z3 scripts I wrote
46 points
azhenley
2026-02-23T17:01:26Z
www.hillelwayne.com
Ohm v18
1 points
azhenley
2026-02-23T13:54:11Z
ohmjs.org
Metabolism (Architecture)
2 points
azhenley
2026-02-21T22:26:35Z
en.wikipedia.org
Code City: A visualization of large codebases that you can explore
2 points
azhenley
2026-02-20T13:38:14Z
wettel.github.io
PEP 747 – Annotating Type Forms
2 points
azhenley
2026-02-20T00:30:23Z
peps.python.org
PEP 814 – Add frozendict built-in type
2 points
azhenley
2026-02-18T03:21:11Z
peps.python.org
Lots of AI SRE, no AI incident management
2 points
azhenley
2026-02-15T13:19:13Z
twitter.com
Generative Agents: Interactive Simulacra of Human Behavior (2023) [pdf]
2 points
azhenley
2026-02-13T22:05:27Z
dl.acm.org
1
2
3
4
5
6
7
8
9
10