Viewing profile — ben314
ben314
HN member- Joined
- Tue, Jan 24, 2012, 9:03 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About ben314
No profile information was provided.
Recent public activity
-
comment
Comment #3506799
As an undergraduate, I used a research project at my university that did more-or-less what the author describes. The system was an "animator" for formal specifications called Possu…