Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  show  meta  china  theguardian.com  vibecoding  linux  tomshardware.com  arstechnica.com  i.redd.it  medicine  psychology  video  release  game  go  apple 

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

8 months ago steuwer.info formalmethods pdf plt

Homotopy Type Theory for Dummies

9 months ago chriswarbo.net formalmethods plt

AWS DynamoDB Outage Analysis

9 months ago entropicthoughts.com aws formalmethods

Porting Lean to the ESP32-C3 RISC-V microcontroller

9 months ago kuruczgy.com compiler formalmethods hardware risc

TLA+ Modeling of AWS outage DNS race condition

9 months ago muratbuffalo.blogspot.com aws distributed dns formalmethods

Three ways formally verified code can go wrong in practice

10 months ago buttondown.com formalmethods

Automated Lean Proofs for Every Type

10 months ago galois.com formalmethods

Litex: The First Formal Language Learnable in 2 Hours

10 months ago litexlang.com formalmethods

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

9 months ago xenaproject.wordpress.com ai formalmethods vibecoding

Breaking "provably correct" Leftpad

10 months ago lukeplant.me.uk formalmethods