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  show  health  apple  video  theverge.com  arstechnica.com  youtube.com  javascript  google  release  brain  web  psychology  java  psypost.org  go  amazon 

The Three Projections of Doctor Futamura (2009)

10 months ago blog.sigfpe.com compiler compsci

What does it mean for a monad to be strong?

13 months ago blog.sigfpe.com monad

What is a photon? (2017)

4 years ago blog.sigfpe.com

From Löb's Theorem to Spreadsheet Evaluation (2006)

4 years ago blog.sigfpe.com

Running from the past

5 years ago blog.sigfpe.com

Why is nuclear fusion so hard?

5 years ago blog.sigfpe.com

Reverse Engineering Machines with the Yoneda Lemma

5 years ago blog.sigfpe.com

Self-referential logic via self-referential circuits

7 years ago blog.sigfpe.com

Haskell Monoids and their Uses (2009)

7 years ago blog.sigfpe.com haskell

Reverse Engineering Machines with the Yoneda Lemma (2006)

7 years ago blog.sigfpe.com

Dimensionful matrices — matrices with, possibly heterogenous, units

8 years ago blog.sigfpe.com

Make sure a program never hangs.

8 years ago blog.sigfpe.com

Data and Codata (2007)

8 years ago blog.sigfpe.com

Optimising pointer subtraction with 2-adic integers.

9 years ago blog.sigfpe.com

The Three Projections of Doctor Futamura [2009]

9 years ago blog.sigfpe.com

Reasons to use Haskell as a Mathematician (2006)

10 years ago blog.sigfpe.com haskell

Types, and two approaches to problem solving: subproblems and quotient problems

10 years ago blog.sigfpe.com