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  openai  web  health  youtube.com  google  video  game  china  vibecoding  apple  microsoft  windows  reuters.com  arstechnica.com  theguardian.com  javascript  zig 

Asymmetry of verification and verifier’s law

3 months ago jasonwei.net ai formalmethods

P Verified

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

Semi-Automated Assembly Verification in Python using pypcode Semantics

3 months ago philipzucker.com formalmethods python

Concurrent Programming with Harmony

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

Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code

3 months ago philipzucker.com assembly formalmethods risc

My first verified imperative program

4 months ago markushimmel.de formalmethods plt

Kiro and the future of AI spec-driven software development

3 months ago kiro.dev ai formalmethods vibecoding

Inequality Union Finds: Baby Steps to Refinement E-graphs

4 months ago philipzucker.com formalmethods plt

Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+

4 months ago mongodb.com distributed formalmethods mongodb

“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode

4 months ago unnamed.website apple formalmethods graphics

Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods

4 months ago cs.uoregon.edu education formalmethods plt video

Passing of Jean-Raymond Abrial

5 months ago en.wikipedia.org formalmethods

Writing a Verified Postfix Calculator in Ada/SPARK

4 months ago pyjarrett.github.io formalmethods

100 years of Zermelo's axiom of choice: What was the problem with it? (2006)

4 months ago research.mietek.io formalmethods math

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library

5 months ago microsoft.com c formalmethods microsoft rust

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

5 months ago mongodb.com formalmethods mongodb

Proving completeness of an eventually perfect failure detector in Lean4

5 months ago protocols-made-fun.com distributed formalmethods

Telescopes Are Tries: A Dependent Type Shellac on SQLite

4 months ago philipzucker.com database formalmethods plt

StarMalloc: verified memory allocator

4 months ago dl.acm.org compsci formalmethods security

AI is a gamechanger for TLA+ users

5 months ago buttondown.com ai formalmethods vibecoding

NVIDIA ISO-26262 SPARK Process

5 months ago nvidia.github.io formalmethods nvidia release

What works (and doesn't) selling formal methods

5 months ago galois.com formalmethods

The current state of TLA⁺ development

5 months ago ahelwer.ca formalmethods

A Lean companion to Analysis I

5 months ago terrytao.wordpress.com formalmethods math

Are We Serious About Using TLA+ For Statistical Properties?

6 months ago emptysqua.re formalmethods

A leap year check in three instructions

5 months ago hueffner.de c compiler formalmethods

Systems Correctness Practices at Amazon Web Services

5 months ago cacm.acm.org amazon formalmethods testing web

Sleeping soundly with the help of TLA+ (2022)

5 months ago blogs.oracle.com distributed formalmethods

A tool to verify estimates, II: a flexible proof assistant

6 months ago terrytao.wordpress.com formalmethods math

GenAI-Accelerated TLA+ Challenge

6 months ago foundation.tlapl.us formalmethods vibecoding

More →