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  china  google  go  media  video  openai  javascript  security  reuters.com  show  web  linux  theguardian.com  techcrunch.com  psychology  youtube.com  microsoft 
Loading...

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

Semi-Interactive Assembly Verification in Knuckledragger

6 days ago philipzucker.com assembly formalmethods

KJS: Formal JS Semantics + Interpreter

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

Prediction: AI will make formal verification go mainstream

6 days ago martin.kleppmann.com ai formalmethods go

Why don't you use dependent types?

42 days ago lawrencecpaulson.github.io formalmethods

The Promise of P-Graphs

19 days ago pavpanchekha.com formalmethods plt

Computer Says No: Error Reporting for LTL

44 days ago wickstrom.tech formalmethods

Evaluating embedding quality by testing metric properties (Z3 solver)

31 days ago testingbranch.com formalmethods python

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

40 days ago cofault.com formalmethods math

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

37 days ago marcoeg.medium.com formalmethods kotlin

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

19 days ago steuwer.info formalmethods pdf plt

Homotopy Type Theory for Dummies

42 days ago chriswarbo.net formalmethods plt

AWS DynamoDB Outage Analysis

41 days ago entropicthoughts.com aws formalmethods

Porting Lean to the ESP32-C3 RISC-V microcontroller

40 days ago kuruczgy.com compiler formalmethods hardware risc

TLA+ Modeling of AWS outage DNS race condition

38 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

49 days 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

seL4 2025 Playlist

2 months ago youtube.com formalmethods osdev security video

Formally verifying a floating-point division routine with Gappa – part 1

3 months ago community.arm.com formalmethods math

Explanation of the Linux-kernel memory consistency model (2017)

3 months ago raw.githubusercontent.com formalmethods hardware osdev

The Baby Paradox in Haskell

3 months ago blog.jle.im formalmethods haskell

Tic-tac-toe meets Lean 4

3 months ago ochagavia.nl formalmethods math plt

Lobsters Interview with Hwayne

4 months ago lobste.rs formalmethods interview

Reasoning about systems' state spaces

4 months ago youtu.be formalmethods video

Linearizability testing S2 with deterministic simulation

3 months ago s2.dev distributed formalmethods rust testing

Sharing is Scaring: Why is Cloud File-Sharing Hard?

3 months ago blog.brownplt.org cogsci distributed formalmethods pdf

More →