Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  show  vibecoding  psychology  health  psypost.org  go  java  media  game  release  arstechnica.com  apple  video  i.redd.it  meta  web  neuroscience 

`satisfies` is my favorite TypeScript keyword (2024)

3 months ago sjer.red javascript plt typescript

Lazy Linearity for a Core Functional Language

2 months ago alt-romes.github.io compiler plt

Trait-Constrained Enums in Rust

3 months ago kcsongor.github.io haskell plt rust

The Lambda Papers (transcribed)

2 months ago research.scheme.org lambda lisp plt

Value classes are the new data classes

3 months ago curiouslab.dev kotlin plt

PolySubML is broken

3 months ago blog.polybdenum.com compiler plt

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

2 months ago steuwer.info formalmethods pdf plt

Domain-specific Languages and Code Synthesis Using Haskell

3 months ago queue.acm.org haskell plt

Homotopy Type Theory for Dummies

3 months ago chriswarbo.net formalmethods plt

Error Codes for Control Flow

3 months ago matklad.github.io plt zig