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  google  youtube.com  web  video  javascript  apple  show  release  go  security  nature.com  arstechnica.com  theregister.com  linux  trump  eurekalert.org 

Digging into the EVM Object Format (EOF)

12 months ago whileydave.com api merkle-trees

Functions as Methods in Dafny?

14 months ago whileydave.com formalmethods

Proving Beautiful Mathematics in Dafny

16 months ago whileydave.com formalmethods math

Programming languages going above and beyond

17 months ago whileydave.com formalmethods

Pattern Matching in Rust's Neverland!

19 months ago whileydave.com rust

Formalising the EVM in Dafny

21 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