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  apple  show  theguardian.com  video  web  release  arstechnica.com  brain  youtube.com  techspot.com  game  theverge.com  python  theregister.com  china  nature.com 

Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+

3 months ago mongodb.com distributed formalmethods mongodb

“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode

3 months ago unnamed.website apple formalmethods graphics

Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods

3 months ago cs.uoregon.edu education formalmethods plt video

Passing of Jean-Raymond Abrial

4 months ago en.wikipedia.org formalmethods

Writing a Verified Postfix Calculator in Ada/SPARK

4 months ago pyjarrett.github.io formalmethods

100 years of Zermelo's axiom of choice: What was the problem with it? (2006)

4 months ago research.mietek.io formalmethods math

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library

4 months ago microsoft.com c formalmethods microsoft rust

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

4 months ago mongodb.com formalmethods mongodb

Proving completeness of an eventually perfect failure detector in Lean4

4 months ago protocols-made-fun.com distributed formalmethods

Telescopes Are Tries: A Dependent Type Shellac on SQLite

3 months ago philipzucker.com database formalmethods plt

StarMalloc: verified memory allocator

4 months ago dl.acm.org compsci formalmethods security

AI is a gamechanger for TLA+ users

4 months ago buttondown.com ai formalmethods vibecoding

NVIDIA ISO-26262 SPARK Process

4 months ago nvidia.github.io formalmethods nvidia release

What works (and doesn't) selling formal methods

4 months ago galois.com formalmethods

The current state of TLA⁺ development

5 months ago ahelwer.ca formalmethods

A Lean companion to Analysis I

4 months ago terrytao.wordpress.com formalmethods math

Are We Serious About Using TLA+ For Statistical Properties?

5 months ago emptysqua.re formalmethods

A leap year check in three instructions

5 months ago hueffner.de c compiler formalmethods

Systems Correctness Practices at Amazon Web Services

4 months ago cacm.acm.org amazon formalmethods testing web

Sleeping soundly with the help of TLA+ (2022)

5 months ago blogs.oracle.com distributed formalmethods

A tool to verify estimates, II: a flexible proof assistant

5 months ago terrytao.wordpress.com formalmethods math

GenAI-Accelerated TLA+ Challenge

5 months ago foundation.tlapl.us formalmethods vibecoding

The Coming AI Revolution in Distributed Systems

4 months ago zfhuang99.github.io ai formalmethods vibecoding

Warteschlangensimulator

5 months ago a-herzog.github.io formalmethods performance

Benchmarking Crimes Meet Formal Verification

5 months ago microkerneldude.org formalmethods osdev

Modular verification of MongoDB Transactions using TLA+

5 months ago muratbuffalo.blogspot.com distributed formalmethods mongodb

The value of model checking in distributed protocols design

4 months ago protocols-made-fun.com distributed formalmethods

New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks

5 months ago emschwartz.me formalmethods llm vibecoding

Debugging a Logic Circuit in IDP-Z3

5 months ago simonvandevelde.be debugging formalmethods math

A Python frozenset interpretation of Dependent Type Theory

4 months ago philipzucker.com formalmethods plt python

More →