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  rust  github.com  health  web  theguardian.com  release  show  i.redd.it  vibecoding  game  go  windows  linux  javascript  security  reuters.com  apple  java  brain 
Loading...

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

TLA+ mental models

14 hours ago muratbuffalo.blogspot.com formalmethods

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

7 days ago mistral.ai formalmethods vibecoding

Modeling Token Buckets in PlusCal and TLA+

7 days ago muratbuffalo.blogspot.com distributed formalmethods

Linear Temporal Logic Visualizer

3 days ago quickstrom.github.io formalmethods math

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

15 days ago philipzucker.com formalmethods plt

When AI writes the software, who verifies it?

20 days ago leodemoura.github.io ai formalmethods logiclangs vibecoding

Lambda Calculus Explorer

14 days ago kmicinski.com compiler formalmethods lambda

LLMs are bad at vibing specifications

13 days ago buttondown.com formalmethods llm vibecoding

Some silly Z3 scripts I wrote

28 days ago hillelwayne.com formalmethods

Kovan: From Production MVCC Systems to Wait-Free Memory Reclamation

29 days ago vertexclique.com formalmethods rust

Optimal Caverna Gameplay via Formal Methods

24 days ago stephendiehl.com formalmethods

TLA+ By Example

27 days ago tlabyexample.com formalmethods

Monitoring Data-Dependent Temporal Patterns

33 days ago imiron.io formalmethods

CSLib: The Lean Computer Science Library

29 days ago arxiv.org formalmethods

130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?

33 days ago arxiv.org formalmethods pdf

Finding forall-exists Hyperbugs using Symbolic Execution

35 days ago dl.acm.org formalmethods pdf

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match

37 days ago ntaylor.ca formalmethods plt

claimcheck: Narrowing the Gap between Proof and Intent

34 days ago midspiral.com ai formalmethods

Technical "whitepaper" for afl-fuzz

39 days ago lcamtuf.coredump.cx formalmethods testing

Calling Lean Functions As Python Functions

46 days ago philipzucker.com formalmethods python

Verifpal, Rewritten in Rust

28 days ago symbolic.software cryptography formalmethods rust vibecoding

Agentic Proof-Oriented Programming

46 days ago risemsr.github.io formalmethods vibecoding

Functional Data Structures and Algorithms. A Proof Assistant Approach

38 days ago fdsa-book.net algorithm book formalmethods pdf plt

Proof-oriented Programming in F*

40 days ago fstar-lang.org book formalmethods plt

On the Promises of 'High-Assurance' Cryptography

46 days ago symbolic.software cryptography formalmethods rant

Proving Liveness with TLA

2 months ago roscidus.com formalmethods

The Intent Envelope: Proofs for Completeness, Not Just Soundness

56 days ago midspiral.com ai formalmethods

Writing Anteforth, a Forth-like in SPARK

2 months ago pyjarrett.github.io concatenative formalmethods

CSLib: A Focused Effort on Formalizing Computer Science in Lean

2 months ago cslib.io compsci formalmethods math

Isolation & Permissiveness of Distributed Transactions in MongoDB

54 days ago mongodb.com database distributed formalmethods mongodb

More →