Viewing profile — stellar_jay
stellar_jay
HN member- Joined
- Wed, Jul 22, 2026, 11:39 PM UTC
- HN karma
- 3
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About stellar_jay
No profile information was provided.
Recent public activity
-
comment
Comment #49028545
[dead]
-
comment
Comment #49025536
> Prompts are simply not enough to steer a coding agent to the level of precision needed. Without deep programmatic verification - at all levels, formal verification is just one sl…
- story