Hacker News new | past | comments | ask | show | jobs | submit login
Inductive Programming Meets the Real World [pdf] (microsoft.com)
31 points by alanfranz on Oct 28, 2015 | hide | past | favorite | 7 comments



Non-mobile link[0]. The text contrast on the mobile version is horrible.

[0] http://cacm.acm.org/magazines/2015/11/193326-inductive-progr...


The site is using pale text on a default background, so it looks fine with my white-on-black GTK theme, but I imagine is unreadable for most of the world.

Many sites make the mistake of mixing default and non-default colours, but this is the first time I've seen it work in my favour ;) Presumably most devs aren't doing any kind of contrast analysis on their CSS, and are only testing with a black-on-white colour scheme.

Of course, I could avoid this problem by giving up my preferred colour scheme; but why do that when I can walk the DOM after page load, and invert all of the low-contrast colours? http://chriswarbo.net/git/warbo-dotfiles/branches/master/con... ;)


And the pdf version, which makes it easier to read the figures and tables along with the discussion: http://delivery.acm.org/10.1145/2740000/2736282/p90-gulwani....

I love that the ACM provides HTML versions of articles from the Queue, but the figures and tables are not well integrated with the text in the HTML versions.


We changed the URL from http://cacm.acm.org/magazines/2015/11/193326-inductive-progr... which was causing trouble.


Website gives a 503 error. Perhaps the real world struck back?


The PDF document, "Inductive Programming Meets the Real World", is available from Microsoft research site:

http://research.microsoft.com/en-us/um/people/sumitg/pubs/ip...

The author, Sumit Gulwani, is a researcher at Microsoft. His home page is:

http://research.microsoft.com/en-us/um/people/sumitg/index.h...

and his publications are available at:

http://research.microsoft.com/en-us/um/people/sumitg/publica...


Note that the PDF on author's site is much more readable than ACM PDF version.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: