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  microsoft  google  health  theguardian.com  windows  show  arstechnica.com  java  cloudflare  meta  theverge.com  medicine  game  apple  cnbc.com  psychology  nytimes.com 
Loading...

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

The Logic of CUE

9 days ago cuelang.org plt

Error ABI

13 days ago matklad.github.io plt rust

A Note on Fil-C

17 days ago graydon2.dreamwidth.org plt rust

The Error Model (2016)

13 days ago joeduffyblog.com plt

`satisfies` is my favorite TypeScript keyword (2024)

5 days ago sjer.red javascript plt typescript

Creating a Toy Programming Language with Actor-Based Parallelism

5 days ago pointersgonewild.com plt

the terminal of the future

11 days ago jyn.dev plt

Designing a Language (2017)

10 days ago cs.lmu.edu plt

The purported benefits of effect systems

22 days ago typesanitizer.com plt

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

3 days ago okmij.org pdf plt

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

2 days ago utcc.utoronto.ca plt rust

Trait-Constrained Enums in Rust

15 days ago kcsongor.github.io haskell plt rust

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

6 days ago dspace.mit.edu math pdf plt

Value classes are the new data classes

14 days ago curiouslab.dev kotlin plt

PolySubML is broken

10 days ago blog.polybdenum.com compiler plt

Domain-specific Languages and Code Synthesis Using Haskell

9 days ago queue.acm.org haskell plt

Homotopy Type Theory for Dummies

20 days ago chriswarbo.net formalmethods plt

Error Codes for Control Flow

16 days ago matklad.github.io plt zig

Program-ing Finger Trees in Coq (2007)

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

Think in math, write in code (2019)

14 days ago jmeiners.com math plt

Three Things I Wish I Knew When I Started Designing Languages

8 days ago infoq.com plt transcript video

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

13 days ago worrydream.com game pdf plt

FAWK: LLMs can write a language interpreter

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

The worst programming language of all time

2 days ago youtube.com c++ plt video

Cgp-serde: A modular serialization library for Serde powered by CGP

20 days ago contextgeneric.dev plt release rust

What if everything was "Async", but nothing needed "Await"?

6 days ago youtube.com plt video

The inconceivable types of Rust: How to make self-borrows safe (2024)

8 days ago blog.polybdenum.com plt rust

Gamification of Programming Languages

8 days ago sigusr2.net plt satire

Async Mutexes

19 days ago matklad.github.io plt zig

Awk Technical Notes (2023)

20 days ago maximullaris.com awk plt

More →