HN user

ysangkok

107 karma
Posts5
Comments84
View on HN

I feel I might not have the same conception of "front page" as you.

The way I see it, there should be room for small neat articles, even if they are not announcements of billion dollar projects. I know HN has changed over the years, and it probably used to have more of this stuff. But I don't think there is anything explicitly forbidding it. If users like it, it gets to the front page, maybe just for a couple of hours on a slow Sunday.

So in summary, I don't think anybody should stop posting things because they are "not front page stuff". Does this line or argumentation make sense to you or do you think I am missing something?

Reposted because it did not take off last time it was posted. Since the author recently passed and I thought it would be nice to give it a second chance. While it's still available.

The Gay Haskell discord server has a channel for dependent types. There is also a discord server for Type Theory Forall, a podcast.

I saw LLVM IR being referenced, but I am not sure if you are referring to the LLVM bitcode. If you are, wouldn't it be possible to compile Terra to JavaScript by using Emscripten?

If you can crash X like that, it's obviously an X bug. Imagine if I could crash your HTTP server remotely.

Seriously, DDD is pretty stable. People don't like it because it doesn't use Gtk+ or Qt. And the people who use it even if it looks ugly aren't the kind of people who would talk about it, they just use it.