Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  openai  web  health  youtube.com  video  google  game  china  apple  show  biology  reuters.com  vibecoding  theguardian.com  windows  arstechnica.com  media 

Jepsen Test on Patroni: A PostgreSQL High Availability Solution (2024)

8 months ago binwang.me database formalmethods postgresql

Regular Expressions which query Oracles

9 months ago arxiv.org formalmethods

Verified and Efficient Matching of Regular Expressions with Lookaround

9 months ago github.com formalmethods

CUTECat: Concolic Execution for Computational Law

9 months ago arxiv.org formalmethods law

When the Simplest Concurrent Program Goes Against All Intuition

9 months ago wyounas.github.io compsci formalmethods

Alloy 6.2.0 released

10 months ago alloytools.discourse.group formalmethods release

Verified post-quantum cryptography on the web

9 months ago pq.cryspen.com cryptography formalmethods web

About Safety, Security and yes, C++ and Rust (2023)

9 months ago yoric.github.io c++ formalmethods plt rust security

How can we compare expressive power between two Turing-complete languages?

10 months ago langdev.stackexchange.com formalmethods plt

Formal Methods: Just Good Engineering Practice? (2024)

10 months ago brooker.co.za formalmethods