Viewing profile — ruliov
ruliov
HN member- Joined
- Sat, May 18, 2013, 11:07 AM UTC
- HN karma
- 1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About ruliov
No profile information was provided.
Recent public activity
-
comment
Comment #12936853
I'm currently cannot implement my own programming language with dependent types, because there is no fully formalized type theory in type theory itself. And nobody didn't formalize…
-
comment
Comment #5728520
Add: https://news.ycombinator.com/rss "> (warning: one space after url) To the main page for RSS autodetecting by browser plugins/etc. Thanks.