Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  web  game  i.redd.it  linux  arstechnica.com  psychology  health  microsoft  apple  nature.com  release  windows  show  javascript  spacex  psypost.org 

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

9 months ago community.arm.com formalmethods math

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

10 months ago raw.githubusercontent.com formalmethods hardware osdev

The Baby Paradox in Haskell

10 months ago blog.jle.im formalmethods haskell

Tic-tac-toe meets Lean 4

10 months ago ochagavia.nl formalmethods math plt

Lobsters Interview with Hwayne

10 months ago lobste.rs formalmethods interview

Reasoning about systems' state spaces

10 months ago youtu.be formalmethods video

Linearizability testing S2 with deterministic simulation

10 months ago s2.dev distributed formalmethods rust testing

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

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

Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS

10 months ago podcasts.apple.com audio aws distributed formalmethods

Formal specs as sets of behaviors

11 months ago surfingcomplexity.blog formalmethods