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  arstechnica.com  show  tomshardware.com  meta  video  health  theguardian.com  i.redd.it  game  china  release  windows  techcrunch.com  web  security  medicine 

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.

2 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

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

ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parameters

3 months ago firethering.com math