progscrape: formalmethods

A dumb introduction to z3

18 days ago asibahi.github.io formalmethods plt rust

Program verification is not all-or-nothing

21 days ago lawrencecpaulson.github.io formalmethods

seL4 2025 Playlist

4 days ago youtube.com formalmethods osdev security video

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

28 days ago community.arm.com formalmethods math

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

39 days ago raw.githubusercontent.com formalmethods hardware osdev

The Baby Paradox in Haskell

41 days ago blog.jle.im formalmethods haskell

Tic-tac-toe meets Lean 4

35 days ago ochagavia.nl formalmethods math plt

Lobsters Interview with Hwayne

55 days ago lobste.rs formalmethods interview

Reasoning about systems' state spaces

57 days ago youtu.be formalmethods video

Linearizability testing S2 with deterministic simulation

37 days ago s2.dev distributed formalmethods rust testing

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

38 days ago blog.brownplt.org cogsci distributed formalmethods pdf

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

57 days ago podcasts.apple.com audio aws distributed formalmethods

Formal specs as sets of behaviors

2 months ago surfingcomplexity.blog formalmethods

Asymmetry of verification and verifier's law

2 months ago jasonwei.net ai formalmethods

A supposedly worthwhile contract I'll never do again

3 months ago ahelwer.ca formalmethods

A reckless introduction to Hindley-Milner type inference

2 months ago reasonableapproximation.net formalmethods plt

Yalep - Micro language based on Lean for teaching mathematical high-school proofs

2 months ago gricad-gitlab.univ-grenoble-alpes.fr education formalmethods

The Tree Borrows paper is finally published

2 months ago ralfj.de formalmethods plt rust

Asymmetry of verification and verifier’s law

2 months ago jasonwei.net ai formalmethods

P Verified

2 months ago b-hilprecht.github.io distributed formalmethods

Semi-Automated Assembly Verification in Python using pypcode Semantics

2 months ago philipzucker.com formalmethods python

Concurrent Programming with Harmony

2 months ago harmony.cs.cornell.edu book formalmethods

Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code

2 months ago philipzucker.com assembly formalmethods risc

My first verified imperative program

2 months ago markushimmel.de formalmethods plt

Kiro and the future of AI spec-driven software development

2 months ago kiro.dev ai formalmethods vibecoding

Inequality Union Finds: Baby Steps to Refinement E-graphs

3 months ago philipzucker.com formalmethods plt

Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+

3 months ago mongodb.com distributed formalmethods mongodb

“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode

2 months ago unnamed.website apple formalmethods graphics

Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods

2 months ago cs.uoregon.edu education formalmethods plt video

Passing of Jean-Raymond Abrial

3 months ago en.wikipedia.org formalmethods

>progscrape ▒

All the news that's fit to scrape

Display options