progscrape: formalmethods

Formal Methods and the Future of Programming

11 days ago blog.janestreet.com formalmethods

hax: A Rust verification tool

11 days ago github.com formalmethods rust

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

11 days ago amazon.science ec2 formalmethods osdev security virtualization

A blueprint for formal verification of Apple corecrypto

31 days ago security.apple.com apple cryptography formalmethods

Who Builds a House Without Drawing Blueprints? (2015)

33 days ago cacm.acm.org formalmethods

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

35 days ago jameshaydon.github.io formalmethods llm math vibecoding

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

34 days ago turso.tech database formalmethods

Announcing Isabelle support for SAW

31 days ago galois.com cryptography formalmethods

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

34 days ago proofsandintuitions.net formalmethods testing vibecoding

“Why not just use Lean?”

56 days ago lawrencecpaulson.github.io formalmethods

Lean proved this program correct; then I found a bug

2 months ago kirancodes.me formalmethods plt security vibecoding

Illegal vs Unwanted States

55 days ago buttondown.com formalmethods

How NASA built Artemis II’s fault-tolerant computer

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

LemmaScript: A Verification Toolchain for TypeScript via Dafny

2 months ago midspiral.com formalmethods typescript

A sufficiently comprehensive spec is not (necessarily) code

2 months ago buttondown.com formalmethods vibecoding

The Final Form of Software Development

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

Creusot 0.11.0: VerifyThis winner

2 months ago devlog.creusot.rs formalmethods release rust

Formal Methods

2 months ago formalmethods.dk formalmethods plt

Red-black tree in Lean 4 prover with everything proved

2 months ago rentry.co formalmethods plt

Validating Hare’s Sort Module using Symbolic Execution

2 months ago notes.8pit.net formalmethods plt

Giving LLMs a Formal Reasoning Engine for Code Analysis

2 months ago yogthos.net formalmethods llm vibecoding

Functional Algorithms, Verified

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

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

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

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

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

TLA+ mental models

3 months ago muratbuffalo.blogspot.com formalmethods

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

3 months ago mistral.ai formalmethods vibecoding

IronFleet: proving practical distributed systems correct

2 months ago youtube.com formalmethods video

Modeling Token Buckets in PlusCal and TLA+

3 months ago muratbuffalo.blogspot.com distributed formalmethods

Linear Temporal Logic Visualizer

3 months ago quickstrom.github.io formalmethods math

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

3 months ago philipzucker.com formalmethods plt

>progscrape ▒

All the news that's fit to scrape

Display options