• HN Mail
  • Subscribe

PROGRAMMING

Functional Programming in Lean
159 points | 37 comments

Logic programming is overrated, at least for logic puzzles (2013)
62 points | 39 comments

Programming Requires Breadth of Knowledge
23 points | 0 comments

Ask HN: Where did you first come across functional programming?
11 points | 17 comments

Ask HN: Did you assume you would love CS because you loved hobby programming?
10 points | 9 comments

Anime Girls Holding Programming Books
7 points | 8 comments

Ask HN: Which symbolic programming languages do exist?
5 points | 3 comments