Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  tomshardware.com  rust  psychology  google  security  psypost.org  game  linux  arstechnica.com  health  techspot.com  release  cnbc.com  show  go  video  github.com  theguardian.com  apple 
Loading...

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

Union Types and Option Types (2025)

2 days ago tibleiz.net plt

Release 0.6.0 ยท buzz-language/buzz

3 days ago buzz-lang.dev plt release

Introduction to Programming in ATS

3 days ago ats-lang.sourceforge.net book plt

Pratt parsing is a black box

3 days ago vinipsmaker.github.io compiler plt

A Second Futamura Projection

28 hours ago blog.veitheller.de compiler plt

Arrows to arrows, categories to queries (2025)

17 hours ago reasonablypolymorphic.com database haskell plt

Valen's Memory Safety: A New Kind of Borrow Checking

24 days ago verdagon.dev compiler plt

Borrow Checking Zero-Cost Cyclic Mutability

16 days ago antelang.org compiler plt rust

Flow Typing, A New Lens on Linearity

14 days ago jaredforsyth.com plt

Integers - how ought they work?

13 days ago futhark-lang.org plt

The Goose Programming Language

11 days ago aardappel.github.io plt

The Folders Programming Language

19 days ago danieltemkin.com plt

The next-gen borrow checker, a drop-in replacement for Rust borrow checking

26 days ago gist.github.com compiler plt rust

Intermediary between public and private members

15 days ago lobste.rs plt

Writing about pratt parsing so I remember it

9 days ago unix.dog c plt

The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary

34 days ago verdagon.dev compiler performance plt rust

Compile-Time Dependent Types

9 days ago thenumb.at ml plt

Nim vs Rust: Language is a Matter of 'Coherence', Not 'Performance'

10 days ago wintrover.github.io nim plt rust

Compile-Time Dependent Types

8 days ago thenumb.at ml plt

Efficient Extraction for Effectful E-graphs

16 days ago ztatlock.net compiler plt

The Goose Programming Language

27 days ago github.com plt vibecoding

TypeScript and Haskell: Unions & Singletons (2024)

8 days ago garciat.com haskell plt typescript

Programming Language Fundamentals in Agda

16 days ago plfa.github.io math plt

What we ended up doing about alias propagation

24 days ago futhark-lang.org plt vibecoding

Full Haskell-like Type Class resolution in Java

8 days ago garciat.com haskell java plt

A Simple Language With Flow Typing (2021)

34 days ago ayazhafiz.com plt

Declarative WASM GC Types

15 days ago blog.veritates.love compiler plt wasm

Bidirectional Type Slicing

29 days ago arxiv.org pdf plt

The Era of Programming Languages Exploration is upon Us

32 days ago kirancodes.me plt vibecoding

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

26 days ago blueberrywren.dev design plt

More →