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  vibecoding  security  i.redd.it  psypost.org  psychology  release  neuroscience  web  google  reuters.com  apple  microsoft  linux  javascript  environment  arstechnica.com  theguardian.com 
Loading...

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

“Why not just use Lean?”

11 days ago lawrencecpaulson.github.io formalmethods

Lean proved this program correct; then I found a bug

25 days ago kirancodes.me formalmethods plt security vibecoding

Illegal vs Unwanted States

10 days ago buttondown.com formalmethods

How NASA built Artemis II’s fault-tolerant computer

29 days ago cacm.acm.org distributed formalmethods hardware nasa testing

LemmaScript: A Verification Toolchain for TypeScript via Dafny

16 days ago midspiral.com formalmethods typescript

A sufficiently comprehensive spec is not (necessarily) code

23 days ago buttondown.com formalmethods vibecoding

The Final Form of Software Development

9 days ago blog.zksecurity.xyz cryptography formalmethods vibecoding virtualization

Creusot 0.11.0: VerifyThis winner

18 days ago devlog.creusot.rs formalmethods release rust

Formal Methods

35 days ago formalmethods.dk formalmethods plt

Red-black tree in Lean 4 prover with everything proved

37 days ago rentry.co formalmethods plt

Validating Hare’s Sort Module using Symbolic Execution

36 days ago notes.8pit.net formalmethods plt

Giving LLMs a Formal Reasoning Engine for Code Analysis

30 days ago yogthos.net formalmethods llm vibecoding

Functional Algorithms, Verified

34 days ago in.tum.de algorithm formalmethods pdf plt

Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean

17 days ago leodemoura.github.io cryptography formalmethods rust security signal vibecoding

Hazmat: OS-level containment for AI coding agents on macOS

31 days ago github.com ai apple formalmethods go mac macos security vibecoding

TLA+ mental models

46 days ago muratbuffalo.blogspot.com formalmethods

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

53 days ago mistral.ai formalmethods vibecoding

IronFleet: proving practical distributed systems correct

41 days ago youtube.com formalmethods video

Modeling Token Buckets in PlusCal and TLA+

53 days ago muratbuffalo.blogspot.com distributed formalmethods

Linear Temporal Logic Visualizer

49 days ago quickstrom.github.io formalmethods math

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

2 months ago philipzucker.com formalmethods plt

When AI writes the software, who verifies it?

2 months ago leodemoura.github.io ai formalmethods logiclangs vibecoding

Lambda Calculus Explorer

59 days ago kmicinski.com compiler formalmethods lambda

LLMs are bad at vibing specifications

59 days ago buttondown.com formalmethods llm vibecoding

Some silly Z3 scripts I wrote

2 months ago hillelwayne.com formalmethods

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

2 months ago vertexclique.com formalmethods rust

Optimal Caverna Gameplay via Formal Methods

2 months ago stephendiehl.com formalmethods

TLA+ By Example

2 months ago tlabyexample.com formalmethods

Monitoring Data-Dependent Temporal Patterns

2 months ago imiron.io formalmethods

CSLib: The Lean Computer Science Library

2 months ago arxiv.org formalmethods

More →