ruliov
Re:Ask HN: An idea that you could not implement?
on Saturday November 12, 2016 @01:10AM (#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 formalized it for 40 years.
Re:Please tell us what features you'd like in news.ycombinator
on Saturday May 18, 2013 @07:07AM (#5728520)
Add:
<link rel="alternate" type="application/rss+xml" title="Hacker News" href="https://news.ycombinator.com/rss ">
(warning: one space after url)
To the main page for RSS autodetecting by browser plugins/etc.
Thanks.