Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  vibecoding  github.com  show  arstechnica.com  tomshardware.com  health  video  release  linux  theguardian.com  china  meta  game  psychology  medicine  openai  web  i.redd.it 

My Son's Math Homework Is Essentially Just Pokémon

3 months ago theatlantic.com math

Unknowable Math Can Help Hide Secrets

3 months ago quantamagazine.org math

Church Encoding, Parametricity, and the Yoneda Lemma

2 months ago blog.wybxc.cc math

Math Jokes in Alice in Wonderland

3 months ago storica.club math

The Problem of Pedagogy in Advanced Mathematics

3 months ago susam.net math

Inexpressibility in Exp-Minus-Log (EML)

3 months ago arxiv.org math

Raft Consensus with a Minority of Nodes

2 months ago padhye.org distributed math

I made a clean, generic, zero-dependency matrix math package for Go.

3 months ago reddit.com go math

Coalgebras and Automata

2 months ago web.archive.org haskell math

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

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