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  health  rust  vibecoding  apple  github.com  openai  tomshardware.com  show  psychology  neuroscience  techspot.com  java  psypost.org  china  microsoft  linux  security  web  game 
Loading...

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

Lambda MicroEgg

38 hours ago philipzucker.com formalmethods lambda plt

The changing role of finite-state model checking

28 days ago ahelwer.ca formalmethods testing

Palomar: A registry of Lean verified mathematics

34 days ago terrytao.wordpress.com formalmethods math

Intel previews future instruction-set documentaton

25 days ago intel.github.io formalmethods hardware intel

Domain-specific hyperspecialization (for SAT)

45 days ago c.mov formalmethods vibecoding

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

38 days ago depot.dev formalmethods vibecoding

Foundational Verification of Running-Time Bounds for Interactive Programs

30 days ago adam.chlipala.net formalmethods pdf performance

An Anecdote Against Slop Artifacts

38 days ago markusde.ca formalmethods vibecoding

How to Find Bugs in Systems That Don't Exist

47 days ago youtube.com formalmethods video

Postmortem for Kernel Soundness Bug #14576

51 days ago leodemoura.github.io formalmethods kernel plt

Introduction to Formal Verification with Lean Part 1

2 months ago hashcloak.com formalmethods

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

2 months ago surfingcomplexity.blog database formalmethods

Why Rocq is better than Lean for program verification

55 days ago joomy.korkutblech.com compiler formalmethods ml plt

Xavier Leroy on programming, languages and formal verification

57 days ago youtube.com formalmethods ml video

Fast DEFLATE compression in Lean

57 days ago kim-em.github.io compression formalmethods performance vibecoding

What can you confidently guarantee about your software?

2 months ago queue.acm.org formalmethods

Formal Methods and the Future of Programming

3 months ago blog.janestreet.com formalmethods

Proving the Fundamental Theorem of Arithmetic in Agda

2 months ago byorgey.github.io formalmethods math

hax: A Rust verification tool

3 months ago github.com formalmethods rust

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

3 months ago amazon.science ec2 formalmethods osdev security virtualization

A blueprint for formal verification of Apple corecrypto

4 months ago security.apple.com apple cryptography formalmethods

Who Builds a House Without Drawing Blueprints? (2015)

4 months ago cacm.acm.org formalmethods

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

4 months ago jameshaydon.github.io formalmethods llm math vibecoding

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

4 months ago turso.tech database formalmethods

Announcing Isabelle support for SAW

4 months ago galois.com cryptography formalmethods

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

4 months ago proofsandintuitions.net formalmethods testing vibecoding

“Why not just use Lean?”

4 months ago lawrencecpaulson.github.io formalmethods

Lean proved this program correct; then I found a bug

5 months ago kirancodes.me formalmethods plt security vibecoding

Illegal vs Unwanted States

4 months ago buttondown.com formalmethods

How NASA built Artemis II’s fault-tolerant computer

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

More →