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  show  google  china  linux  go  security  video  javascript  web  youtube.com  release  biology  theguardian.com  media  nytimes.com  reuters.com  microsoft 

Carbon values, variables, and pointers

53 days ago github.com plt

Roadmap for improving the type checker

47 days ago forums.swift.org plt swift

Typst as a Language

53 days ago justinpombrio.net plt

Show HN: JSON Query

50 days ago jsonquerylang.org json plt show

The biggest semantic mess in Futhark

2 months ago futhark-lang.org plt

Why formalize mathematics – more than catching errors

2 months ago rkirov.github.io math plt

An Efficient Implementation of SELF (1989) [pdf]

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

Metalang99: a rich functional language implemented in C99 preprocessor

52 days ago github.com c plt

Stackful Coroutine Made Fast

49 days ago photonlibos.github.io c performance plt

From Linearity to Borrowing

2 months ago dl.acm.org pdf plt

The Unix Executable as a Smalltalk Method [pdf]

2 months 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

59 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

54 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

49 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

3 months ago blog.aiono.dev ml plt

A dumb introduction to z3

3 months ago asibahi.github.io formalmethods plt rust

More →