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  vibecoding  security  release  psychology  health  theguardian.com  psypost.org  go  apple  i.redd.it  china  techcrunch.com  reuters.com  google  tomshardware.com  biology  web 

Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean

8 hours ago leodemoura.github.io cryptography formalmethods rust security signal vibecoding

Why Lean?

17 days ago leodemoura.github.io plt

When AI writes the software, who verifies it?

48 days ago leodemoura.github.io ai formalmethods logiclangs vibecoding