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  health  psychology  theguardian.com  environment  apple  trump  go  scimex.org  arstechnica.com  psypost.org  game  web  google  china  theverge.com  java  techcrunch.com 

Digging into the EVM Object Format (EOF)

12 months ago whileydave.com api merkle-trees

Functions as Methods in Dafny?

13 months ago whileydave.com formalmethods

Proving Beautiful Mathematics in Dafny

15 months ago whileydave.com formalmethods math

Programming languages going above and beyond

16 months ago whileydave.com formalmethods

Pattern Matching in Rust's Neverland!

18 months ago whileydave.com rust

Formalising the EVM in Dafny

20 months ago whileydave.com formalmethods

Disassembling EVM Bytecode (the Basics)

22 months ago whileydave.com bytecode

Verifying a Token Contract

23 months ago whileydave.com

Formalising a Simple Virtual Machine

2 years ago whileydave.com

Whiley gets Rusty

2 years ago whileydave.com

Type Checking in Whiley goes Both Ways

2 years ago whileydave.com

Formally Verifying an Auction Contract

2 years ago whileydave.com

Puzzling Strong Updates in Rust

2 years ago whileydave.com rust

Modelling Borrow Checking in Rust

2 years ago whileydave.com rust

Verifying the Whiley Standard Library

3 years ago whileydave.com

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust

3 years ago whileydave.com rust

Test-Driving the Rust Model Checker (RMC)

3 years ago whileydave.com rust

Sizing up Types in Rust!

3 years ago whileydave.com rust

Dynamic Deadlock Detection in Abseil

3 years ago whileydave.com

QuickCheck for Whiley

3 years ago whileydave.com

Understanding Partial Moves in Rust

3 years ago whileydave.com rust

The Semantics of Semantic Versioning?

4 years ago whileydave.com

Whiley is Ten Years Old

4 years ago whileydave.com