Erik Hill

Self-taught agentic-AI engineer. AI systems that check their own work — a multi-agent harness with a cold critic, differential-oracle evals, human-in-the-loop safety. Shipped a game to Google Play.

Charleston, SC Joined on Jul 15, 2026 https://egnaro9.github.io

Erik Hill

Jul 22

301 duplicate IDs in the browser, 0 on the JVM: one real bug, end to end

#showdev #testing #java #webdev

5 min read

Want to connect with Erik Hill?

Create an account to connect with Erik Hill. You can also sign in below to proceed if you already have an account.

Create Account

Already have an account? Sign in

Erik Hill

Jul 21

Distinguishing wrong from absent

#machinelearning #llm #ai #testing

1 min read

Erik Hill

Jul 21

I built agentic AI that checks its own work — a 90-second tour

1 min read

Machine-checked proof and human-gated actions

Erik Hill

Jul 20

I built an AI dev harness that isn't allowed to trust itself

#showdev #ai #llm #programming

4 min read

Erik Hill

Jul 19

Set membership is not pairing: a property test that was green for the exact bug it was written to catch

#testing #python #softwareengineering #llm

4 min read

Erik Hill

Jul 16

The Cold-Context Critic: A Reviewer That Never Remembers Writing the Code

#ai #agents #codereview #softwareengineering

4 min read

Erik Hill

Jul 15

A differential oracle: making agentic code prove its own correctness

#ai

2 min read

DEV Community

Erik Hill

Badges

Writing Debut

Skills/Languages

Currently hacking on

Available for

301 duplicate IDs in the browser, 0 on the JVM: one real bug, end to end

Want to connect with Erik Hill?

Distinguishing wrong from absent

I built agentic AI that checks its own work — a 90-second tour

I built an AI dev harness that isn't allowed to trust itself

Set membership is not pairing: a property test that was green for the exact bug it was written to catch

The Cold-Context Critic: A Reviewer That Never Remembers Writing the Code

A differential oracle: making agentic code prove its own correctness