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  github.com  rust  vibecoding  security  release  theguardian.com  psychology  health  go  psypost.org  apple  china  i.redd.it  reuters.com  techcrunch.com  biology  tomshardware.com  arstechnica.com  linux 

jank is off to a great start in 2026

45 days ago jank-lang.org clojure compiler plt

Seed: Adding `vau` with an immutable dynamic environment to Chez Scheme

25 days ago github.com lisp plt scheme

A with-based effect notation

31 days ago blog.yoshuawuyts.com plt rust

Async Programming Is Just Inject Time

46 days ago willhbr.net compiler plt

How to stop fighting with coherence and start writing context-generic trait impls

44 days ago contextgeneric.dev plt rust transcript video

R: A Language for Data Analysis and Graphics (1996)

22 days ago stat.auckland.ac.nz graphics lisp pdf plt

Good Old Pointers (2015)

38 days ago medium.com historical plt

What I Always Wanted to Know about Second Class Values

42 days ago dl.acm.org plt

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

43 days ago philipzucker.com formalmethods plt

Type systems are leaky abstractions: the case of Map.take!/2

48 days ago dashbit.co elixir plt

Fixing a major evaluation order footgun in Rye 0.2

46 days ago ryelang.org plt release

Vibecoding Challenge 2: The Five Feathers (Spring 2026)

49 days ago gist.github.com ai math plt vibecoding

Lil' Fun Langs

59 days ago taylor.town plt

Python Type Checker Comparison: Empty Container Inference

54 days ago pyrefly.org plt python

Choosing a Language Based on Its Syntax?

2 months ago gingerbill.org design plt

Fun With Dada

2 months ago smallcultfollowing.com plt

Sharing in Dada

2 months ago smallcultfollowing.com plt

two mechanisms for dynamic type checks

2 months ago wingolog.org compiler compsci plt

Sliced by Go’s Slices

53 days ago ohadravid.github.io go plt

Concrete syntax matters, actually

2 months ago youtube.com plt video

Ideas for an Agent-Oriented Programming Language

2 months ago davi.sh plt vibecoding

The largest number representable in 64 bits

2 months ago tromp.github.io math plt

fixapl

2 months ago fixapl.netlify.app apl plt

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match

2 months ago ntaylor.ca formalmethods plt

Designing Odin's Casting Syntax

56 days ago gingerbill.org compiler plt

Evolving Languages Faster with Type Tailoring (2024)

54 days ago lambdaland.org lisp plt

c-- (2008)

2 months ago cs.tufts.edu compiler plt

A Language For Agents

2 months ago lucumr.pocoo.org plt vibecoding

Custom Data Structures in E-Graphs

51 days ago uwplse.org compiler logiclangs plt python

glang

2 months ago github.com d plt

More →