Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  google  youtube.com  show  release  video  web  go  apple  javascript  arstechnica.com  security  techcrunch.com  trump  nature.com  eurekalert.org  china 

Why Writing Correct Software Is Hard (2016)

6 months ago pron.github.io compiler formalmethods math

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part I

3 years ago pron.github.io

People Don't Write Programs

3 years ago pron.github.io

Finite of Sense and Infinite of Thought

4 years ago pron.github.io

A History of Computation, Logic and Algebra

5 years ago pron.github.io

A History of Computation, Logic and Algebra, Part I

6 years ago pron.github.io

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part III

6 years ago pron.github.io

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part II

6 years ago pron.github.io

TLA+ in Practice and Theory, Part 4: Order in TLA+

7 years ago pron.github.io

TLA+ in Practice and Theory, Part 3: The (Temporal) Logic of Actions

7 years ago pron.github.io

TLA+ in Practice and Theory, Part 2: The + in TLA+

7 years ago pron.github.io

TLA+ in Practice and Theory Part 1: The Principles of TLA+

7 years ago pron.github.io