Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  apple  health  arstechnica.com  trump  security  database  web  video  neuroscience  theverge.com  show  theguardian.com  microsoft  psychology  china  media  compiler 

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library

3 months ago microsoft.com c formalmethods microsoft rust

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

3 months ago mongodb.com formalmethods mongodb

Proving completeness of an eventually perfect failure detector in Lean4

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

Telescopes Are Tries: A Dependent Type Shellac on SQLite

2 months ago philipzucker.com database formalmethods plt

StarMalloc: verified memory allocator

3 months ago dl.acm.org compsci formalmethods security

AI is a gamechanger for TLA+ users

3 months ago buttondown.com ai formalmethods vibecoding

NVIDIA ISO-26262 SPARK Process

3 months ago nvidia.github.io formalmethods nvidia release

What works (and doesn't) selling formal methods

3 months ago galois.com formalmethods

The current state of TLA⁺ development

4 months ago ahelwer.ca formalmethods

A Lean companion to Analysis I

3 months ago terrytao.wordpress.com formalmethods math

Are We Serious About Using TLA+ For Statistical Properties?

4 months ago emptysqua.re formalmethods

A leap year check in three instructions

4 months ago hueffner.de c compiler formalmethods

Systems Correctness Practices at Amazon Web Services

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

Sleeping soundly with the help of TLA+ (2022)

4 months ago blogs.oracle.com distributed formalmethods

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

4 months ago terrytao.wordpress.com formalmethods math

GenAI-Accelerated TLA+ Challenge

4 months ago foundation.tlapl.us formalmethods vibecoding

The Coming AI Revolution in Distributed Systems

3 months ago zfhuang99.github.io ai formalmethods vibecoding

Warteschlangensimulator

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

Benchmarking Crimes Meet Formal Verification

4 months ago microkerneldude.org formalmethods osdev

Modular verification of MongoDB Transactions using TLA+

4 months ago muratbuffalo.blogspot.com distributed formalmethods mongodb

The value of model checking in distributed protocols design

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

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

4 months ago emschwartz.me formalmethods llm vibecoding

Debugging a Logic Circuit in IDP-Z3

4 months ago simonvandevelde.be debugging formalmethods math

A Python frozenset interpretation of Dependent Type Theory

3 months ago philipzucker.com formalmethods plt python

Model error

5 months ago surfingcomplexity.blog formalmethods

Advent of Code in Coq (2021)

5 months ago github.com formalmethods

3110 Coq Tactics Cheatsheet

5 months ago cs.cornell.edu formalmethods

Revisiting an early critique of formal verification

4 months ago lawrencecpaulson.github.io formalmethods historical

coqoban: Sokoban (in Coq)

5 months ago github.com formalmethods game

certicoq: A Verified Compiler for Gallina, Written in Gallina

5 months ago github.com compiler formalmethods

More →