Top all-time · #5396
conway.rutgers.edu
Personal blog · conway.rutgers.edu/~ccshan/wiki/blogprogramming
conway.rutgers.edu is a personal blog at conway.rutgers.edu about programming. Since 2010, 15 different Hacker News readers have linked it 20 times, most often “Word numbers: Billion approaches (2008)”. No feed was found, so read it on the site itself.
Too few sampled comments (12) to say how often HN recommends it.?
Why HN links it
HN readers link Chung-chieh Shan's wiki blog, mainly his posts solving ITA's word numbers puzzle with Dylan Thurston, plus posts on Haskell, differentiation and Sudoku in Prolog or SQL.
Summarised by Claude from a sample of 12 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Word numbers: Billion approaches (2008)5 people · 7 mentions · first linked 2010-04-22
- /~ccshan/wiki/blog/posts/Differentiation/3 people · 3 mentions · first linked 2013-03-30
- Higher-order Shell2 people · 2 mentions · first linked 2010-01-17
What Hacker News says?
Enjoy the ultimate classic tour de force from world treasure Chung-chieh (Ken) Shan’s wikiblog "Proper Treatment" discussion / punchline http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumber... Start of main content: http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumber...
Comment linking /~ccshan/wiki/blog/posts/WordNumbers1/
on “Many hard LeetCode problems are easy constraint problems”Submitted Higher-order Shell as a story · 58 points
HN discussionhttp://book.realworldhaskell.org/ Spoiler alert: you can't really get anything signifant+useful done with that book, because Haskell is a language where only experts can get anything significant done. If you just want the mindblow experience of Haskell: http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumber...
Comment linking /~ccshan/wiki/blog/posts/WordNumbers1/
on “Learn Haskell Fast and Hard”Submitted Word numbers: Billion approaches (2008) as a story · 19 points
HN discussionYou'd be amazed how few do. I'm frequently amazed. Furthermore, when you start getting into advanced types it's amazing how many errors become simply impossible since your types encode the logic your program is intended to represent. For an example, here's a blog article linked elsewhere on this page which talks about encoding various "dimensions" of infinitesimals in an automatic differentiation program that thus e…
Comment linking /~ccshan/wiki/blog/posts/Differentiation/
on “Things in Haskell which don't exist elsewhere at all”Submitted Really understanding effects as a story · 2 points
HN discussionhttp://conway.rutgers.edu/~ccshan/wiki/blog/posts/Differenti... was linked in the reddit comment.
Comment linking /~ccshan/wiki/blog/posts/Differentiation/
on “Things in Haskell which don't exist elsewhere at all”Submitted Word numbers, Part 1: Billion approaches as a story · 1 points
HN discussionThe post mentions motivation being symbolic differentiation. Let me instead advocate auto differentiaton. It enables writing mathematical expressions as normal programs, is less error prone for the programmer, is well defined at every valid point in the derivative, and is better at using sharing when computing higher order derivatives. An excellent library for this is, called ad, is available in Haskell. edit: link…
Comment linking /~ccshan/wiki/blog/posts/Differentiation/
on “M-Expressions in Haskell”Submitted Solving the Word Numbers problem with Monoids and Differentiation as a story · 1 points
HN discussionI thought group theory was the easy part. Indeed, that's pretty much what crypto is based on. Many other security applications in CS also rely on group-theoretic notions. Consider homomorphic encryption; the idea that one can develop an encryption algorithm that allows an untrusted source to work with your sensitive data without discovering your data itself, due to the fact that there exist 'one-way' functions from…
Comment linking /~ccshan/wiki/blog/posts/Higher-order_shell/
on “Mathematics for Computer Science”Submitted Haskell Symposium program chair report as a story · 1 points
HN discussionYears ago when I was still in high school I somehow stumbled upon these and tried a few out (the one with the one time pad and the movie titles). I certainly was not ready to tackle them at the time, but even when failing I learned a lot. Years later I ran into a paper on finding the shortest path in a directed graph with negative cycles and it reminded me of all of my attempts to do the same. It is a shame they don…
Comment linking /~ccshan/wiki/blog/posts/WordNumbers1/
on “ITA Software's Hiring Puzzles”They're written in Perl. Take a look at the sources: tmp: http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Higher-ord... keep: http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Higher-ord...
Comment linking /~ccshan/wiki/blog/posts/Higher-order_shell/keep
on “Higher-order Shell”That's because you missed the hidden Part 4 where Shan&Thurston finish their solution: http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumber...
Comment linking /~ccshan/wiki/blog/posts/WordNumbers4
on “Solving ITA's Word Numbers Puzzle”http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumber... I read this write-up of the problem years ago that takes a different approach.
Comment linking /~ccshan/wiki/blog/posts/WordNumbers1/
on “Solving ITA's Word Numbers Puzzle”> If the integers from 1 to 999,999,999 are written as words, sorted alphabetically, and concatenated, what is the 51 billionth letter? In a series of posts, mathematician Dylan Thurston and computer scientist / linguist Chung-chieh Shan solve this problem step by step, introducing concepts such as monoids and differentiation along the way, use the programming language Haskell. Epilogue: Discussion with a representa…
Comment linking /~ccshan/wiki/blog/posts/WordNumbers1/discussion_%E8%A8%8E%E8%AB%96/
on “Word numbers: Billion approaches (2008)”> defining the rules of suduko [...] in SQL Two rather distinct solutions: https://www.sqlite.org/lang_with.html#outlandish_recursive_q... http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Sudoku_in_...
Comment linking /~ccshan/wiki/blog/posts/Sudoku_in_SQL/
on “Using Prolog as the AST”
