Viewing profile — thrw1q
thrw1q
HN member- Joined
- Sun, Dec 14, 2014, 6:00 PM UTC
- HN karma
- 6
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About thrw1q
No profile information was provided.
Recent public activity
-
comment
Comment #8749012
Those videos on the Idris mode are also very impressive: https://www.youtube.com/channel/UCsON_8vogp4nCQFTnfu43kA (Other languages also have nice modes for context-aware completion…