Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  vibecoding  github.com  rust  show  security  linux  release  game  microsoft  openai  psychology  health  psypost.org  video  web  techspot.com  theguardian.com  tomshardware.com  c 

Who Builds a House Without Drawing Blueprints? (2015)

4 months ago cacm.acm.org formalmethods

Using algebra and LLMs to verify a flight-plan bug fix in Lean

5 months ago jameshaydon.github.io formalmethods llm math vibecoding

We used Quint to find over 10 bugs in SQLite while hardening Turso

5 months ago turso.tech database formalmethods

Announcing Isabelle support for SAW

4 months ago galois.com cryptography formalmethods

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications

5 months ago proofsandintuitions.net formalmethods testing vibecoding

“Why not just use Lean?”

5 months ago lawrencecpaulson.github.io formalmethods

Lean proved this program correct; then I found a bug

6 months ago kirancodes.me formalmethods plt security vibecoding

Illegal vs Unwanted States

5 months ago buttondown.com formalmethods

How NASA built Artemis II’s fault-tolerant computer

6 months ago cacm.acm.org distributed formalmethods hardware nasa testing

LemmaScript: A Verification Toolchain for TypeScript via Dafny

5 months ago midspiral.com formalmethods typescript

A sufficiently comprehensive spec is not (necessarily) code

6 months ago buttondown.com formalmethods vibecoding

The Final Form of Software Development

5 months ago blog.zksecurity.xyz cryptography formalmethods vibecoding virtualization

Creusot 0.11.0: VerifyThis winner

5 months ago devlog.creusot.rs formalmethods release rust

Formal Methods

6 months ago formalmethods.dk formalmethods plt

Red-black tree in Lean 4 prover with everything proved

6 months ago rentry.co formalmethods plt

Validating Hare’s Sort Module using Symbolic Execution

6 months ago notes.8pit.net formalmethods plt

Giving LLMs a Formal Reasoning Engine for Code Analysis

6 months ago yogthos.net formalmethods llm vibecoding

Functional Algorithms, Verified

6 months ago in.tum.de algorithm formalmethods pdf plt

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

5 months ago leodemoura.github.io cryptography formalmethods rust security signal vibecoding

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

6 months ago github.com ai apple formalmethods go mac macos security vibecoding

TLA+ mental models

6 months ago muratbuffalo.blogspot.com formalmethods

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

7 months ago mistral.ai formalmethods vibecoding

IronFleet: proving practical distributed systems correct

6 months ago youtube.com formalmethods video

Modeling Token Buckets in PlusCal and TLA+

7 months ago muratbuffalo.blogspot.com distributed formalmethods

Linear Temporal Logic Visualizer

7 months ago quickstrom.github.io formalmethods math

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

7 months ago philipzucker.com formalmethods plt

When AI writes the software, who verifies it?

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

Lambda Calculus Explorer

7 months ago kmicinski.com compiler formalmethods lambda

LLMs are bad at vibing specifications

7 months ago buttondown.com formalmethods llm vibecoding

Some silly Z3 scripts I wrote

7 months ago hillelwayne.com formalmethods

More →