Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: github.com  ai  rust  video  show  health  apple  theverge.com  youtube.com  psychology  arstechnica.com  javascript  google  release  java  go  psypost.org  amazon  linux  techcrunch.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Galois Theory

35 days ago golem.ph.utexas.edu

Math writing is dull when it neglects the human dimension

5 months ago golem.ph.utexas.edu math

Lectures on Applied Category Theory

11 months ago golem.ph.utexas.edu math

PGP Signed Comments

14 months ago golem.ph.utexas.edu pgp

A Curious Integral

20 months ago golem.ph.utexas.edu

Mathematics and Magic: The de Bruijn Card Trick (2015)

2 years ago golem.ph.utexas.edu

Brotli [in Apache] (2019)

3 years ago golem.ph.utexas.edu

You are quite right, and my original response was wrong. I withdraw my claim

3 years ago golem.ph.utexas.edu

You Could Have Invented De Bruijn Indices

3 years ago golem.ph.utexas.edu

Native Type Theory (Part 2)

3 years ago golem.ph.utexas.edu

Native Type Theory

3 years ago golem.ph.utexas.edu

Nishan Canagarajah Screws Up

3 years ago golem.ph.utexas.edu

This Week's Finds (1--50)

3 years ago golem.ph.utexas.edu

Entropy and Diversity on the arXiv

3 years ago golem.ph.utexas.edu

No New Normed Division Algebra Found! | The n-Category Café

3 years ago golem.ph.utexas.edu

Linear Logic Flavoured Composition of Petri Nets

4 years ago golem.ph.utexas.edu

In Further Praise of Dependent Types – The N-Category Café

4 years ago golem.ph.utexas.edu

EGA Chapter 1: The Language of Schemes

4 years ago golem.ph.utexas.edu

The Riemann Hypothesis (Part 2)

5 years ago golem.ph.utexas.edu

The Riemann Hypothesis

5 years ago golem.ph.utexas.edu

Turing Categories

5 years ago golem.ph.utexas.edu turing

Linguistics Using Category Theory (2018)

5 years ago golem.ph.utexas.edu

The Riemann Hypothesis Says 5040 Is the Last

5 years ago golem.ph.utexas.edu

In Praise of Dependent Types | The n-Category Café

5 years ago golem.ph.utexas.edu

Analysis in Higher Gauge Theory

5 years ago golem.ph.utexas.edu

Gradual Typing [for category theorists]

6 years ago golem.ph.utexas.edu

An M5-Brane Model

6 years ago golem.ph.utexas.edu

On Writing Short Papers

6 years ago golem.ph.utexas.edu

A Compositional Framework for Reaction Networks – John Baez (2017)

7 years ago golem.ph.utexas.edu

Eliminating Binders for Easier Operational Semantics

7 years ago golem.ph.utexas.edu

More →