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  health  meta  vibecoding  linux  arstechnica.com  microsoft  theguardian.com  google  i.redd.it  security  github  web  show  windows  psychology  openai  video 

Formal specs as sets of behaviors

9 months ago surfingcomplexity.blog formalmethods

Asymmetry of verification and verifier's law

9 months ago jasonwei.net ai formalmethods

A supposedly worthwhile contract I'll never do again

10 months ago ahelwer.ca formalmethods

A reckless introduction to Hindley-Milner type inference

9 months ago reasonableapproximation.net formalmethods plt

Yalep - Micro language based on Lean for teaching mathematical high-school proofs

9 months ago gricad-gitlab.univ-grenoble-alpes.fr education formalmethods

The Tree Borrows paper is finally published

9 months ago ralfj.de formalmethods plt rust

Asymmetry of verification and verifier’s law

9 months ago jasonwei.net ai formalmethods

P Verified

9 months ago b-hilprecht.github.io distributed formalmethods

Semi-Automated Assembly Verification in Python using pypcode Semantics

9 months ago philipzucker.com formalmethods python

Concurrent Programming with Harmony

9 months ago harmony.cs.cornell.edu book formalmethods