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  security  psychology  health  meta  linux  google  vibecoding  microsoft  openai  apple  windows  show  arstechnica.com  theverge.com  tomshardware.com  china  nature.com 

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

23 hours ago jameshaydon.github.io formalmethods llm math vibecoding

Solving `Passport Application` with Haskell

10 months ago jameshaydon.github.io haskell

UK air traffic control meltdown

2 years ago jameshaydon.github.io haskell historical testing