Viewing profile — dropbet
dropbet
HN member- Joined
- Fri, Dec 08, 2017, 6:54 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About dropbet
No profile information was provided.
Recent public activity
-
comment
Comment #15881036
I haven't gone through SF yet, but I believe TDDwI and SF have very different goals. TDDwI is about hands-on development with a particular language, whereas SF uses Coq to investig…