Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  github.com  rust  vibecoding  show  health  neuroscience  apple  china  psypost.org  javascript  brain  theguardian.com  go  video  web  media  psychology  nature.com  reuters.com 
Loading...

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

Calling Lean Functions As Python Functions

32 hours ago philipzucker.com formalmethods python

Agentic Proof-Oriented Programming

34 hours ago risemsr.github.io formalmethods vibecoding

On the Promises of 'High-Assurance' Cryptography

36 hours ago symbolic.software cryptography formalmethods rant

Proving Liveness with TLA

35 days ago roscidus.com formalmethods

The Intent Envelope: Proofs for Completeness, Not Just Soundness

11 days ago midspiral.com ai formalmethods

Writing Anteforth, a Forth-like in SPARK

23 days ago pyjarrett.github.io concatenative formalmethods

CSLib: A Focused Effort on Formalizing Computer Science in Lean

15 days ago cslib.io compsci formalmethods math

Isolation & Permissiveness of Distributed Transactions in MongoDB

9 days ago mongodb.com database distributed formalmethods mongodb

Verifying State & Reconciliation in Collaborative Web Apps

23 days ago midspiral.com ai formalmethods web

Quint Visualizer: a GraphViz-like visualizer for Quint traces

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

Verified Model-Based Conformance Testing for Dummies

35 days ago welltyped.systems formalmethods testing

From Intent to Proof: Dafny Verification for Web Apps

42 days ago midspiral.com formalmethods web

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

48 days ago abhamra.com algorithm formalmethods

Turning Dafny Sets into Sequences

38 days ago youtu.be formalmethods video

TLA+ Modeling Tips

53 days ago muratbuffalo.blogspot.com distributed formalmethods

Building a React App with Formally Verified State

38 days ago midspiral.com formalmethods react vibecoding

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

55 days ago sdiehl.github.io compsci formalmethods

IronFleet: Proving Practical Distributed Systems Correct

53 days ago andrew.cmu.edu distributed formalmethods pdf

Test, don't just verify

45 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ć

39 days ago youtube.com cryptography formalmethods security video

Semi-Interactive Assembly Verification in Knuckledragger

59 days ago philipzucker.com assembly formalmethods

LionsOS Design, Implementation and Performance

50 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

Computer Says No: Error Reporting for LTL

3 months ago wickstrom.tech formalmethods

Evaluating embedding quality by testing metric properties (Z3 solver)

2 months ago testingbranch.com formalmethods python

What is cosh(List(Bool))? Or beyond algebra: analysis of data types

3 months ago cofault.com formalmethods math

COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)

3 months ago marcoeg.medium.com formalmethods kotlin

More →