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  psychology  psypost.org  show  openai  apple  iran  google  game  arstechnica.com  video  database  security  go  release  i.redd.it  web 

Turning Dafny Sets into Sequences

2 months ago youtu.be formalmethods video

TLA+ Modeling Tips

2 months ago muratbuffalo.blogspot.com distributed formalmethods

Building a React App with Formally Verified State

2 months 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

2 months ago alperenkeles.com formalmethods testing

AI will make formal verification go mainstream

3 months ago martin.kleppmann.com ai formalmethods go

HEXACON 2025 - Keynote by Ivan Krstić

2 months ago youtube.com cryptography formalmethods security video

Semi-Interactive Assembly Verification in Knuckledragger

3 months ago philipzucker.com assembly formalmethods

LionsOS Design, Implementation and Performance

2 months ago arxiv.org formalmethods osdev performance

KJS: Formal JS Semantics + Interpreter

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

Why don't you use dependent types?

4 months ago lawrencecpaulson.github.io formalmethods

The Promise of P-Graphs

3 months ago pavpanchekha.com formalmethods plt

Computer Says No: Error Reporting for LTL

4 months ago wickstrom.tech formalmethods

Evaluating embedding quality by testing metric properties (Z3 solver)

3 months ago testingbranch.com formalmethods python

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

4 months ago cofault.com formalmethods math

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

4 months ago marcoeg.medium.com formalmethods kotlin

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

3 months ago steuwer.info formalmethods pdf plt

Homotopy Type Theory for Dummies

4 months ago chriswarbo.net formalmethods plt

AWS DynamoDB Outage Analysis

4 months ago entropicthoughts.com aws formalmethods

Porting Lean to the ESP32-C3 RISC-V microcontroller

4 months ago kuruczgy.com compiler formalmethods hardware risc

TLA+ Modeling of AWS outage DNS race condition

4 months ago muratbuffalo.blogspot.com aws distributed dns formalmethods

Three ways formally verified code can go wrong in practice

4 months ago buttondown.com formalmethods

Automated Lean Proofs for Every Type

5 months ago galois.com formalmethods

Litex: The First Formal Language Learnable in 2 Hours

4 months ago litexlang.com formalmethods

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

4 months ago xenaproject.wordpress.com ai formalmethods vibecoding

Breaking "provably correct" Leftpad

5 months ago lukeplant.me.uk formalmethods

A dumb introduction to z3

5 months ago asibahi.github.io formalmethods plt rust

Program verification is not all-or-nothing

6 months ago lawrencecpaulson.github.io formalmethods

seL4 2025 Playlist

5 months ago youtube.com formalmethods osdev security video

More →