Readit News logoReadit News
jcr commented on Ask HN: Is tradepub.com in anyway connected to HN?    · Posted by u/raddad
jcr · 9 years ago
The "thehackernews.com" domain is a spam site. If you have "show dead" enabled in your HN user profile, you can see that just about everything submitted to HN from that domain is '[dead]'.

https://news.ycombinator.com/from?site=thehackernews.com

jcr commented on An Introduction to Redex with Abstracting Abstract Machines   dvanhorn.github.io/redex-... · Posted by u/jcr
logicrook · 9 years ago
Oh thanks, that looks pretty interesting, and will distract from shitposting on random pop-science/political quasi-journalism articles for a while. It seems that it was the purpose of HN, but I'm not sure anymore.

However, it is unfortunately hard to make relevant comments on such articles. As the introduction says, it's pretty quick to set everything up (just one apt-get away), the clean racket syntax allows to define a calculus very neatly, but that's a far cry from being able to say much about it. I think I'll try to follow the tutorial with a classical calculus (λμ) and see how that turns out, but that's going to take some time. So here goes "This was posted once before by HN user 'ingve' but didn't get much attention".

jcr · 9 years ago
The types and quality of stories on HN are like the tides; it regularly varies. One of the goals for HN is to have a good, balanced mix of interesting stories. Due to voting, populist stuff will surface, but HN still has an appreciation for heavy-weight, time-intensive articles.

Some truly great stories get few, if any, comments. If a post requires effort or specialized knowledge to even ask good questions, then there isn't much discussion. This happens a lot when academic papers are posted since reading a paper might require a multi-hour investment, but even when there is little discussion, it's good to have heavy articles submitted. They balance out the other stuff.

If you find something great-but-overlooked in the /newest queue, then send an email to hn@ycombinator.com asking for a repost request to be sent to the original submitter. That's what I did with this article, but Dan (dang) asked me to repost it myself. Neither 'ingve' nor I care who gets the credit/karma, but a lot of people want great articles to get attention on HN.

HN is what we make it.

jcr commented on An Introduction to Redex with Abstracting Abstract Machines   dvanhorn.github.io/redex-... · Posted by u/jcr
jcr · 9 years ago
This was posted once before by HN user 'ingve' but didn't get much attention [1]. Though the most recent and largest (39 pages) JFP paper, "Systematic Abstraction of Abstract Machines", is probably the best version to read, the earlier "Abstracting Abstract Machines" may also be helpful. There's also a CACM highlight version of "Abstracting Abstract Machines" that's only 8 pages. All of these papers are available.

- "Systematic Abstraction of Abstract Machines" from JFP 2012 (39 pages)

http://arxiv.org/abs/1107.3539

- "Abstracting Abstract Machines" from ACM ICFP, 2010, (12 pages)

http://arxiv.org/abs/1007.4446

http://www.cs.umd.edu/class/fall2014/cmsc631/papers/vanhorn-...

- "Abstracting Abstract Machines" from CACM highlight 2011 (8 pages)

http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-cacm...

[1] https://news.ycombinator.com/item?id=10963677

jcr commented on The Super Tiny Compiler   github.com/thejameskyle/t... · Posted by u/potench
jcr · 9 years ago
previous

( 426 points Stratoscope a day ago 97 comments )

https://news.ycombinator.com/item?id=11395656

jcr commented on Visual C++ for Linux Development   visualstudiogallery.msdn.... · Posted by u/DmitryNovikov
jcr · 9 years ago
previous

( 263 points taspeotis a day ago 93 comments )

https://news.ycombinator.com/item?id=11393641

u/jcr

KarmaCake day8832March 20, 2008
About
hn user name at designtools dot ORG

"I think figuring out how technology can encourage empathy is one of the more interesting and important open research problems in the world right now." -- Sam Altman, July 10 2015 [1]

[1] https://www.reddit.com/r/IAmA/comments/3cudmx/i_am_sam_altman_reddit_board_member_and_president/csz2vis

View Original