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  nytimes.com  media  video  google  health  linux  openai  apple  web  microsoft  go  china  theguardian.com  javascript  cancer  reuters.com  bbc.com 

Why formalize mathematics – more than catching errors

54 days ago rkirov.github.io math plt

An Efficient Implementation of SELF (1989) [pdf]

47 days ago courses.cs.washington.edu pdf performance plt

Metalang99: a rich functional language implemented in C99 preprocessor

47 days ago github.com c plt

Stackful Coroutine Made Fast

44 days ago photonlibos.github.io c performance plt

From Linearity to Borrowing

58 days ago dl.acm.org pdf plt

The Unix Executable as a Smalltalk Method [pdf]

55 days ago programmingmadecomplicated.wordpress.com pdf plt unix

Dijkstra on the foolishness of natural language programming (1978)

2 months ago cs.utexas.edu historical plt

Flowistry: An IDE plugin for Rust that focuses on relevant code

54 days ago github.com design editors plt rust

Let's Take Esoteric Programming Languages Seriously

2 months ago arxiv.org culture plt

Delimited continuations in lone Lisp

2 months ago matheusmoreira.com lisp plt

The Mondrian introduction to functional optics

2 months ago marcosh.github.io haskell plt visualization

Unconventional Ways to Cast in TypeScript

49 days ago wolfgirl.dev javascript plt typescript

Primitive overloading

2 months ago mlochbaum.github.io apl plt

Delimited continuations in lone lisp

2 months ago matheusmoreira.com lisp plt

New Control Structures In APL? (1982)

2 months ago dl.acm.org apl plt

N3694: Functions with Data - Closures in C (A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas)

2 months ago thephd.dev c plt

A Conversation Between Richard Feldman (Roc Creator) and Andrew Kelley (Zig Creator)

2 months ago youtube.com plt video zig

lolremez: Polynomial Approximations using the Remez Algorithm

2 months ago github.com algorithm math performance plt

The jank community has stepped up

2 months ago jank-lang.org clojure compiler c++ plt

A Tutorial for the Sam Command Language

2 months ago ratfactor.com editors plt tutorial

plt is the new matplotlib.pyplot

44 days ago reddit.com python

Imagining a language without booleans

2 months ago justinpombrio.net plt rust

Deml: Directed Acyclic Graph Elevation Markup Language

2 months ago github.com plt

Algebraic Types are not Scary

2 months ago blog.aiono.dev ml plt

A dumb introduction to z3

2 months ago asibahi.github.io formalmethods plt rust

Hashed sorting is typically faster than hash tables

3 months ago reiner.org hash plt rust

Subtext Retrospective

2 months ago subtext-lang.org plt

C++26: Erroneous behaviour

3 months ago sandordargo.com c++ plt

Type checking is a symptom, not a solution

3 months ago programmingsimplicity.substack.com plt

The Expression Problem and its solution

3 months ago eli.thegreenplace.net plt

More →