Viewing profile — cynede
cynede
HN member- Joined
- Thu, Nov 23, 2017, 9:23 AM UTC
- HN karma
- 2
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About cynede
It's being invaded by the Otherworld By a world of someones nightmarish delusions come to life
[ my public key: https://keybase.io/cynede; my proof: https://keybase.io/cynede/sigs/jnx9hwf7pk_sm6EBY6Vstzr6xQt3fKS6bWpjXN6XuFc ]
Recent public activity
-
comment
Comment #15837423
who needs papers for something obvious
-
comment
Comment #15764305
https://www.reddit.com/r/Idris/ https://www.reddit.com/r/Gentoo/ https://www.reddit.com/r/haskell/ https://www.reddit.com/r/dependent_types/ https://www.reddit.com/r/LearnJapanese/…