Viewing profile — lawrpaulson
lawrpaulson
HN member- Joined
- Wed, Dec 17, 2025, 10:21 AM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About lawrpaulson
No profile information was provided.
Recent public activity
-
comment
Comment #46300233
Formal verification is progressing inexorably and will, over time, transform the software development experience. There is a long way to go, and in particular, you can't even get s…