Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  vibecoding  github.com  rust  show  security  release  microsoft  linux  openai  game  psychology  health  psypost.org  web  video  theguardian.com  techspot.com  apple  tomshardware.com 

Building a React App with Formally Verified State

9 months ago midspiral.com formalmethods react vibecoding

From Zero to QED: An informal introduction to formality with Lean 4

10 months ago sdiehl.github.io compsci formalmethods

IronFleet: Proving Practical Distributed Systems Correct

10 months ago andrew.cmu.edu distributed formalmethods pdf

Test, don't just verify

9 months ago alperenkeles.com formalmethods testing

AI will make formal verification go mainstream

10 months ago martin.kleppmann.com ai formalmethods go

HEXACON 2025 - Keynote by Ivan Krstić

9 months ago youtube.com cryptography formalmethods security video

Semi-Interactive Assembly Verification in Knuckledragger

10 months ago philipzucker.com assembly formalmethods

LionsOS Design, Implementation and Performance

10 months ago arxiv.org formalmethods osdev performance

KJS: Formal JS Semantics + Interpreter

10 months ago fsl.cs.illinois.edu formalmethods javascript pdf

Why don't you use dependent types?

11 months ago lawrencecpaulson.github.io formalmethods