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  video  china  theguardian.com  health  vibecoding  reuters.com  neuroscience  nytimes.com  psychology  security  tomshardware.com  game  psypost.org  show  linux  apple  python 
Loading...

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

From Intent to Proof: Dafny Verification for Web Apps

6 days ago midspiral.com formalmethods web

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

12 days ago abhamra.com algorithm formalmethods

Turning Dafny Sets into Sequences

2 days ago youtu.be formalmethods video

TLA+ Modeling Tips

17 days ago muratbuffalo.blogspot.com distributed formalmethods

Building a React App with Formally Verified State

2 days ago midspiral.com formalmethods react vibecoding

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

19 days ago sdiehl.github.io compsci formalmethods

IronFleet: Proving Practical Distributed Systems Correct

17 days ago andrew.cmu.edu distributed formalmethods pdf

AI will make formal verification go mainstream

24 days ago martin.kleppmann.com ai formalmethods go

Semi-Interactive Assembly Verification in Knuckledragger

23 days ago philipzucker.com assembly formalmethods

HEXACON 2025 - Keynote by Ivan Krstić

3 days ago youtube.com cryptography formalmethods security video

LionsOS Design, Implementation and Performance

14 days ago arxiv.org formalmethods osdev performance

KJS: Formal JS Semantics + Interpreter

25 days ago fsl.cs.illinois.edu formalmethods javascript pdf

Why don't you use dependent types?

2 months ago lawrencecpaulson.github.io formalmethods

The Promise of P-Graphs

37 days ago pavpanchekha.com formalmethods plt

Computer Says No: Error Reporting for LTL

2 months ago wickstrom.tech formalmethods

Evaluating embedding quality by testing metric properties (Z3 solver)

49 days ago testingbranch.com formalmethods python

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

58 days ago cofault.com formalmethods math

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

55 days ago marcoeg.medium.com formalmethods kotlin

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

37 days ago steuwer.info formalmethods pdf plt

Homotopy Type Theory for Dummies

2 months ago chriswarbo.net formalmethods plt

AWS DynamoDB Outage Analysis

58 days ago entropicthoughts.com aws formalmethods

Porting Lean to the ESP32-C3 RISC-V microcontroller

58 days ago kuruczgy.com compiler formalmethods hardware risc

TLA+ Modeling of AWS outage DNS race condition

56 days ago muratbuffalo.blogspot.com aws distributed dns formalmethods

Three ways formally verified code can go wrong in practice

2 months ago buttondown.com formalmethods

Automated Lean Proofs for Every Type

2 months ago galois.com formalmethods

Litex: The First Formal Language Learnable in 2 Hours

2 months ago litexlang.com formalmethods

Formal or not formal? That is the question in AI for theorem proving

2 months ago xenaproject.wordpress.com ai formalmethods vibecoding

Breaking "provably correct" Leftpad

2 months ago lukeplant.me.uk formalmethods

A dumb introduction to z3

3 months ago asibahi.github.io formalmethods plt rust

Program verification is not all-or-nothing

3 months ago lawrencecpaulson.github.io formalmethods

More →