Viewing profile — patlasswell
patlasswell
HN member- Joined
- Sun, Mar 29, 2026, 4:29 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About patlasswell
No profile information was provided.
Recent public activity
-
comment
Comment #49706588
I'm working on a programming language for agents to write and humans to read. Think Lean4 but built for software engineering. It's dependently typed based on Observational Type The…