HN user

bewuethr

848 karma
Posts15
Comments179
View on HN

Shortened commit SHAs are actually not supported by Actions; if you try, you get

"Unable to resolve action `actions/checkout@11bd719`, the provided ref `11bd719` is the shortened version of a commit SHA, which is not supported. Please use the full commit SHA `11bd71901bbe5b1630ceea73d27597364c9af683` instead."

In Ideas That Created the Future [1], a curated and edited set of influential computer science papers, the Leibniz contribution is "The True Method" [2], which I read more or less as "if we could formalize everything, we could use mathematical methods to find answers to all questions".

In the collection of papers, it's picked because of its ideas later formalized in Boolean logic, and logic programming in general.

[1] https://direct.mit.edu/books/edited-volume/5003/Ideas-That-C...

[2] https://e-space.mmu.ac.uk/624726/3/The%20true%20method.pdf