Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  github.com  rust  trump  health  google  release  nature.com  security  theverge.com  apple  game  psychology  vibecoding  psypost.org  linux  web  video  chatgpt  gpt 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Lobsters Interview with Hwayne

2 days ago lobste.rs formalmethods interview

Reasoning about systems' state spaces

4 days ago youtu.be formalmethods video

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

4 days ago podcasts.apple.com audio aws distributed formalmethods

Formal specs as sets of behaviors

14 days ago surfingcomplexity.blog formalmethods

Asymmetry of verification and verifier's law

22 days ago jasonwei.net ai formalmethods

A supposedly worthwhile contract I'll never do again

37 days ago ahelwer.ca formalmethods

A reckless introduction to Hindley-Milner type inference

20 days ago reasonableapproximation.net formalmethods plt

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

13 days ago gricad-gitlab.univ-grenoble-alpes.fr education formalmethods

The Tree Borrows paper is finally published

32 days ago ralfj.de formalmethods plt rust

Asymmetry of verification and verifier’s law

19 days ago jasonwei.net ai formalmethods

P Verified

19 days ago b-hilprecht.github.io distributed formalmethods

Semi-Automated Assembly Verification in Python using pypcode Semantics

19 days ago philipzucker.com formalmethods python

Concurrent Programming with Harmony

31 days ago harmony.cs.cornell.edu book formalmethods

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

11 days ago philipzucker.com assembly formalmethods risc

My first verified imperative program

34 days ago markushimmel.de formalmethods plt

Kiro and the future of AI spec-driven software development

25 days ago kiro.dev ai formalmethods vibecoding

Inequality Union Finds: Baby Steps to Refinement E-graphs

39 days ago philipzucker.com formalmethods plt

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

39 days ago mongodb.com distributed formalmethods mongodb

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

33 days ago unnamed.website apple formalmethods graphics

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

32 days ago cs.uoregon.edu education formalmethods plt video

Passing of Jean-Raymond Abrial

2 months ago en.wikipedia.org formalmethods

Writing a Verified Postfix Calculator in Ada/SPARK

2 months ago pyjarrett.github.io formalmethods

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

58 days ago research.mietek.io formalmethods math

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library

2 months ago microsoft.com c formalmethods microsoft rust

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

2 months ago mongodb.com formalmethods mongodb

Proving completeness of an eventually perfect failure detector in Lean4

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

Telescopes Are Tries: A Dependent Type Shellac on SQLite

48 days ago philipzucker.com database formalmethods plt

StarMalloc: verified memory allocator

58 days ago dl.acm.org compsci formalmethods security

AI is a gamechanger for TLA+ users

2 months ago buttondown.com ai formalmethods vibecoding

NVIDIA ISO-26262 SPARK Process

2 months ago nvidia.github.io formalmethods nvidia release

More →