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  vibecoding  game  release  microsoft  psychology  security  techspot.com  biology  show  psypost.org  tomshardware.com  web  apple  linux  meta  google  health 
Loading...

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

Reducing Assumptions, Exploding Your Code

35 hours ago ryelang.org plt

Parse, Don't Validate – In a Language That Doesn't Want You To

15 days ago cekrem.github.io javascript plt

Ante: A new way to blend borrow checking and reference counting

7 days ago verdagon.dev compiler compsci plt rust

Prism: An Impure Functional Language With Typed Effects

8 days ago stephendiehl.com plt

Only Bounds

26 days ago smallcultfollowing.com plt rust

Elixir v1.20: Now a gradually typed language

32 days ago elixir-lang.org elixir plt

Record type inference for dummies

12 days ago haskellforall.com plt

ATS Programming Language

26 days ago cs.bu.edu plt

A Brief Introduction to Icon

24 days ago cs.arizona.edu plt

A Survey of Inlining Heuristics

31 days ago bernsteinbear.com plt

Nontrailing separators do not spark joy

25 days ago buttondown.com plt

Evaluation order and nontermination in query languages

6 days ago rntz.net database plt

Typst: Designing for Incrementality

6 days ago youtu.be plt video

A Typed, Algebraic Approach to Parsing (2019)

7 days ago cl.cam.ac.uk pdf plt

A Core Calculus for Documents (2024)

7 days ago dl.acm.org pdf plt

Safe Made Easy Pt.1: Single Ownership is (Not) Optional

32 days ago ergeysay.github.io plt

Rhombus Language 1.0

13 days ago blog.racket-lang.org lisp plt

Lifting E-Graphs

22 days ago philipzucker.com plt

Solod v0.2: Networking, new targets, friendlier interop

6 days ago antonz.org go networking plt

Why languages should never reorder structs

16 days ago youtu.be plt video

Type Inference (Part 1)

9 days ago blog.akhil.cc compiler plt

Deconstructing Datalog

23 days ago rntz.net logiclangs plt

Datalog

20 days ago philipzucker.com logiclangs plt

Control Structures in Programming Languages

20 days ago xavierleroy.org book plt

Vim Creator Bram Moolenaar's Forgotten Programming Language, Zimbu (2023)

16 days ago thenewstack.io historical plt vim

Recent improvements to the Swift type checker

33 days ago forums.swift.org plt swift

Implementing a Custom Query Language with Python and Apache Spark

12 days ago nchammas.com database plt python

Diagramming Program Values by Spatial Refinement

31 days ago blog.brownplt.org plt visualization

Ergonomic overrides for Nixpkgs

29 days ago haskellforall.com nix plt

Bab: a family of hashing functions for p2p networks

24 days ago bab-hash.org distributed plt

More →