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  github.com  trump  health  go  show  web  theguardian.com  tesla  arstechnica.com  medicine  environment  apple  release  psychology  neuroscience  nature.com  psypost.org  china 

My Favorite C++ Pattern: X Macros (2023)

8 days ago danilafe.com c++

How Many Values Does a Boolean Have? (2020)

4 months ago danilafe.com plt

Microfeatures I love in blogs and personal websites

9 months ago danilafe.com web

Bergamot: Exploring Programming Language Inference Rules

13 months ago danilafe.com plt

The "Is Something" Pattern in Agda

19 months ago danilafe.com plt

Proving My Compiler Code Incorrect with Alloy

22 months ago danilafe.com compiler formalmethods

Generalizing Folds in Haskell

2 years ago danilafe.com haskell

Formalizing Dawn in Coq

3 years ago danilafe.com

Math Rendering Is Wrong

3 years ago danilafe.com math

Time Traveling In Haskell: How It Works And How To Use It

4 years ago danilafe.com haskell

Compiling a Functional Language Using C++, Part 12 - Let/In and Lambdas

4 years ago danilafe.com c++

Compiling a Functional Language Using C++, Part 10 – Polymorphism

5 years ago danilafe.com c++

Compiling a Functional Language Using C++, Part 9 – Garbage Collection

5 years ago danilafe.com c++

Compiling a Functional Language Using C++, Part 0 - Intro

5 years ago danilafe.com c++