Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: github.com  ai  rust  health  arstechnica.com  google  web  theverge.com  nature.com  javascript  microsoft  video  brain  meta  psychology  go  show  medicine  techcrunch.com  theguardian.com 

The Great Theorem Prover Showdown • Hillel Wayne

3 years ago hillelwayne.com

Decision Table Patterns

4 years ago hillelwayne.com

Finding Goroutine Bugs with TLA+

4 years ago hillelwayne.com go

J Notation as a Tool of Thought

4 years ago hillelwayne.com

The Frink Is Good, the Unit Is Evil

4 years ago hillelwayne.com

Progressive Cheatsheets – Making a Better Cheatsheet

4 years ago hillelwayne.com

Important Women in CS Who Aren't Grace Hopper (2018)

4 years ago hillelwayne.com

Weak and Strong Fairness

4 years ago hillelwayne.com

Property Testing with Complex Inputs

4 years ago hillelwayne.com

In Praise of AutoHotKey

4 years ago hillelwayne.com

Constructive vs Predicative Data

4 years ago hillelwayne.com

Announcing: Alloydocs

4 years ago hillelwayne.com

The Hard Part of Learning a Language

4 years ago hillelwayne.com

Hillel Wayne: "I really like decision tables but they've fallen out of common knowledge. Let's fix that."

4 years ago hillelwayne.com

The social side of science seen in the research on programming language quality

4 years ago hillelwayne.com

Most(ly dead) Influential Programming Languages

4 years ago hillelwayne.com

Important women in CS who aren't Grace Hopper (2018)

4 years ago hillelwayne.com

Feature Interaction Bugs

4 years ago hillelwayne.com

The Business Case for Formal Methods

4 years ago hillelwayne.com

Hypermodeling Hyperproperties

4 years ago hillelwayne.com

Finding Property Tests (2019)

4 years ago hillelwayne.com

How fast do I talk?

4 years ago hillelwayne.com

Formally Modeling Database Migrations

4 years ago hillelwayne.com database

Python Negatypes

5 years ago hillelwayne.com python

What We Know We Don't Know: Empirical Software Engineering

5 years ago hillelwayne.com

Performance Matters

5 years ago hillelwayne.com

Falsehoods Programmers Believe About Dogs

5 years ago hillelwayne.com

Modeling Missing Requirements

5 years ago hillelwayne.com

Probabilistic Modeling with PRISM

5 years ago hillelwayne.com

Modeling Adversaries with TLA+

5 years ago hillelwayne.com

More →