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  video  china  theguardian.com  health  reuters.com  vibecoding  nytimes.com  tomshardware.com  security  neuroscience  game  psychology  python  linux  psypost.org  show  media 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

AI will make formal verification go mainstream

24 days ago martin.kleppmann.com ai formalmethods go

Turning the database inside-out (2015)

11 months ago martin.kleppmann.com database

How to do distributed locking (2016)

14 months ago martin.kleppmann.com

Accounting for computer scientists (2011)

2 years ago martin.kleppmann.com

How to do distributed locking (2016)

2 years ago martin.kleppmann.com distributed

Verifying distributed systems with Isabelle/HOL

3 years ago martin.kleppmann.com

How to do distributed locking (2016)

3 years ago martin.kleppmann.com

It's time to say goodbye to the GPL

3 years ago martin.kleppmann.com

Making CRDTs Byzantine Fault Tolerant

3 years ago martin.kleppmann.com

A highly-available move opertaion for replicated trees

3 years ago martin.kleppmann.com

Book Review: The Future of Fusion Energy

3 years ago martin.kleppmann.com

Thinking in Events: From Databases to Distributed Collaboration Software

4 years ago martin.kleppmann.com database

It's time to say goodbye to the GPL

4 years ago martin.kleppmann.com

Local-First Software:You Own Your Data, in Spite of the Cloud (2019 PDF)

4 years ago martin.kleppmann.com pdf

Martin Kleppman: Decentralised content moderation

4 years ago martin.kleppmann.com

Using Bloom filters to efficiently synchronise hash graphs

5 years ago martin.kleppmann.com hash

New courses on distributed systems and elliptic curve cryptography

5 years ago martin.kleppmann.com

Writing a book: is it worth it?

5 years ago martin.kleppmann.com

Please stop calling databases CP or AP (2015)

5 years ago martin.kleppmann.com database

CRDTs: The Hard Parts

5 years ago martin.kleppmann.com

How to Do Distributed Locking

6 years ago martin.kleppmann.com

The probability of data loss in large clusters

8 years ago martin.kleppmann.com

The Python Paradox Is Now the Scala Paradox (2009)

9 years ago martin.kleppmann.com python scala

How to do distributed locking

9 years ago martin.kleppmann.com

Getting data out of databases: a surprisingly tricky problem — Martin Kleppmann’s talks

9 years ago martin.kleppmann.com database

Turning the database inside-out

10 years ago martin.kleppmann.com database

Using logs to build a solid data infrastructure (or: why dual writes are a bad idea)

10 years ago martin.kleppmann.com

Change Data Capture: The Magic Wand We Forgot

10 years ago martin.kleppmann.com

Please stop calling databases CP or AP

10 years ago martin.kleppmann.com database

Hermitage: Testing the “I” in ACID

11 years ago martin.kleppmann.com

More →