Logic for Programmers (logicforprogrammers.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of logicforprogrammers.com: Logic for Programmers

First screen, captured 2 months ago.

Looks similar

Screenshot of logica.dev: Logica – Declarative logic programming language for data

Logica – Declarative logic programming language for data (logica.dev)

153 points by voat 1 year ago | 53 comments

Screenshot of lix.polytechnique.fr: λProlog: Logic programming in higher-order logic

λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Screenshot of fuzzingbook.org: The Fuzzing Book

The Fuzzing Book (fuzzingbook.org)

232 points by chautumn 1 year ago | 8 comments

Screenshot of flaviocopes.com: The JavaScript Handbook (2025 edition)

The JavaScript Handbook (2025 edition)(flaviocopes.com)

13 points by unripe_syntax 1 year ago | 0 comments

Screenshot of artima.com: Modern Mathematics (Pre-Print) Cutting-edge math for today's coder

Modern Mathematics (Pre-Print) Cutting-edge math for today's coder (artima.com)

41 points by haskellandchill 1 year ago | 5 comments

Screenshot of cs3110.github.io: OCaml Programming: Correct and Efficient and Beautiful

OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)

106 points by smartmic 1 year ago | 34 comments