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  google  theguardian.com  health  microsoft  show  windows  arstechnica.com  java  media  cnbc.com  linux  theverge.com  nature.com  apple  meta  bloomberg.com  biology 
Loading...

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

Unison 1.0

22 hours ago unison-lang.org plt

Case against OOP is understated, not overstated (2020)

35 hours ago boxbase.org plt

Fifty Shades of OOP

2 days ago lesleylai.info plt

The Logic of CUE

12 days ago cuelang.org plt

Error ABI

16 days ago matklad.github.io plt rust

A Note on Fil-C

20 days ago graydon2.dreamwidth.org plt rust

The Error Model (2016)

16 days ago joeduffyblog.com plt

Creating a Toy Programming Language with Actor-Based Parallelism

8 days ago pointersgonewild.com plt

the terminal of the future

14 days ago jyn.dev plt

Designing a Language (2017)

13 days ago cs.lmu.edu plt

The purported benefits of effect systems

25 days ago typesanitizer.com plt

The Promise of P-Graphs

27 hours ago pavpanchekha.com formalmethods plt

µcad: New open source programming language that can generate 2D sketches and 3D

2 days ago microcad.xyz 3d design plt

Freer Monads, More Extensible Effects (2015) [pdf]

6 days ago okmij.org pdf plt

There's always going to be a way to not code error handling

5 days ago utcc.utoronto.ca plt rust

`satisfies` is my favorite TypeScript keyword (2024)

8 days ago sjer.red javascript plt typescript

Trait-Constrained Enums in Rust

18 days ago kcsongor.github.io haskell plt rust

The Lambda Papers (transcribed)

32 hours ago research.scheme.org lambda lisp plt

Value classes are the new data classes

17 days ago curiouslab.dev kotlin plt

PolySubML is broken

13 days ago blog.polybdenum.com compiler plt

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

27 hours ago steuwer.info formalmethods pdf plt

Domain-specific Languages and Code Synthesis Using Haskell

12 days ago queue.acm.org haskell plt

Homotopy Type Theory for Dummies

23 days ago chriswarbo.net formalmethods plt

Error Codes for Control Flow

19 days ago matklad.github.io plt zig

Program-ing Finger Trees in Coq (2007)

24 days ago sozeau.gitlabpages.inria.fr pdf plt

Think in math, write in code (2019)

17 days ago jmeiners.com math plt

Three Things I Wish I Knew When I Started Designing Languages

11 days ago infoq.com plt transcript video

Natural Language, Semantic Analysis, and Interactive Fiction (2006)

16 days ago worrydream.com game pdf plt

FAWK: LLMs can write a language interpreter

5 days ago martin.janiczek.cz compiler llm plt vibecoding

Typechecking is undecideable when 'type' is a type (1989) [pdf]

9 days ago dspace.mit.edu math pdf plt

More →