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  github.com  rust  vibecoding  show  health  game  google  openai  linux  theguardian.com  psychology  microsoft  environment  techspot.com  biology  sciencealert.com  techcrunch.com  psypost.org  i.redd.it 
Loading...

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

Domain-specific hyperspecialization (for SAT)

6 hours ago c.mov formalmethods vibecoding

How to Find Bugs in Systems That Don't Exist

2 days ago youtube.com formalmethods video

Postmortem for Kernel Soundness Bug #14576

6 days ago leodemoura.github.io formalmethods kernel plt

Introduction to Formal Verification with Lean Part 1

20 days ago hashcloak.com formalmethods

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

18 days ago surfingcomplexity.blog database formalmethods

Why Rocq is better than Lean for program verification

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

Xavier Leroy on programming, languages and formal verification

12 days ago youtube.com formalmethods ml video

Fast DEFLATE compression in Lean

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

What can you confidently guarantee about your software?

39 days ago queue.acm.org formalmethods

Formal Methods and the Future of Programming

57 days ago blog.janestreet.com formalmethods

Proving the Fundamental Theorem of Arithmetic in Agda

38 days ago byorgey.github.io formalmethods math

hax: A Rust verification tool

57 days ago github.com formalmethods rust

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

57 days ago amazon.science ec2 formalmethods osdev security virtualization

A blueprint for formal verification of Apple corecrypto

2 months ago security.apple.com apple cryptography formalmethods

Who Builds a House Without Drawing Blueprints? (2015)

2 months ago cacm.acm.org formalmethods

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

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

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

2 months ago turso.tech database formalmethods

Announcing Isabelle support for SAW

2 months ago galois.com cryptography formalmethods

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

2 months ago proofsandintuitions.net formalmethods testing vibecoding

“Why not just use Lean?”

3 months ago lawrencecpaulson.github.io formalmethods

Lean proved this program correct; then I found a bug

3 months ago kirancodes.me formalmethods plt security vibecoding

Illegal vs Unwanted States

3 months ago buttondown.com formalmethods

How NASA built Artemis II’s fault-tolerant computer

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

LemmaScript: A Verification Toolchain for TypeScript via Dafny

3 months ago midspiral.com formalmethods typescript

A sufficiently comprehensive spec is not (necessarily) code

3 months ago buttondown.com formalmethods vibecoding

The Final Form of Software Development

3 months ago blog.zksecurity.xyz cryptography formalmethods vibecoding virtualization

Creusot 0.11.0: VerifyThis winner

3 months ago devlog.creusot.rs formalmethods release rust

Formal Methods

4 months ago formalmethods.dk formalmethods plt

Red-black tree in Lean 4 prover with everything proved

4 months ago rentry.co formalmethods plt

Validating Hare’s Sort Module using Symbolic Execution

4 months ago notes.8pit.net formalmethods plt

More →