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  i.redd.it  linux  vibecoding  security  google  psychology  web  go  psypost.org  video  arstechnica.com  c  java  tomshardware.com  health  microsoft  meta 

Some silly Z3 scripts I wrote

3 months ago hillelwayne.com formalmethods

Kovan: From Production MVCC Systems to Wait-Free Memory Reclamation

3 months ago vertexclique.com formalmethods rust

Optimal Caverna Gameplay via Formal Methods

3 months ago stephendiehl.com formalmethods

TLA+ By Example

3 months ago tlabyexample.com formalmethods

Monitoring Data-Dependent Temporal Patterns

3 months ago imiron.io formalmethods

CSLib: The Lean Computer Science Library

3 months ago arxiv.org formalmethods

130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?

3 months ago arxiv.org formalmethods pdf

Finding forall-exists Hyperbugs using Symbolic Execution

3 months ago dl.acm.org formalmethods pdf

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match

3 months ago ntaylor.ca formalmethods plt

claimcheck: Narrowing the Gap between Proof and Intent

3 months ago midspiral.com ai formalmethods

Technical "whitepaper" for afl-fuzz

3 months ago lcamtuf.coredump.cx formalmethods testing

Calling Lean Functions As Python Functions

3 months ago philipzucker.com formalmethods python

Verifpal, Rewritten in Rust

3 months ago symbolic.software cryptography formalmethods rust vibecoding

Agentic Proof-Oriented Programming

3 months ago risemsr.github.io formalmethods vibecoding

Functional Data Structures and Algorithms. A Proof Assistant Approach

3 months ago fdsa-book.net algorithm book formalmethods pdf plt

Proof-oriented Programming in F*

3 months ago fstar-lang.org book formalmethods plt

On the Promises of 'High-Assurance' Cryptography

3 months ago symbolic.software cryptography formalmethods rant

Proving Liveness with TLA

4 months ago roscidus.com formalmethods

The Intent Envelope: Proofs for Completeness, Not Just Soundness

4 months ago midspiral.com ai formalmethods

Writing Anteforth, a Forth-like in SPARK

4 months ago pyjarrett.github.io concatenative formalmethods

CSLib: A Focused Effort on Formalizing Computer Science in Lean

4 months ago cslib.io compsci formalmethods math

Isolation & Permissiveness of Distributed Transactions in MongoDB

4 months ago mongodb.com database distributed formalmethods mongodb

Verifying State & Reconciliation in Collaborative Web Apps

4 months ago midspiral.com ai formalmethods web

Quint Visualizer: a GraphViz-like visualizer for Quint traces

4 months ago quint-visualizer.noghartt.dev distributed formalmethods show

Verified Model-Based Conformance Testing for Dummies

4 months ago welltyped.systems formalmethods testing

From Intent to Proof: Dafny Verification for Web Apps

5 months ago midspiral.com formalmethods web

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

5 months ago abhamra.com algorithm formalmethods

Turning Dafny Sets into Sequences

4 months ago youtu.be formalmethods video

TLA+ Modeling Tips

5 months ago muratbuffalo.blogspot.com distributed formalmethods

Building a React App with Formally Verified State

4 months ago midspiral.com formalmethods react vibecoding

More →