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  health  psychology  theguardian.com  show  web  openai  game  apple  aws  china  video  release  tomshardware.com  theverge.com  psypost.org  amazon  cancer 

Faking ADTs and GADTs in Languages That Shouldn't Have Them

34 days ago blog.jle.im plt

The E Language

38 days ago erights.org plt

Program Inversions to Reorder Code (1977)

41 days ago minds.wisconsin.edu plt

A Early History of Algebraic Data Types

28 days ago hillelwayne.com historical plt

Algebraic Effects in Practice with Flix

46 days ago relax.software plt

It is actually surprising that Earley can efficiently parse C, ambiguities and all

27 days ago wareya.wordpress.com c plt

Brzozowski Derivatives: Exercise in Combinatory Style

36 days ago blog.zdsmith.com lisp plt

Smalltalk and Lambda Calculus

38 days ago blog.ielliott.io lambda plt

Natural transformations as a basis of control

47 days ago muratkasimov.art plt

第四: a Japanese and Forth inspired postfix language

31 days ago gist.github.com concatenative japan plt

LIVE 2025: live talks about live programming

26 days ago youtube.com design plt video

Rich Already Answered That

44 days ago gist.github.com clojure plt

The pirate-based logic of Rust shared references

38 days ago ais523.me.uk math plt rust

IO is special

44 days ago blog.ploeh.dk haskell plt

A critique of package managers

45 days ago gingerbill.org plt

Are XSLT stylesheets pure functions?

31 days ago lobste.rs ask plt web

Fil's Unbelievable Garbage Collector

48 days ago fil-c.org c plt

Basics of Equality Saturation

40 days ago egglog-python.readthedocs.io compiler plt python

Type Branding in Typescript

34 days ago azraelsec.sh javascript plt typescript

X Design Notes: Unifying OCaml Modules and Values

47 days ago blog.polybdenum.com ml ocaml plt

Effects as Capabilities in Scala

43 days ago nrinaudo.github.io plt scala

Raku

42 days ago raku.org plt

JEP 401: Value Classes and Objects (Preview)

43 days ago openjdk.org compiler java plt

Building a WASM compiler in Roc (series)

51 days ago dusty.phillips.codes compiler plt wasm

Nimony: Design principles

51 days ago nim-lang.org plt

Odin does have undefined behavior

47 days ago youtube.com compiler plt video

The Programming-Lang of the Future

49 days ago vimeo.com plt video

things rust shipped without (2015)

52 days ago graydon2.dreamwidth.org plt rust

ML needs a new programming language – Interview with Chris Lattner

49 days ago signalsandthreads.com audio ml plt

Group Borrowing: Zero-cost memory safety with fewer restrictions

56 days ago verdagon.dev compiler plt rust

More →