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  vibecoding  psychology  psypost.org  show  apple  openai  iran  game  google  arstechnica.com  database  security  video  i.redd.it  release  brain  web 

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library

9 months ago microsoft.com c formalmethods microsoft rust

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

9 months ago mongodb.com formalmethods mongodb

Proving completeness of an eventually perfect failure detector in Lean4

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

Telescopes Are Tries: A Dependent Type Shellac on SQLite

8 months ago philipzucker.com database formalmethods plt

StarMalloc: verified memory allocator

9 months ago dl.acm.org compsci formalmethods security

AI is a gamechanger for TLA+ users

9 months ago buttondown.com ai formalmethods vibecoding

NVIDIA ISO-26262 SPARK Process

9 months ago nvidia.github.io formalmethods nvidia release

What works (and doesn't) selling formal methods

9 months ago galois.com formalmethods

The current state of TLA⁺ development

9 months ago ahelwer.ca formalmethods

A Lean companion to Analysis I

9 months ago terrytao.wordpress.com formalmethods math