Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  trump  rust  github.com  health  china  show  go  psychology  theguardian.com  arstechnica.com  web  apple  video  psypost.org  google  nature.com  javascript  meta  youtube.com 

Debugging designs with TLA+

6 years ago muratbuffalo.blogspot.com debugging

TLA+ specification of the consistent prefix guarantee

6 years ago muratbuffalo.blogspot.com

The many faces of consistency

6 years ago muratbuffalo.blogspot.com

Mind Your State for Your State of Mind

6 years ago muratbuffalo.blogspot.com

If You’re Not Writing a Program, Don't Use a Programming Language

6 years ago muratbuffalo.blogspot.com

Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab

6 years ago muratbuffalo.blogspot.com

Master your tools

7 years ago muratbuffalo.blogspot.com

What is the killer app for IPFS?

7 years ago muratbuffalo.blogspot.com

Paxos derived

7 years ago muratbuffalo.blogspot.com

The Lambda and the Kappa Architectures

7 years ago muratbuffalo.blogspot.com lambda

Why you should use modeling [with TLA+/PlusCal]

7 years ago muratbuffalo.blogspot.com

WPaxos: a wide area network Paxos protocol

7 years ago muratbuffalo.blogspot.com

A Comparison of Distributed Machine Learning Platforms

7 years ago muratbuffalo.blogspot.com

It is about time

8 years ago muratbuffalo.blogspot.com

Learning Machine Learning: A beginner's journey

8 years ago muratbuffalo.blogspot.com

My Distributed Systems Seminar's Reading List for Spring 2017

8 years ago muratbuffalo.blogspot.com

Sonification for monitoring and debugging distributed systems

8 years ago muratbuffalo.blogspot.com debugging

Realtime Data Processing at Facebook

8 years ago muratbuffalo.blogspot.com facebook

Paper summary: Google TensorFlow, A system for large-scale machine learning

8 years ago muratbuffalo.blogspot.com google

Holistic Configuration Management at Facebook

9 years ago muratbuffalo.blogspot.com facebook

Paper review: TensorFlow, Large-Scale Machine Learning on Heterogeneous Distributed Systems

9 years ago muratbuffalo.blogspot.com

My Distributed Systems Seminar's reading list for Spring 2016

9 years ago muratbuffalo.blogspot.com

My experience with using TLA+ in distributed systems class

9 years ago muratbuffalo.blogspot.com

Facebook's Mystery Machine: End-To-end Performance Analysis of Internet Services

10 years ago muratbuffalo.blogspot.com facebook

Perspectives on the CAP theorem

10 years ago muratbuffalo.blogspot.com

The Scalable Commutativity Rule

10 years ago muratbuffalo.blogspot.com

Distributed is not necessarily more scalable than centralized

10 years ago muratbuffalo.blogspot.com

BookKeeper: High-availability scalable distributed logging

10 years ago muratbuffalo.blogspot.com

Facebook's software architecture

10 years ago muratbuffalo.blogspot.com facebook

Tango: Distributed Data Structures Over a Shared Log

10 years ago muratbuffalo.blogspot.com

More →