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  google  show  apple  youtube.com  release  go  video  web  techcrunch.com  javascript  trump  nature.com  eurekalert.org  china  nytimes.com  arstechnica.com 

TLA⁺ is more than a DSL for breadth-first search

2 months ago ahelwer.ca formalmethods

TLA⁺ Unicode support: Learning to work with others in open source

5 months ago ahelwer.ca formalmethods unicode

Wrangling Monotonic Systems in TLA+

12 months ago ahelwer.ca distributed formalmethods

Using TLA⁺ at Work: Designing a Snapshot Coordination System

19 months ago ahelwer.ca distributed formalmethods

FOSS I Love: Local game streaming with Sunshine and Moonlight

19 months ago ahelwer.ca game

Inlining SVGs for Dark Mode

19 months ago ahelwer.ca css

Google Groups has been left to die

20 months ago ahelwer.ca culture google

Pseudocode Showdown: Python vs. PlusCal & TLA+

20 months ago ahelwer.ca formalmethods python

Checking Firewall Equivalence with Z3 (2018)

21 months ago ahelwer.ca compsci firewall networking

Can sanitizers find the two bugs I wrote in C++?

21 months ago ahelwer.ca c c++

Two C++ bugs I found

21 months ago ahelwer.ca c c++

Writing a TLA⁺ tree-sitter grammar: my foray into free software

22 months ago ahelwer.ca

What's the difference between a computer and a rock?

2 years ago ahelwer.ca

The Missing Prelude to The Little Typer's Trickiest Chapter

2 years ago ahelwer.ca

Two pictures of quantum computation

3 years ago ahelwer.ca

How do you reason about a probabilistic distributed system?

4 years ago ahelwer.ca

Taking my home work setup seriously: ergonomics and settling in for the long haul

4 years ago ahelwer.ca

Doing a math assignment with the Lean theorem prover

4 years ago ahelwer.ca math

Simulating physical reality with a quantum computer

4 years ago ahelwer.ca

Walking the faster-than-light tightrope: quantum entanglement and the CHSH game

4 years ago ahelwer.ca game