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  vibecoding  show  health  psychology  google  neuroscience  psypost.org  release  video  discord  apple  game  china  arstechnica.com  go  theguardian.com  media 
Loading...

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

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

45 hours ago ntaylor.ca formalmethods plt

Technical "whitepaper" for afl-fuzz

4 days ago lcamtuf.coredump.cx formalmethods testing

Calling Lean Functions As Python Functions

10 days ago philipzucker.com formalmethods python

Agentic Proof-Oriented Programming

10 days ago risemsr.github.io formalmethods vibecoding

Functional Data Structures and Algorithms. A Proof Assistant Approach

2 days ago fdsa-book.net algorithm book formalmethods pdf plt

Proof-oriented Programming in F*

4 days ago fstar-lang.org book formalmethods plt

On the Promises of 'High-Assurance' Cryptography

10 days ago symbolic.software cryptography formalmethods rant

Proving Liveness with TLA

45 days ago roscidus.com formalmethods

The Intent Envelope: Proofs for Completeness, Not Just Soundness

21 days ago midspiral.com ai formalmethods

Writing Anteforth, a Forth-like in SPARK

32 days ago pyjarrett.github.io concatenative formalmethods

CSLib: A Focused Effort on Formalizing Computer Science in Lean

25 days ago cslib.io compsci formalmethods math

Isolation & Permissiveness of Distributed Transactions in MongoDB

18 days ago mongodb.com database distributed formalmethods mongodb

Verifying State & Reconciliation in Collaborative Web Apps

33 days ago midspiral.com ai formalmethods web

Quint Visualizer: a GraphViz-like visualizer for Quint traces

31 days ago quint-visualizer.noghartt.dev distributed formalmethods show

Verified Model-Based Conformance Testing for Dummies

44 days ago welltyped.systems formalmethods testing

From Intent to Proof: Dafny Verification for Web Apps

51 days ago midspiral.com formalmethods web

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

58 days ago abhamra.com algorithm formalmethods

Turning Dafny Sets into Sequences

47 days ago youtu.be formalmethods video

TLA+ Modeling Tips

2 months ago muratbuffalo.blogspot.com distributed formalmethods

Building a React App with Formally Verified State

48 days ago midspiral.com formalmethods react vibecoding

From Zero to QED: An informal introduction to formality with Lean 4

2 months ago sdiehl.github.io compsci formalmethods

IronFleet: Proving Practical Distributed Systems Correct

2 months ago andrew.cmu.edu distributed formalmethods pdf

Test, don't just verify

55 days ago alperenkeles.com formalmethods testing

AI will make formal verification go mainstream

2 months ago martin.kleppmann.com ai formalmethods go

HEXACON 2025 - Keynote by Ivan Krstić

48 days ago youtube.com cryptography formalmethods security video

Semi-Interactive Assembly Verification in Knuckledragger

2 months ago philipzucker.com assembly formalmethods

LionsOS Design, Implementation and Performance

59 days ago arxiv.org formalmethods osdev performance

KJS: Formal JS Semantics + Interpreter

2 months ago fsl.cs.illinois.edu formalmethods javascript pdf

Why don't you use dependent types?

3 months ago lawrencecpaulson.github.io formalmethods

The Promise of P-Graphs

2 months ago pavpanchekha.com formalmethods plt

More →