Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  rust  tomshardware.com  security  linux  health  game  google  cnbc.com  psypost.org  psychology  arstechnica.com  microsoft  theguardian.com  release  video  apple  github.com  sciencealert.com  go 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Full-stack verification is the new trend

2 days ago wiki.alcidesfonseca.com ai formalmethods

How we continuously validate formal specifications in production

36 hours ago datadoghq.com formalmethods testing

I built the RealWorld app in Lean 4

24 days ago leangineer.com formalmethods

Ghidra + CBMC = Assembly Model Checker

20 days ago philipzucker.com formalmethods

Refinement E-Graphs

34 days ago philipzucker.com compiler formalmethods

Foundational Cryptography in SPARK

10 days ago adacore.com cryptography formalmethods

Ship Your Interpreter

21 days ago basis.ai formalmethods vibecoding

leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs

18 days ago github.com concurrency formalmethods

HOL Light Tutorial

23 days ago hol-light.github.io formalmethods ml tutorial

Creusot 0.14.0 release - Contracts for Rust, formally proved

25 days ago devlog.creusot.rs formalmethods release rust

How to Believe a Machine-Checked Proof (1997)

31 days ago brics.dk formalmethods math pdf

Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents

17 days ago arxiv.org ai ai-tooling compsci formalmethods kernel risc unix

Future of Programming

21 days ago youtube.com formalmethods scala vibecoding video

Navier–Stokes Lost in Translation

31 days ago arxiv.org formalmethods math pdf reversing vibecoding

Impossibility Proof for Instant 8-tuple Piston Extenders

31 days ago youtube.com formalmethods game math reversing video

What TLA+ can and can't check

38 days ago buttondown.com formalmethods

Can we have reachability properties in TLA⁺?

42 days ago ahelwer.ca formalmethods

DogWood: Monitoring Policies using First Order Temporal Logic

41 days ago aws.amazon.com formalmethods

Lambda MicroEgg

48 days ago philipzucker.com formalmethods lambda plt

The changing role of finite-state model checking

2 months ago ahelwer.ca formalmethods testing

Palomar: A registry of Lean verified mathematics

2 months ago terrytao.wordpress.com formalmethods math

Intel previews future instruction-set documentaton

2 months ago intel.github.io formalmethods hardware intel

Domain-specific hyperspecialization (for SAT)

3 months ago c.mov formalmethods vibecoding

Improving system safety with Temporal Logic of Actions (TLA+)

2 months ago depot.dev formalmethods vibecoding

Foundational Verification of Running-Time Bounds for Interactive Programs

2 months ago adam.chlipala.net formalmethods pdf performance

An Anecdote Against Slop Artifacts

2 months ago markusde.ca formalmethods vibecoding

How to Find Bugs in Systems That Don't Exist

3 months ago youtube.com formalmethods video

Postmortem for Kernel Soundness Bug #14576

3 months ago leodemoura.github.io formalmethods kernel plt

Introduction to Formal Verification with Lean Part 1

3 months ago hashcloak.com formalmethods

Extending MVCC to be serializable, in TLA+ (2024)

3 months ago surfingcomplexity.blog database formalmethods

More →