progscrape: formalmethods

Why don't you use dependent types?

14 days ago lawrencecpaulson.github.io formalmethods

Computer Says No: Error Reporting for LTL

15 days ago wickstrom.tech formalmethods

Evaluating embedding quality by testing metric properties (Z3 solver)

3 days ago testingbranch.com formalmethods python

What is cosh(List(Bool))? Or beyond algebra: analysis of data types

12 days ago cofault.com formalmethods math

COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)

9 days ago marcoeg.medium.com formalmethods kotlin

Homotopy Type Theory for Dummies

14 days ago chriswarbo.net formalmethods plt

AWS DynamoDB Outage Analysis

12 days ago entropicthoughts.com aws formalmethods

Porting Lean to the ESP32-C3 RISC-V microcontroller

12 days ago kuruczgy.com compiler formalmethods hardware risc

TLA+ Modeling of AWS outage DNS race condition

10 days ago muratbuffalo.blogspot.com aws distributed dns formalmethods

Three ways formally verified code can go wrong in practice

36 days ago buttondown.com formalmethods

Automated Lean Proofs for Every Type

41 days ago galois.com formalmethods

Litex: The First Formal Language Learnable in 2 Hours

34 days ago litexlang.com formalmethods

Formal or not formal? That is the question in AI for theorem proving

21 days ago xenaproject.wordpress.com ai formalmethods vibecoding

Breaking "provably correct" Leftpad

43 days ago lukeplant.me.uk formalmethods

A dumb introduction to z3

2 months ago asibahi.github.io formalmethods plt rust

Program verification is not all-or-nothing

2 months ago lawrencecpaulson.github.io formalmethods

seL4 2025 Playlist

50 days ago youtube.com formalmethods osdev security video

Formally verifying a floating-point division routine with Gappa – part 1

2 months ago community.arm.com formalmethods math

Explanation of the Linux-kernel memory consistency model (2017)

2 months ago raw.githubusercontent.com formalmethods hardware osdev

The Baby Paradox in Haskell

2 months ago blog.jle.im formalmethods haskell

Tic-tac-toe meets Lean 4

2 months ago ochagavia.nl formalmethods math plt

Lobsters Interview with Hwayne

3 months ago lobste.rs formalmethods interview

Reasoning about systems' state spaces

3 months ago youtu.be formalmethods video

Linearizability testing S2 with deterministic simulation

2 months ago s2.dev distributed formalmethods rust testing

Sharing is Scaring: Why is Cloud File-Sharing Hard?

2 months ago blog.brownplt.org cogsci distributed formalmethods pdf

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

3 months ago podcasts.apple.com audio aws distributed formalmethods

Formal specs as sets of behaviors

3 months ago surfingcomplexity.blog formalmethods

Asymmetry of verification and verifier's law

4 months ago jasonwei.net ai formalmethods

A supposedly worthwhile contract I'll never do again

4 months ago ahelwer.ca formalmethods

A reckless introduction to Hindley-Milner type inference

3 months ago reasonableapproximation.net formalmethods plt

>progscrape ▒

All the news that's fit to scrape

Display options