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  psychology  vibecoding  iran  psypost.org  openai  show  apple  arstechnica.com  go  video  web  game  google  release  security  brain  database 
Loading...

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

Message Passing Is Shared Mutable State

4 days ago causality.blog go plt

My “grand vision” for Rust

4 days ago blog.yoshuawuyts.com plt rust

Lil' Fun Langs' Guts

8 days ago taylor.town plt

Ambiguity in C

3 days ago longtran2904.substack.com c plt

PEP 827 – Type Manipulation

6 days ago peps.python.org plt python

Supercharge Rust functions with implicit arguments using CGP v0.7.0

8 days ago contextgeneric.dev plt release rust

jank is off to a great start in 2026

2 days ago jank-lang.org clojure compiler plt

Async Programming Is Just Inject Time

3 days ago willhbr.net compiler plt

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

2 days ago contextgeneric.dev plt rust transcript video

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

16 hours ago philipzucker.com formalmethods plt

Fixing a major evaluation order footgun in Rye 0.2

3 days ago ryelang.org plt release

Vibecoding Challenge 2: The Five Feathers (Spring 2026)

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

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

6 days ago dashbit.co elixir plt

Lil' Fun Langs

17 days ago taylor.town plt

Python Type Checker Comparison: Empty Container Inference

12 days ago pyrefly.org plt python

Choosing a Language Based on Its Syntax?

18 days ago gingerbill.org design plt

Fun With Dada

28 days ago smallcultfollowing.com plt

Sharing in Dada

23 days ago smallcultfollowing.com plt

two mechanisms for dynamic type checks

18 days ago wingolog.org compiler compsci plt

Sliced by Go’s Slices

11 days ago ohadravid.github.io go plt

Concrete syntax matters, actually

18 days ago youtube.com plt video

Ideas for an Agent-Oriented Programming Language

22 days ago davi.sh plt vibecoding

The largest number representable in 64 bits

35 days ago tromp.github.io math plt

fixapl

20 days ago fixapl.netlify.app apl plt

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

23 days ago ntaylor.ca formalmethods plt

Designing Odin's Casting Syntax

14 days ago gingerbill.org compiler plt

Evolving Languages Faster with Type Tailoring (2024)

11 days ago lambdaland.org lisp plt

c-- (2008)

27 days ago cs.tufts.edu compiler plt

A Language For Agents

28 days ago lucumr.pocoo.org plt vibecoding

Custom Data Structures in E-Graphs

8 days ago uwplse.org compiler logiclangs plt python

More →